t s = u - g. Is -1/2 < s?
True
Suppose 0 = -k + 6*k - 10. Suppose 0 = 3*p + k*p + 10. Let x be p/2*(-6)/(-15). Which is greater: x or 0.3?
0.3
Suppose 0 = -31*b + 33*b - 2. Which is smaller: 5/3 or b?
b
Let a be ((-2)/35)/((-14)/70). Are a and -2/5 equal?
False
Suppose -4*y = -4*x + 28, -3*x - 15 = 16*y - 13*y. Is y > 5?
False
Let n = 9 - 6. Let u be (-21)/27 + 3/n. Does u = 0.2?
False
Suppose 0 = -r - 20 + 1. Let z = r - -21. Do z and 0.2 have the same value?
False
Suppose 5*l - 4*x = 31, -l - 2*x = 4 + 1. Suppose 3*y + 0 = l. Let q = -2/393 + 268/1179. Which is smaller: y or q?
q
Let h be 46/60 + 30/75. Which is greater: h or 1?
h
Suppose -l + 2 = 0, 7 = -t - 0*t - 5*l. Which is greater: t or -18?
t
Let w be -1 + 3 + (-1113)/(-72). Let g = w - -10793/120. Let b = -107 + g. Which is smaller: b or -3?
-3
Let m = 16 + -16. Suppose m - 8 = -4*a. Which is greater: 4/7 or a?
a
Let s = -9 - -7. Which is greater: -4/5 or s?
-4/5
Let q = -0.014 - 0.986. Is q less than -0.003?
True
Let v be (1 - 1)/((0 - -1) + 3). Is v > -5/2?
True
Let v = 0.03 + 0.07. Is 4/7 greater than v?
True
Suppose -3*i = -v + 7, -4*v = -2*i - i - 19. Suppose 2*f = z + 7, -v*z = 3*f + 6 - 33. Suppose z*l + 6 + 3 = -4*d, -5*l - d = 15. Which is bigger: -2 or l?
-2
Let n = 70/3 + -557/24. Suppose -2 + 1 = r. Is n at most r?
False
Let w = -5 + 7. Let m = w - 1.94. Are m and 0 equal?
False
Let q(m) = 7*m + 10. Let p be q(-4). Let a be 12/(-54) - 4/p. Which is smaller: a or -1/12?
-1/12
Let k(u) = u + 0*u - 3*u - 6. Let y be k(-5). Suppose 2 = y*s - 2. Which is bigger: 2/15 or s?
s
Suppose 0 = -7*c + 6 + 8. Which is smaller: c or 5/9?
5/9
Let l = -7 + 7. Let i = 788/3627 - -2/403. Is i bigger than l?
True
Let v(u) = -u - u + u + 0. Let z be v(3). Is -2 at most z?
False
Let a = -3109/9 + 345. Which is bigger: a or 2/5?
2/5
Let a be (-30)/(-140)*6/9. Which is bigger: a or -1?
a
Let v = 30.1 + -30. Which is smaller: v or 0.11?
v
Let q = 7 - 4. Let b = 3 - q. Let x = -3 - -2.9. Which is smaller: x or b?
x
Let z be ((-1)/((-3)/(-2)))/(18/(-540)). Is z at least as big as 19?
True
Let z(a) = -a**2 - 9*a + 3. Let p be z(-10). Let x = p + 8. Are x and 1/8 nonequal?
True
Let h = 2.3 - 3.2. Let v = h + -0.1. Let f = v - -3. Is -1 at most as big as f?
True
Let q be 3*((-8)/(-15) + (-16)/80). Is q smaller than 3/32?
False
Let c = 27 + -32. Is c at most as big as -7?
False
Let c be ((-48)/4)/(-1 - 0). Let r be ((-4)/(-6))/(8/c). Suppose -2*d + 2 = -2. Which is greater: r or d?
d
Let o be 1 - 3 - (-2 + -3). Let h be (-1586)/(-60) - (-2)/o. Let z = 55/2 - h. Which is smaller: -1 or z?
-1
Let p be (-56)/16 + 2/(-4). Which is smaller: p or -42/13?
p
Let h = 5.02 - 0.02. Let z = h - 6. Let y = 2 + -3. Is z smaller than y?
False
Let i be (-6)/(-10) + 44/260. Are i and 2 equal?
False
Let g = 3.251 - -0.049. Let m = g + -3. Do m and -1 have the same value?
False
Suppose -5*y + 2*y = 0. Which is bigger: 1/7 or y?
1/7
Suppose 2*a - 90 = 11*a. Which is smaller: -8 or a?
a
Let y = -0.11 - -0.19. Let d = 51 + -52.08. Let f = d + y. Which is greater: -0.06 or f?
-0.06
Let g = -4 + 3. Let x be (g - -1) + -4 + 3. Let p be 0/(-1) - x/(-2). Is -0.3 less than or equal to p?
False
Let q(d) = d**3 - 2*d**2 - 3*d - 1. Let a be q(3). Let f be 2 - (3 + a)*1. Suppose -5*z + 7*z = 4. Which is bigger: z or f?
z
Let c(b) = -b**3 - 5*b**2 - 5*b - 2. Let g(y) = -y + 3. Let q be g(7). Let t be c(q). Suppose t = -4*s + 10. Is -0.1 bigger than s?
False
Let d(g) = -g**3 - 3*g**2 - 2*g. Let l be d(-2). Let j(y) = y**2 + 36. Let q be j(0). Let z be 64/126 + (-8)/q. Is z >= l?
True
Let x be ((-24)/20)/(2/10). Which is bigger: x or -5?
-5
Let o be (31/(-6))/((-2)/3). Let t = o + -283/36. Suppose -4*r - h + 6 = -6*r, 2*h = r + 9. Which is smaller: r or t?
r
Let h be 1/(5/(-10)*1). Which is smaller: -3 or h?
-3
Let u be (-2)/((-5)/(-5 + 0)). Which is smaller: u or 3/14?
u
Let q be 14/6 + 2/(-6). Suppose -f = q*f + 54. Let v be 15/f*2 - -1. Which is bigger: v or -1?
v
Suppose 0 = m + 4*m - 20. Let y be (-4)/(-32)*m*0. Is 0 at most as big as y?
True
Let h be (-1)/(-6)*-20*(-6)/(-2). Let o = -5 + -4. Which is smaller: o or h?
h
Let v = 0.35 + -0.25. Let b = -1.1 - -0.1. Is b smaller than v?
True
Let z(t) = 9*t - 28. Let r be z(3). Let d = 32/39 + -2/3. Which is greater: r or d?
d
Let h = 88 + -88.8. Which is bigger: 0.6 or h?
0.6
Let r be (-9)/6*16/(-6). Let s(k) = -2*k + 5. Let p be s(r). Let c(i) = -i - 4. Let v be c(p). Which is smaller: -3/2 or v?
-3/2
Let o = -50999/276 + 739/4. Are 0 and o equal?
False
Let c be -1*(8/3)/(-4). Let o = 15 + -15. Which is smaller: c or o?
o
Let t be 26/10 + (3 - 6). Let p be 10/24 + 9/(-12). Is t bigger than p?
False
Let p = -56 - -74. Is 17 equal to p?
False
Let j(d) = -2*d**2 + 9*d - 9. Let x be j(3). Let y be 40/22 + (1 - 3). Is x less than or equal to y?
False
Let c(b) = -b + 6. Let d be c(6). Let f = -0.01 - 7.99. Let k = f - -7.7. Which is greater: k or d?
d
Let v be (-600)/33 + (-4)/88*-4. Are -17 and v nonequal?
True
Let a = -231 - -3001/13. Which is smaller: -1 or a?
-1
Suppose 8 = 4*f - 5*f. Let l be 1/(0 + 14/f). Are l and -2 non-equal?
True
Let j = 1 + 1. Which is smaller: j or 3?
j
Let a = 8 + -4. Let o(h) = -h**2 + 2*h + 2 - 6 + a*h - 2. Let j be o(4). Is j < 3?
True
Suppose -5*b = -q - 2*b + 16, -3*b - 12 = 0. Let i = -2 + q. Is i < 2/3?
False
Let r be (-12)/18 - (-14)/12. Suppose 5*h = -0*h - 5. Let n be 12/(-16) - h/1. Which is smaller: r or n?
n
Suppose 3*l = 2*l. Let i = -13 + 5. Which is smaller: l or i?
i
Let t = -13 + 29. Let j = t + -15. Are j and 10 equal?
False
Suppose -2*f + 2*o + 7 = -3, -3*f = 2*o - 20. Let m be 1/f - (-2)/(-12). Suppose 4*g = -m*g. Is -1 greater than or equal to g?
False
Suppose 2*d + 2 = 0, -5*x + 0*x - d = 36. Let l = x + 3. Which is bigger: l or -5?
l
Let f be (-1 - 2/(-4))*-8. Suppose 2*i - 20 = f*y - 0*i, -4*y + 5*i = 32. Suppose 6 = -3*z - 0. Are y and z unequal?
True
Let u be 16/(-3) + 1/3. Suppose 0 = 6*n + 16 + 20. Is u less than or equal to n?
False
Let k be (-72)/(-21) + 3/(-7). Suppose -2*j + k*h + 14 = -h, 2*j - 2*h = 6. Let i be (-16)/10 + 6/10. Is i at least as big as j?
True
Suppose -6 = -r - 2*u + 1, -5*r - 2*u = -11. Let j = -1/26 - -115/286. Which is bigger: j or r?
r
Let s(h) = h + 4. Let j be s(3). Suppose -5*k + 21 = -2*t - t, 0 = -5*t - k - j. Is t >= -7?
True
Suppose 5*h = 2*y + 7, 2*h + 2 = 5*y + 9. Which is greater: h or -3/10?
h
Suppose -6*u = -2*u - 20. Let z = 12 + -8. Which is smaller: z or u?
z
Let y = -101 + 102. Which is smaller: y or -11?
-11
Let p = 19 - 18. Suppose -p = 3*h - 4*h. Which is greater: 0 or h?
h
Let j = 102/5 - 20. Which is smaller: j or 1?
j
Let k be (-1 - (1 + -2))/(-2). Which is bigger: 2/29 or k?
2/29
Suppose -2*w = -5*t - 6, 0*w + 6 = 2*w - 2*t. Let h = 1 + w. Let j be h/(-6)*(-2)/4. Which is smaller: j or 2/13?
2/13
Let z = -53 + 48. Is z less than -7?
False
Let n be 84/105*(9 + 1). Which is greater: n or 6?
n
Let o(y) be the second derivative of -y**3/3 - y**2/2 - 6*y. Let z be o(5). Is -10 smaller than z?
False
Let q = -3 + -4. Let f = -33 + 35. Which is smaller: q or f?
q
Let u = -1 + 1. Let d(x) = -2*x**2 - 5*x - 4. Let v be d(-2). Do u and v have the same value?
False
Let o(a) = a**2 + 7*a + 5. Let l be o(-7). Let h be 1 + (0 - l/4). Let q be (4 + -3)*(-1 + 4). Which is greater: h or q?
q
Let y = -0.25 - -0.35. Do -2 and y have different values?
True
Let x be (476/(-168))/(-1 - 4/(-2)). Which is smaller: -3 or x?
-3
Let w = 124129/7026 + -1/2342. Which is smaller: 17 or w?
17
Suppose -4*d + 0 + 4 = 0. Is -1/8 less than d?
True
Let h = 221.93 + -218. Let k = -6 - -5.93. Let z = k - h. Is -0.1 <= z?
False
Let t = -41 + 42. Which is smaller: t or -3/2?
-3/2
Let x be (-2)/56 - 4/(-14). Let c = -7 + 7.1. Let q = 0 - c. Which is smaller: q or x?
q
Suppose 0 = -4*t + 8*t - 36. Suppose m + 1 = -t. Is -10 less than m?
False
Let a = 1 - 0.5. Let u = 0.08 + 0.32. Let d = a - u. Is -4 greater than d?
False
Suppose -u - 3*k = 4*u - 12, 3*u - k = -4. Let l be -10*((-8)/(-20) + u). Is -5 at most l?
True
Let s = -10 + 9. Is s smaller than -1/7?
True
Let z be (-4)/(-6) + 52/12. Suppose z*b + 4*v - 20 = 0, v = -4*b - 2*v + 15. Suppose 3*y - 1 = 2*y. Which is smaller: b or y?
b
Suppose -2*q - 1 = x, -5*q - 4 + 0 