 is greater: t or -1?
t
Suppose -12 = -5*g + 2*j, -2*g = 3*j + 1 - 2. Suppose 0 = 3*i - 2*i - g. Is 5/2 < i?
False
Let d = 140 + -415/3. Let x = 4 - 2. Suppose -5*w + x = -13. Which is smaller: w or d?
d
Let b = 3.76 - 4.1. Let w = b - 0.06. Which is smaller: w or -0.2?
w
Let a be (0/(-2))/(-5 + 4). Is -2/25 < a?
True
Let q be 2/10 - 10/50. Which is greater: q or -2/57?
q
Let b = 18 + -4. Let u be (-4)/3 + b/(-21). Is -2 greater than or equal to u?
True
Let w = 23 - 23. Which is greater: w or -7/19?
w
Let z = -3 - -2. Suppose -2*q + 11 = -5*t, -t = 4*t + 15. Let h = q - -1. Is h at most z?
True
Suppose -3*f - 2*b - 3*b + 7 = 0, 0 = -2*b + 4. Let r = -56 - 34. Let g be ((-2)/3)/(r/27). Is f < g?
True
Let z = -92 + 91.89. Let n = 983.11 - 979. Let u = z + n. Is 2/3 not equal to u?
True
Suppose -15*i - 49 = -229. Which is greater: i or 21?
21
Suppose -p = 3*p + 3*i + 39, -p + 4 = -2*i. Let n be (-3)/(-13)*p/(-9). Suppose 2*g - 1 - 1 = 0. Is n at most g?
True
Let p be (-1)/(-2) - ((-27)/(-6) - 3). Which is bigger: p or -5?
p
Let u = -12.1 + 0.1. Which is smaller: u or -1/2?
u
Suppose -7 = 3*v + 2*b - 19, -4*v - 3*b + 17 = 0. Let c be (0 - 0) + v/9. Does c = 1?
False
Suppose 2*a = 3*a - 22. Let b = 111/5 - a. Which is smaller: 2/5 or b?
b
Let o(i) = 34*i + 57. Let c be o(-3). Is -44 greater than c?
True
Suppose 2*v - 34 + 2 = 5*g, -2*g - 5*v - 36 = 0. Let a be (12/g)/(6/(-352)). Let o be 2/(-7) - a/(-14). Is o less than 6?
False
Let v be 12/(-10)*((-132)/8)/11. Is v < 2?
True
Suppose -5*o + 1 = -19. Do o and 27/5 have the same value?
False
Let m be -2 + 2/9 + 133/252. Suppose 0 = -5*x + 7 + 3. Let w be ((-1)/(1/2))/x. Is w < m?
False
Let q be (-4)/2*(-22)/11. Is q < 1?
False
Let h be 3/(-6)*-36*1. Which is bigger: 19 or h?
19
Let x be (1 + 1 - 1/(-1))/3. Let d be -1 + (-1)/(21/(-23)). Which is bigger: d or x?
x
Suppose 7*k + 2 = 3*v + 3*k, -v - 6 = -3*k. Let c = 9 - v. Let z(n) = n - 2. Let y be z(5). Is c != y?
False
Suppose a - 28 = 4*p, p - 6 = -5*a + 8. Let g be ((3 - p)/(-3))/1. Let m be 1 + 2/g + 0. Which is smaller: m or -2/5?
-2/5
Suppose 0 = -3*g + 3*x + 2*x - 46, 2*g - 5*x = -34. Let v be ((-8)/(-72))/((-2)/g). Which is bigger: v or 0?
v
Let s be (1 - -2)*(-1)/7. Let g = 1/18 + 29/126. Which is smaller: s or g?
s
Let c = 16 + -19. Suppose -3 = 2*b + 7. Which is bigger: b or c?
c
Suppose -7 = -3*v + d, d = -2*v - 2*d + 1. Let s(p) = p + 2. Let t(o) = -1. Let k(m) = v*t(m) - s(m). Let z be k(-4). Are z and 2/7 unequal?
True
Let q(f) = f**3 + 6*f**2 - 8*f - 5. Let m be q(-7). Which is smaller: -4 or m?
-4
Suppose 0 = v - 5*v. Which is greater: v or -2/21?
v
Let w be (-2)/2*0 + -1. Let l be (-65)/75 - (-1 - 3/(-9)). Do l and w have the same value?
False
Suppose 5*v - 10 = -5*x, 2*x + 5*v + 2 = x. Let n be (-9)/27*-1*x. Which is smaller: n or 2/17?
2/17
Suppose -4*j = 82 + 2. Let f = -5 - j. Which is smaller: 17 or f?
f
Let q = 8 - 9. Which is smaller: -8/5 or q?
-8/5
Let r = 0.02 + -0.62. Let l = r - -1.6. Is l not equal to 0.02?
True
Suppose -4*u = -2*k + 12, -3*u + 2*k = 2*u + 13. Let x be (-24)/14 - (-2)/(-7). Is u at most x?
False
Let a be (-3)/(-100)*(7 - 3). Let x = a + 4/175. Is x <= 1?
True
Let p = 24 + -22. Suppose 0 = -4*z + 2 + p. Is 4 at most as big as z?
False
Suppose -20 = 6*j + 4. Is -11 greater than j?
False
Let i be (-27)/45 - (-7)/5. Which is bigger: i or 0?
i
Let r = 67 - 66.95. Which is smaller: r or -6?
-6
Let l(g) = -g**3 - 4*g**2 - 4*g - 2. Let y be l(-3). Suppose -2*r = c + 185, -5*r + 8*r + 190 = -c. Let t = c + 879/5. Is t < y?
True
Let p be 4*1/2*2. Let r = p - 4. Are r and -2/11 unequal?
True
Let h(v) = v**3 - 9*v**2 + 10*v + 14. Let t be h(8). Which is smaller: 28 or t?
28
Let w(o) = -o**2 - 14*o + 36. Let v be w(-15). Are 21 and v nonequal?
False
Let h(q) = 4*q**2 - 3*q. Let v be h(1). Which is greater: 2/3 or v?
v
Let q be (-40)/(-12) - 1 - 2. Let a = -42 + 42. Is q less than a?
False
Suppose 4*x - 5*l - 38 = 0, -x = 3*l - 2*l - 14. Let p be ((-1)/12)/(x/16). Is p equal to 1?
False
Suppose -w = -5*b - 6*w + 15, 4*b + 15 = 5*w. Suppose -3*p - 253 + 49 = 0. Let m be p/(-36) + -2 - 0. Do m and b have the same value?
False
Let c be 11 + -7 - (2 - 1 - 1). Let p = 7 - 2. Are c and p non-equal?
True
Let b = 0.05 + 3.95. Is b greater than or equal to -12?
True
Let q = 31 - -29. Let f = 779/13 - q. Which is smaller: f or -1?
-1
Suppose 0 = 2*s - 4*z + 4, s + 4*z = 2*s - 4. Let x be 4/16*-2*s. Which is smaller: x or 8/3?
8/3
Let i(a) = -a**2 - 12*a - 5. Let x be i(-11). Let m be 9/x*(-8)/42. Which is smaller: m or 1?
m
Suppose -h - 2*d - 9 = 4*h, d = 5*h + 18. Let n be (-3)/(-4)*(-6 + 2). Is n greater than h?
False
Let s = -135 + 158. Is 0.1 at most s?
True
Suppose 5 + 3 = -2*l. Let m(p) = -3*p + 3. Let j be m(2). Which is greater: j or l?
j
Let j be -20 + -1 - 2 - -2. Let z be (-1)/j + 2/(-6). Which is greater: -1 or z?
z
Let g be 21*(-9)/(-702)*4/7. Which is smaller: 1 or g?
g
Suppose -8*k - 69 = 83. Are k and -20 non-equal?
True
Suppose 2*l - 6 = 0, -s - 2*l - 3*l + 9 = 0. Let d(v) = -v - 5. Let k be d(s). Which is greater: -2/15 or k?
k
Let m(a) = -a**2 - 10*a. Let d be m(-10). Let n be -2 + 942/(-22) + -1. Let s = n - -46. Is d greater than s?
False
Let b(k) = -k + 6. Let q be b(8). Let j be 2 + (4/q - -1). Suppose -n - 5 = -5*r, 0 = 3*r - 5*r + 2*n + 10. Is r less than j?
True
Let b = 5.05 + -5.3. Is 2 at least b?
True
Let g be (-10)/(-65) + (-32)/(-468). Which is smaller: 0 or g?
0
Let t = 1 - 3. Let b be -2*1/t*-1. Let m be (4/(-10))/(21/15). Are b and m equal?
False
Suppose 0*w + 40 = -5*s - 2*w, -2*s - 3*w = 27. Let t be (7 + 2)/3 + -7. Is t at most s?
False
Suppose 8*u - 354 = 2*u. Which is greater: 58 or u?
u
Let t be (-2)/3*(2 + -5). Are 1 and t equal?
False
Suppose -5*y - 2*f + 5 = 0, 4*y - y - 3 = 3*f. Which is smaller: y or 8?
y
Let k(g) = 6*g**3 + 7*g**2 - g. Let a(c) = 12*c**3 + 15*c**2 - 2*c. Let m(r) = 6*a(r) - 13*k(r). Let q be m(1). Is -6 less than q?
False
Let w = -40 + 329/8. Is w at least 2?
False
Let q(v) = v**2 - 11. Let z be q(5). Let s = z + -14. Which is smaller: 3/7 or s?
s
Let j(r) = -r**3 + 10*r**2 - r + 10. Let g be j(10). Suppose g = -2*y - 5 + 7. Let v = -27/40 + 1/120. Which is smaller: v or y?
v
Let a = 8.92 - -0.08. Which is bigger: a or 1/2?
a
Let u = -1 + 3. Suppose -5*q + 14 = 4*b, u*b + 12 = 6*b + 4*q. Let s be (1 + b)/(4/6). Which is greater: 2 or s?
s
Suppose -h + 5*g = -17, g = 3*h - 0*g - 23. Let n = h - 4. Suppose -2*y + n = y. Is -1/14 greater than or equal to y?
False
Let t(v) = v**3 + v - 4. Let r be t(0). Suppose 6*h = 2*h - 8. Let z be h/r*(-2 - -4). Which is bigger: 2/7 or z?
z
Let y = 34 + -23. Which is greater: 13 or y?
13
Let o = 2 + -5. Let k = -4 - o. Is -3 less than k?
True
Let t = 627/5 - 126. Let u = 7/26 - -17/130. Which is smaller: u or t?
t
Let m(p) = 2*p**3 - 2*p**2 - p. Let n be m(-1). Let y be 2*((-5)/n)/5. Suppose -1 = -2*t + 3. Which is smaller: t or y?
y
Let x(s) = -s + 8. Let v be x(6). Suppose v*l = -l. Suppose l = 2*o - 7*o + 20. Are 3 and o non-equal?
True
Let c(x) = x**2 + 5*x + 4. Let m be c(-4). Let u be (m/(-3))/((-1)/1). Is 0 > u?
False
Let m(l) = -l**3 + l - 1. Let a = 2 + 1. Let x be 2/3 - (-1)/a. Let b be m(x). Which is greater: b or -2?
b
Suppose 0 = a - 23 + 6. Does 17 = a?
True
Let w(f) = 6*f**2 - 12*f + 0 + 2*f**2 + 4 - 2*f**3 + 3*f**3. Let a be w(-9). Let y = a - 157/5. Is y bigger than 0?
False
Let j = -107 - -853/8. Let f = 35/96 + -1/32. Which is smaller: f or j?
j
Let m be (-2)/3 - 4/3. Let a = m + 6. Which is bigger: 0 or a?
a
Let a = 17 + 12. Let z = a - 59/2. Let j = 3 + -3. Is j at most as big as z?
False
Let y = -0.07 + 0.22. Let z = 0.05 - y. Which is greater: 3/4 or z?
3/4
Let a = 129/88 + -11/8. Which is greater: 0 or a?
a
Suppose -5 + 25 = -4*o, -2*b - 2*o = 12. Let p = -0.085 + 0.385. Do b and p have different values?
True
Let v = -2417/5 - -16251/40. Let d = 77 + v. Which is bigger: d or 0?
0
Let i = -9 + -12. Let o = 19 + -20. Let r be (-2 + i/(-15))/o. Which is smaller: r or 1?
r
Let o = 5.97 + -6. Let q = -12.93 - -13. Let w = q - o. Is -0.1 != w?
True
Suppose 37 - 9 = 4*t. Let g = t + -5. Suppose g*s = -s - 3. Which is bigger: s or 0?
0
Let a be (-1)/(-1) - (3 - 2). Let o = 4 - 4. Let k = o - a. Is k at most -1/