(2/4)/(5/30). Suppose k*z - 8 = -z. Suppose -2*q + 4 - z = 0. Which is smaller: -2/23 or q?
-2/23
Let k = -213 + 213. Is -216 <= k?
True
Let u = -7 + 6. Let t(r) = -3*r**2 - 3*r - 2. Let n be t(u). Is n less than -2?
False
Suppose 104 = -4*d - 3*p, 0 = -4*d - 5*p - 0*p - 96. Let q = d - -28. Let j be (18/24)/(q/(-4)). Which is smaller: j or -0.5?
-0.5
Let s = -0.02 + -0.06. Is s equal to 18/7?
False
Let v = -0.04 + -0.06. Let w = -18/23 - 135/92. Which is smaller: w or v?
w
Suppose j + 26 = 2*f, f = 2*j - j + 31. Let s = j - -460/13. Let c = s + 46/117. Are -0.06 and c non-equal?
True
Let l(i) = -7*i + 48. Let m be l(6). Suppose m + 24 = 2*a. Is 2 >= a?
False
Let f = -21 + 21. Suppose -5*s + 20 = f, -2*b + 1 = -s + 9. Is b at most -2/7?
True
Suppose 0 = -2*p + 166 + 146. Let a = -83 + p. Which is smaller: a or 74?
a
Let d(l) = -4*l - 1. Let m be d(-2). Let s be (3/3 + -5)/m. Is s < 2?
True
Let n = -9.33 + 9.8. Let b = n + 20.53. Is b less than 0?
False
Suppose -8 = 5*o + 2*g, -3*g - 2*g - 1 = 3*o. Let a be o*2 + 15/5. Let y be (1/2)/(a + 0). Which is greater: y or 0?
0
Suppose -78 + 24 = -3*h. Suppose o - 3*s - 2 = 0, -8*o + s = -3*o + h. Are o and -1 nonequal?
True
Let d = -18.18 - -18. Let m = -12.28 + 12. Let b = d - m. Does 3 = b?
False
Let d be ((-4)/6)/((-28)/42) + -118. Let q be d/(-273)*(0 - (-2)/(-3)). Let p = 2 - 1. Which is smaller: q or p?
q
Let a = -1749 + 2409.1. Let h = 691 - a. Let q = 31 - h. Is 0.9 equal to q?
False
Suppose 3*z + 24 = -z. Let x be (-2 - (z + 4)) + 1. Which is greater: x or -3/16?
x
Let p = 0.2 + 0.8. Let k = 8.1 + -9. Is p bigger than k?
True
Let i = 10/4263 + 1375498/12789. Which is smaller: 108 or i?
i
Suppose h + 4*v - 20 = 0, -4*h + 5*v - 29 = -4. Let n(k) = -k**2 + 8*k - 15. Let q be n(6). Let o be (-5 - 9/q)/(-7). Which is greater: o or h?
o
Let w(t) = t**3 + t - 1. Let x be w(1). Let b be x*-2 - (-16)/4. Suppose -2*l - b*s + 2 = 4, -4*s = -2*l + 10. Is l < 0?
False
Let x be 47/188 - (2 + (-114)/56). Which is smaller: x or 0.0252?
0.0252
Let l = -165 - -105. Is l < -57?
True
Let f be (-26)/(-39)*6/4. Suppose m - 1 = -m - v, 4*m + 5*v - 5 = 0. Let k = f + m. Which is smaller: k or 10/9?
k
Let g = -294 + 293.9. Which is bigger: 744 or g?
744
Let p be 2 - 4*(-2 - -1). Let v(o) = 2*o**2 + 2*o - 15. Let z be v(4). Suppose 5 = 3*a - 0*d - 2*d, d - z = -4*a. Which is smaller: a or p?
a
Let g be -3 - (4 + (-1204)/133). Which is smaller: 3 or g?
g
Suppose 3*p + 0*p - 12 = 0. Suppose -p = -g - 1. Suppose 34 + 26 = 20*d. Is d less than or equal to g?
True
Suppose -g - 23 = 4*m, 0*m = 3*m - 2*g + 9. Let v = -0.06 - -0.16. Which is smaller: m or v?
m
Let z be 408/17 + (-1 - 2). Suppose 2*l + 3*g = -z, 2*l + 4*g = 7 - 29. Which is smaller: -33/4 or l?
l
Let p = 5505/4 + -1358. Are p and 17 unequal?
True
Let u(x) = 19*x**2 - 20*x**2 - 9 + 2 - 14*x. Let t be u(-13). Suppose h + 0*h = t. Which is bigger: -2 or h?
h
Let h = -3 + 10. Let j = -17 - h. Let t = -23.9 - j. Which is smaller: t or -3/14?
-3/14
Suppose 6 = 9*a - 3. Let d be ((-4)/(-8))/(2/(-8)). Which is greater: d or a?
a
Suppose -3*y = y + 4. Let d(c) = 2*c + 1. Let q be d(y). Let z = 50 + -154/3. Which is smaller: q or z?
z
Suppose -9 = -11*q + 2*q. Which is bigger: 2/169 or q?
q
Let z = 488.7 - 493.691. Let h = -0.009 + z. Which is bigger: 1/6 or h?
1/6
Let w = -35 - -30. Let a = 6 + w. Which is smaller: a or -3/13?
-3/13
Let s be 2/(4 + (-54)/13). Suppose -54 = 5*q + 2*h, 0 = -2*h - h + 9. Is q at least as big as s?
True
Let w = 39 + -51. Is w at least as big as -0.068?
False
Let v(i) be the first derivative of -i**2/2 + 7*i - 13. Let r be v(8). Which is greater: -1/2 or r?
-1/2
Let v(w) = 4*w**2 + 5*w - 2. Let t be v(3). Let m(o) = -o**2 + 8*o + 5. Let k be m(8). Suppose -4*a = -k*d - t, 3*a - 3*d - 2*d = 38. Which is smaller: 10 or a?
10
Suppose 3 = h - 11. Let u(g) = g**3 - 14*g**2 + g - 11. Let n be u(h). Is n smaller than 2?
False
Suppose -4*d = -3*l + 1 - 11, -3*d = -l - 5. Let k = -1 - l. Let f be 1/6 - 1/(-3). Is f greater than k?
False
Let c = 1.53 + -1.53. Is c >= -37.6?
True
Let r(t) = 4*t**2 + t + 1. Let b be r(-1). Let k be -1 + -2 + b + 9. Let d be ((-4)/k)/(1/10). Is d bigger than -2?
False
Suppose -7 - 35 = 3*k. Let l(j) = -6*j + 18. Let u be l(3). Which is bigger: u or k?
u
Let g = -685 - -687. Which is smaller: g or -3/8?
-3/8
Suppose -2*h + 4035 = -2865. Let f be ((-12)/h)/(2/10). Is 0 bigger than f?
True
Let z(t) = -t**3 + 9*t**2 + 4. Let j be z(9). Suppose 0 = -j*d - 2 - 6. Let g be (-10)/(-5) + 6/d. Which is smaller: g or 0.2?
g
Suppose 3*w + 3*u + 15 = 0, -w - w - 4*u = 8. Suppose 2 = 2*l + 14. Let j = l - w. Is 2/11 < j?
False
Let w = 1382.04 - 1385. Is 2 less than w?
False
Suppose 10*t + 12 = 222. Is 21 less than or equal to t?
True
Let s = 295 + -632. Is s bigger than -337?
False
Let d = -28 + 28. Let i = d + -8. Is -8 greater than i?
False
Suppose 0 = 5*t + 139 - 89. Let o be 2 - 14/12 - (-11 - t). Let y(q) = q**3 + 6*q**2 + q + 8. Let s be y(-6). Which is greater: o or s?
s
Let j be ((21/(-28))/1)/((-15)/8). Which is bigger: 7 or j?
7
Let f be (-6 + -1)/(-1 - -2). Let g = f + 13. Let w = g + -45/7. Is 1 <= w?
False
Suppose -3*u - 2 = 19. Let c be (-9)/(-18) - 106/(-4). Suppose -8*o = -5*o + c. Is u greater than or equal to o?
True
Let m(j) = j - 37. Let k be m(-20). Let o(u) = -3*u**2 - 3*u + 2. Let s be o(4). Which is greater: k or s?
k
Suppose 0 = -2*y - 4*m + m + 12, 2*m + 8 = 4*y. Let l be 0*((-32)/12 + y). Suppose 5*v + 3*r + 35 = -l*v, -3*r = -15. Which is smaller: -9 or v?
v
Let t be (-1)/(-4) - (-10)/(-8). Suppose -29 = -4*p - 197. Let h be 20/p - 1/(-7). Is t less than or equal to h?
True
Suppose 0*t = -t + 12. Let o be -4*(-3)/t*3. Suppose 0 = z - o*z. Which is bigger: z or -1?
z
Suppose -2 = -4*c + 2. Let f(u) = -u**2 - 11*u + 24. Let x be f(5). Let q = 57 + x. Is q greater than c?
False
Let j(x) = x**2. Let i(z) = 2*z**2 - z. Let a(f) = 4*i(f) - 7*j(f). Let u = -2 - -5. Let v be a(u). Which is smaller: v or 6?
v
Let u = -1.6 - -2.7. Let g = -1 + u. Let w = g + -5.1. Which is greater: 1 or w?
1
Suppose 2408 = -62*q - 81*q - 1024. Suppose -u = 28 - 4. Are q and u unequal?
False
Let u be (2 - 36/8)*4. Let p be 46/u + (-10)/25 + 2. Do -0.5 and p have the same value?
False
Let t(f) = -42*f + 18. Let k be t(-3). Let u = k - 143. Which is bigger: u or 5/17?
u
Suppose 4*f = -5*v - 7, 5*f + 29 = -2*v - 1. Let u(d) = -2*d**2 - 14*d + 12. Let m be u(f). Is m smaller than -4?
False
Let o be -3 - (-144)/27 - (-4)/(-3). Is o at most as big as -2/215?
False
Let v(q) = -q**3 - 11*q**2 - 3*q - 13. Let r be v(-11). Let k = 20 - r. Which is smaller: k or 8/7?
k
Suppose -6*d - 4 = 2. Let x = 244 - 100. Let c be 3 + -1 - x/63. Which is greater: c or d?
c
Let q = -0.655 + 0.69. Let w = -0.035 + q. Which is bigger: 0.44 or w?
0.44
Suppose -630 = -5*q - 990. Which is smaller: -75 or q?
-75
Let l = 901/9 + -101. Suppose 2*h = h. Is l != h?
True
Let k be ((-10)/5)/((-3)/3). Let j = -4 + 6. Suppose 3*c - j*h - 2 = k*h, -4*c = h - 28. Is c >= 7?
False
Suppose 4*n - 26 = -f, -5*f = -4*n - 14 + 4. Suppose -5*u + f = -4. Let q be 80/(-156) - u/(-3). Do -1 and q have different values?
True
Suppose 0*o + 6 = 2*t + o, -8 = 4*o. Which is greater: 25 or t?
25
Let i be (-8)/(-28) - 1168/(-28). Are i and -2/7 unequal?
True
Let u = -0.041 - 0.133. Let w = u - -0.034. Which is smaller: w or 1/2?
w
Let s(k) = k - 4. Let r be s(3). Let p = 44334/17 + -1172239/544. Let j = p + -453. Does r = j?
False
Let z be (-2385)/54 + (-1)/(-6). Let d be (-26)/22 + (-8)/z. Let x be 2*(1/86)/d. Is x > 0?
False
Let z be (-2)/8 + 3/(12/5). Which is bigger: -67.6 or z?
z
Suppose -2*h + 4 = -0. Let m = h - 2. Suppose 5*t = -m*t + 5. Which is smaller: t or -3/7?
-3/7
Let x = 8661/20 - 867/2. Is x bigger than 1?
False
Suppose i - 4*o + 6 = 0, 3*i + 3*o + 2*o + 1 = 0. Let l = -15 - -8. Let b(f) = -f - 7. Let v be b(l). Which is bigger: v or i?
v
Let f be ((-6)/9)/((-10)/(-105)*7). Suppose -3 = -n - 5*d + 11, 3*d - 48 = -5*n. Let c be (-1)/(-2 + 21/n). Which is bigger: c or f?
f
Let o(c) = c**3 + 11*c**2 + 9*c - 3. Let y be o(-10). Let n be (-84)/8*(-12)/7. Suppose 4*v = 2*w + n, 5*v + 4*w - 9 = y. Which is greater: 2 or v?
v
Suppose -2*i - 12 = 3*s, s + 16 = -3*s. Suppose 4 =