True
Let r be -5 + (2 - (0 + 1)). Let c be -7*(4 + -5 + 2). Let p = r - c. Which is smaller: 2 or p?
2
Suppose -2*y + 4*y - 42 = 0. Which is smaller: y or 22?
y
Let j be 12/(-24)*4/2. Let b be (-3)/(-3)*(-2)/6. Which is smaller: b or j?
j
Let k be ((-4)/16)/((-39)/4 + 2). Which is smaller: k or -1?
-1
Let d(z) = z**3 + z + 1. Let y be d(0). Is y at most as big as 2/37?
False
Let z = 12 + -11.9. Let w = -5.84 - 0.16. Are w and z equal?
False
Suppose -r + 4*p = -6 - 13, 31 = 5*r - 4*p. Suppose 6 = -6*f + r*f. Is f != 2?
True
Let a(k) = 2*k**2 + k. Let c be a(1). Suppose 50 = -2*u - c*u. Which is smaller: -11 or u?
-11
Suppose z = -3*z + 12. Let o be 5/z + (-6 - -5). Which is bigger: o or 1?
1
Let l = 0.3 + -0.32. Let r = 0.98 - l. Let f = -1.6 + r. Which is smaller: 1/2 or f?
f
Suppose -5*x - 5*m = 290, 5*m = 3*x + 33 + 141. Which is smaller: x or -59?
-59
Suppose -6*x + 0*x = -462. Let y be 4/(-14)*x/(-11). Is 0 <= y?
True
Let h = 4 - 8. Let l be h/6 + 59/3. Suppose 2*n + 3*n - 28 = -3*g, 0 = g - 4*n + l. Which is smaller: 1/4 or g?
1/4
Let d = 2 - 2. Suppose 0 = -5*a - 18 - 142. Let q be (-6)/4*a/(-60). Which is greater: q or d?
d
Let l = 7 + -7.07. Let z = 3 - 2.97. Let d = l - z. Is d smaller than -0.1?
False
Suppose 6 = 10*u - 4*u. Is -3/13 greater than or equal to u?
False
Let x be (476/(-12))/(2/3). Let z = x + 3929/66. Which is bigger: z or 0?
z
Suppose 0 = -4*a + 4*x - 16, 11 = -a - 2*x + 1. Let c(u) = 6*u**2 - u + 1. Let z be c(1). Let r be a*(z/9)/(-2). Do r and 1 have the same value?
False
Let j(n) = n + 1. Let v be j(4). Suppose 0 = -5*z - 3 + 83. Suppose 0 = -0*f - 4*f + z. Is f < v?
True
Let s(h) = -h + 4. Let g be s(7). Do g and -5/2 have different values?
True
Let c(r) = r**2 + 2*r - 6. Let z be c(4). Let s = -18 + z. Which is smaller: -1 or s?
-1
Let a be 2/6*(2 + 1). Let d be (-3)/2 + a/1. Let l = 117 + -118. Is l less than d?
True
Let d = -118.53 - -121. Let s = 0.37 - d. Let k = 0.1 + s. Which is bigger: k or 0.2?
0.2
Let z = 19 + -21. Is z smaller than -22/7?
False
Suppose -12*k - 28 = -8*k. Let f = -22/3 - k. Is 1 < f?
False
Let p = 2 + -1. Let o = -507 + 498. Which is bigger: o or p?
p
Let w = -42 - -62. Suppose 8*j - 3*j + 22 = -3*p, 5*p - w = 3*j. Is p != -9?
True
Let t be 13 - 6/(-27)*(2 + 1). Is 14 smaller than t?
False
Suppose 16 = f - s + 3, 0 = 3*f + 3*s - 39. Is 13 at least as big as f?
True
Let i = 3/10 + 1/30. Let h be (2/4)/((-3)/24). Let j = -5 - h. Is j at most i?
True
Let l = 245 - 173. Is l > 71?
True
Let k = 13.19 + -0.19. Let u = 18 - k. Which is smaller: -1 or u?
-1
Let n = -2 + 3. Let g be 1*(-4 - 0)/1. Let i be 24/(-9)*1/g. Which is bigger: n or i?
n
Suppose -5*l + 2*l = 3. Which is greater: l or -1/27?
-1/27
Let l be -1 + 2/15 + 1. Let a be (2/(-5) - 3/5)/1. Which is bigger: l or a?
l
Let z = -7 - -12. Let f = z - 3. Which is smaller: 1 or f?
1
Let m be (-1 - (-3)/6) + (-7)/26. Which is greater: m or -1?
m
Let f = 13 + -13. Let g = -4.02 - -0.02. Let y = g - -6. Is f greater than or equal to y?
False
Let b = 26 + -103/4. Let m = 1.8 + -2. Which is smaller: m or b?
m
Suppose 10 = 8*o - 3*o. Suppose 3*v - v + o = 0. Let k = 68/117 + -9/13. Which is smaller: k or v?
v
Let z be (-57)/(-118) - (2 - 1). Let s = z + 1/59. Which is bigger: -3 or s?
s
Let u = 6 - 5.8. Do u and 7 have different values?
True
Suppose 0 = -h + 5*p + 11, h + 3*p - 2*p = 5. Let l be (h/(-15))/((-48)/20). Which is greater: l or 1?
1
Suppose 3*b + 11 + 4 = 0. Let h = b - -1. Are -6 and h nonequal?
True
Let n = 2421/1403 - 7011591/4521869. Let m = n - -2/293. Which is bigger: m or 1?
1
Let x(n) = -22*n + 3. Let m be x(-2). Let s be (-4)/28 - m/(-427). Are s and 1 equal?
False
Let q = 2758023/30461416 + -273/26744. Let u = q + 5/134. Which is smaller: u or -0.1?
-0.1
Let h = 5.63 + 1.57. Let f = -10.8 + 12. Let p = f - h. Is -2/3 less than p?
False
Suppose -4*m + 5 = -9*m. Let f be 0/1*(2 + m). Are f and 2/15 nonequal?
True
Suppose -2*u + 6*u = 76. Suppose -d = 2*h - 2, -u = -h + 5*d + 4. Is 2 > h?
False
Let n be (-1664)/100*(-10)/(-4). Let w = 42 + n. Which is smaller: -1 or w?
-1
Suppose y = -d + 3*d + 7, -4*y - d = -28. Is y smaller than 7?
False
Let l be 3 + ((-28)/(-3))/(-4). Let d = -2.98 + 3. Let j = d + -2.02. Which is greater: l or j?
l
Let t = -5.1 + 0.1. Let h = t - -5.1. Let k = 3 + 5. Which is bigger: h or k?
k
Suppose -13 = -3*j - 5*q, 0*q - 17 = 3*j - q. Let m be j/14 + (-163)/(-7). Which is bigger: 24 or m?
24
Let d be (-6)/4 + (-525)/10 - -1. Is -54 not equal to d?
True
Suppose y = w - 5, 3*w - 16 = w + 5*y. Let t be 4 + -1 + (-2 - w). Is -1 equal to t?
False
Suppose -4*w - 5 = -9*w. Let v be 0/(w/(-1)*-1). Suppose -26*g + 15 = -41*g. Which is smaller: v or g?
g
Suppose 4*f + 44 = -4*d, 0 = 4*d + 4*f + f + 49. Let q = 9 + d. Are 3 and q unequal?
False
Suppose 0 = -3*p - 5*p - 8. Which is smaller: p or -41?
-41
Let l = -3 + 4. Let x = 3/10 - 11/20. Is l >= x?
True
Let i be -2 + 2 - -7 - -1. Let d = -6 + i. Which is smaller: 1 or d?
1
Let p be -1 - (1 + -5 + 1). Let b be (0 + (-10)/15)/((-1)/3). Is b equal to p?
True
Let z = 2 - 11. Is -0.1 greater than z?
True
Let h be (-6 - -1)/(-1 - 0). Let l be (1/h)/((-6)/(-5)). Let y = -4 + 4. Are y and l non-equal?
True
Let g = -4.87 - 0.13. Let i = g + 5. Let c = -2.5 - -0.5. Are i and c nonequal?
True
Let v(z) = z + 7. Let f be v(-7). Let u = 87791/3902 - -2/1951. Let x = u - 23. Which is bigger: x or f?
f
Let c = 1 - -2. Suppose -15 = 3*l - 0*l - c*g, -4*l = -5*g + 22. Which is greater: -4 or l?
l
Let j = -0.55 - -0.5. Suppose -2*i + 5 = 3*i. Is j smaller than i?
True
Suppose -2*y = y + 21. Let u = y - -12. Is 5 >= u?
True
Let g = 2169 - 21707/10. Which is smaller: 0 or g?
g
Suppose 5*q - 3*o + 73 = 0, q - 55 = 5*q + o. Let z be 1 + -3 + q/(-6). Is -4 smaller than z?
True
Let s be (-1)/2*2/7. Suppose -4*k - 7 = -7. Are s and k non-equal?
True
Let p be 3/(-6)*(-1)/(-2). Suppose w = 4*w - 3. Which is smaller: p or w?
p
Let r(b) be the first derivative of b**5/60 - 3*b**4/8 + b**3 - b**2 + 2. Let i(c) be the second derivative of r(c). Let j be i(8). Is -1 < j?
False
Let o = -2 + -3. Let g = 4.93 + o. Which is greater: -0.1 or g?
g
Let d = 0 - 2. Let i be 3/6*d*-2. Suppose 0 = 2*r - r + i. Is -4 bigger than r?
False
Let y(i) = -2*i - 42. Let m be y(-11). Which is smaller: -21 or m?
-21
Let j(z) = -3*z**2 + 28*z - 12. Let y be j(11). Is -68 equal to y?
False
Let k = 8 + -8.7. Let y = k + -0.3. Let x = -3.21 + 0.21. Which is smaller: x or y?
x
Let d = 127 - 128.7. Which is greater: 0.04 or d?
0.04
Let g = -2 + 1. Let s be 1*g/(3/3). Let l be (-44)/204 - s/3. Which is greater: 1 or l?
1
Suppose -4 = 2*j + 4. Let x = 7 - 4. Suppose -x*u - 8 = u. Is j not equal to u?
True
Let v be ((-3)/(-6))/((-2)/4). Let h = v - -2. Let k be (-16)/(-24)*3/(-5). Is h < k?
False
Let b(p) = -7*p**2 + p**3 + 5*p**2 - 4 + 2*p**2. Let j be b(0). Which is greater: -2 or j?
-2
Let k(g) = g**2 + 8*g - 1. Let t be k(-7). Which is smaller: -7 or t?
t
Suppose 8 = 9*n - 5*n. Let a = 1 + -5. Let v = n + a. Is -4 <= v?
True
Suppose -m = -2*b + 7, 2*m - 2*b + 11 = -3*m. Is m < -1/58?
True
Let l = 0.102 + -0.002. Is l smaller than -61?
False
Let l = 7/15 + -5/3. Is l <= 2?
True
Let t(v) = v**2 + 11*v + 20. Let c be t(-8). Let k = 0.2 - 0.4. Let m = 0 - k. Is m at least c?
True
Let n be (-14)/(-4) - (-3)/(-6). Suppose n*h + 4*f = -17, -7*h + 5*f = -2*h - 30. Are -1 and h nonequal?
True
Let r = 32 - 36. Is r > -0.3?
False
Let l(s) = -12*s. Let y be l(-1). Let i be ((-2)/(-6))/(y/9). Let b = 83.7 + -84. Are i and b equal?
False
Let o = -3489/16 + 218. Is o less than -1?
False
Let k be 0 - (0 - 2/2). Suppose -3*n = -n + u + 3, -5*u - 15 = 2*n. Let c = k + n. Is -2 less than or equal to c?
True
Suppose -3*s + 5*h = 142, -2*s - 155 + 61 = -3*h. Is s less than or equal to 2?
True
Let u = -8 - -11. Suppose n = -j - 0 - 1, 12 = -2*j + u*n. Are j and -3 equal?
True
Suppose -5*u = -a - a + 556, -u = 4*a + 120. Let s be -1 + u/(-36) - 1. Is s at least as big as 0?
True
Suppose -54 = -0*o + 2*o. Is -29 less than o?
True
Let g = -7356753 - -5730909764/779. Let x = g - -21/19. Let c = 64/369 + x. Which is smaller: c or -0.1?
-0.1
Suppose -r = 1 - 3. Let f be ((-3)/(-17))/(9/(-6)). Let i = f + 40/51. Do r and i have the same valu