an -24/7?
False
Let c = 350.28 - 2.28. Which is smaller: c or 1/4?
1/4
Let n = 14.4 + -3.1. Let m = -3.7 - n. Which is smaller: m or 0.1?
m
Let v be 2/(-3) - (-142)/132. Which is smaller: 1 or v?
v
Let h be 3 - (3 + -1 - 3). Suppose h*x = 3*x - 2*w - 24, -5*x = 4*w + 138. Let u be x/(-4)*20/90. Is 1 != u?
True
Let w(v) = 9*v**2 + 12*v + 37. Let z be w(-5). Is 201 smaller than z?
True
Let q = -155 - -156. Which is smaller: -3/67 or q?
-3/67
Let f be (-236)/1056 - 4/(-22). Let w(j) = j**2 - 2. Let u be w(2). Let b be (u*2/4)/1. Is b at least f?
True
Let x = 927 - 1442. Is x greater than 1?
False
Let y be (-1)/2 + (-58)/20. Suppose 4*k + 13 = 3*k + 5*h, -h - 4 = 2*k. Is y greater than or equal to k?
False
Let m = -34.0722 - -34. Do 1 and m have different values?
True
Let t(m) = m**3 - 5*m**2 - m + 6. Let h be t(5). Suppose -3*n - h = -y, 4*y + 2*n = 4 - 14. Which is bigger: y or 1?
1
Suppose 6*v = -r - r + 318, -2*r + 3*v + 345 = 0. Which is bigger: r or 172?
172
Let g = 70120329/1325 - 52921. Are 0 and g unequal?
True
Let w = -5 - -3. Suppose 0 = 9*o - 27 - 18. Suppose 0 = -5*k - o*x - 35, -3*k = -2*x + 2 - 1. Which is greater: w or k?
w
Suppose 141 = 5*n + 3*k - k, 0 = -3*n - 3*k + 90. Which is smaller: 24 or n?
24
Let c = 1/9257827 + -329865633878/379570907. Suppose -5*h = k - 844, 0*k + 3*h = -2*k + 1723. Let u = c + k. Is 0 bigger than u?
True
Suppose -2*y + 14 = -2*j, -66*y - 4 = -68*y + 4*j. Are 67 and y nonequal?
True
Let l be ((-130)/975)/(-2*(-61)/3). Are l and 0 nonequal?
True
Let j be (6*(-9)/81)/4. Let r be 0/((0 + 2)/(-2)). Is j equal to r?
False
Suppose -7*j - 19 = -8*j. Let o = j - 14. Suppose 3 = -g + 2*g. Which is greater: g or o?
o
Suppose -4*l = -5*s - 8, l + 4*s = 9*s - 13. Which is bigger: 81/14 or l?
l
Let h(g) = 2*g**2 - 76*g + 48. Let b be h(29). Which is smaller: b or -473?
b
Let k(p) = -4*p**3 + 4*p**2 - 2*p. Let d be k(2). Let x be d/4 + 3 + -2. Let z be 33*(-4)/(-36) + x. Which is smaller: z or -1?
-1
Suppose -5*j = w - 20, -w - 8 - 8 = -4*j. Let s be 21/14 + 13/2. Let t be (2 - 2)*s/(-24). Is w less than or equal to t?
True
Let u = -9 - -10. Let z = u - 2. Let l = -1.08 + 0.08. Are z and l non-equal?
False
Suppose 3*f - 4*k + 148 = 0, -2*f - k + 97 = -4*f. Are -53 and f equal?
False
Let b be 19/(1805/7780) - 4/(-38). Is 82 greater than or equal to b?
True
Let b(k) = k**3 + 26*k**2 - 11*k + 417. Let c be b(-27). Is 4 less than c?
False
Let d = -163/9 + 55673/3069. Is d smaller than 1?
True
Let x = 81 + -1213/15. Which is smaller: x or 18?
x
Let b = -23 - -32. Let u(w) = -3*w**2 + 10*w - 17. Let j(l) = l**2 - 3*l + 6. Let v(y) = 11*j(y) + 4*u(y). Let h be v(3). Is b equal to h?
False
Let w = -10.02 - -10. Let p = -0.01 + -0.07. Let l = w + p. Which is greater: -0.7 or l?
l
Let p(b) = b**2 + 1. Let n be p(2). Suppose n*z - 4 = 6. Let c be -2 - -1 - (19/(-2) - -8). Which is greater: c or z?
z
Let k = -7 - -10. Suppose 17 = -k*x + y - 2*y, -5*y = 5*x + 35. Let c be x/(2 - (-2 + 3)). Is -1 at least as big as c?
True
Let g = -50 + 49.9. Let x be (-1)/(33/(-6) - -2). Is g at least x?
False
Let w = -2851 - -3274. Is w at least 426?
False
Suppose 11 - 5 = -2*r. Let i = -5 - r. Let a = 407/5 - 82. Which is smaller: a or i?
i
Let g be 4845/(-35904) + 4/22. Is 0 greater than g?
False
Suppose -2*q - 4*o = -2, q + o - 2*o = 1. Let y(z) = z**2 - 12*z + 17. Let h be y(13). Let d be 1/((-5)/(h/93)). Is q at least as big as d?
True
Suppose 5*f + 24 = 17*f. Is 10/13 smaller than f?
True
Let g be (0 + 0 + (-4)/(-2))*-568. Which is smaller: -1135 or g?
g
Let k = 0.75 + -0.05. Let y = 18.3 - 18. Let x = y + k. Is x at most as big as -1/3?
False
Let t = -21 - 11. Which is smaller: t or 1?
t
Let j = 239 - 238. Which is smaller: -1 or j?
-1
Suppose 2*c - 6*c = 80. Let k be (16/(-12))/(2/(-3)). Let m be (c/(k/1))/1. Is -9 bigger than m?
True
Let d = 743 - 743. Are -583 and d non-equal?
True
Let r = 26 + -21. Suppose -r*k = -10*k + 35. Suppose 3*i = -5*d + k - 30, i - 7 = 2*d. Which is bigger: i or -3/2?
i
Let m be 0 - -39*(-3 - -14). Let z = -249 + m. Let r be (24/z)/((-1)/(-3)). Is r greater than or equal to -15?
True
Let n be 0 - 2/(20/(-227)). Let b = n + -23. Let i = -49/52 + 9/13. Which is smaller: b or i?
b
Let f(x) = x**3 - 7*x**2 + 7*x + 5. Let k be f(4). Let m = k - -14. Which is greater: 1 or m?
1
Suppose -2*h = -3*b + 35, 0 = -4*h + 5*b - 84 + 19. Let a be 45/h + 3 + -5. Which is smaller: a or -8?
-8
Suppose -11*d + 3*d + 80 = 0. Suppose -6*t - 4 = -d*t. Which is smaller: -2 or t?
-2
Let a(s) = 10*s**3 - 5*s**2 + 3*s + 1. Let j be a(-3). Which is smaller: -321 or j?
j
Let r be (232/48 - 5)/(39/(-4)). Let y(b) = -b**3 + 4*b**2 + 4*b + 5. Let q be y(5). Which is bigger: r or q?
r
Let u(r) = r**3 + 5*r**2 - 4*r + 14. Let c be u(-6). Suppose -d = -c*a - 8, -5*a - 19 = -5*d - 2*a. Let f be (-3 + 2 + 1)/1. Which is smaller: d or f?
f
Suppose -4*f + 5*o = 1498, -2*o - 1660 = 4*f - 176. Is -372 greater than or equal to f?
True
Let a = 520 + -1067. Is a at most -547?
True
Let t = -3 + 38. Let g be 1/(16/14 - 1). Let i be g/t*(1 + -7). Which is smaller: i or -1?
i
Let l be ((-3)/2)/(14/(-4)). Let a(n) = 2*n - 7. Let g be a(6). Suppose -g*k + 14 = 2*i - 0*i, -k - 4 = -3*i. Which is smaller: k or l?
l
Let r = -92 - -112. Let g be (-12)/20*r/(-12). Which is bigger: -1/19 or g?
g
Let j be (294/12)/(-7)*8. Is j < -142/5?
False
Let h = -64 + 102. Which is bigger: 40 or h?
40
Suppose -3*q - 4 = 2*o, -5*o = -3*q - 0*q - 32. Let f = -77 - -77. Let n = q - f. Which is bigger: n or -3?
-3
Let s = 42.61 + -42. Let z = s + 0.09. Let a = 5.2147 + -3.2147. Which is smaller: a or z?
z
Suppose 5 = -2*l - 3*v, l + 5*v = -l - 7. Let d be (6/(-20))/(-29 - -28). Is d greater than or equal to l?
True
Let h be (2/3)/((-2)/(-18)). Let z = -8 + h. Let k be 0/(z*3/6). Are 5/7 and k unequal?
True
Suppose 34 = -4*z - 6. Let g = z + 143/14. Which is smaller: 1 or g?
g
Let i be 1/(-1 + (-48)/(-50)). Let f be (0 - i)/(2/2). Suppose z = -2*h - 10, -3*z + 5*h + f = -2*z. Which is greater: z or -2/5?
z
Let z be (-4)/((-8)/(-34))*1. Let j = z + 15. Let b be -1*j*(-1)/(-3). Which is bigger: b or 7?
7
Let i(n) = n**2 - 21*n + 28. Let a be i(20). Let m be ((-132)/(-8))/(6/a). Is m != 23?
True
Let l = 13/33 - 2/3. Let d be ((-36)/6)/(-12)*0. Is l less than d?
True
Let j = -87.21 + 88. Which is bigger: -0.1 or j?
j
Let r be 3/(945/132) - 0. Let g = r + -2/15. Let t = 0.2 + 0. Which is smaller: g or t?
t
Suppose -81*d - 86 + 5 = 0. Is d less than or equal to 8/361?
True
Suppose -f + 0*f - 1 = 0. Let n be f/(2 + 57/(-27)). Suppose j + 3*a - n = 0, 4*j - 5*a - 19 = -0*j. Is 4 greater than j?
False
Let a = 24.3 + -16.33. Let z = -4 - -12. Let l = z - a. Is l less than or equal to 0.2?
True
Let v = 0.03 - -1.97. Let n be 16/(-6) + (-10)/(-5). Is n > v?
False
Let g be (-42)/105*285/(-12). Which is smaller: g or 9?
9
Let n = -0.0577 - 10.8423. Is n > -1/2?
False
Let k = -0.0708 - -347.0708. Let y = 365.1 - k. Let a = -18 + y. Which is bigger: a or 9?
9
Let g be 3/2*(-90)/(-27). Suppose -18 = g*j - 23. Which is greater: 8 or j?
8
Suppose -6*i + 4*i + 32 = 0. Is i at least as big as 16?
True
Let y be (-2)/2*(1 - 9). Let l be (-1)/21 + y/(-28). Let p = 0 - 0. Which is bigger: p or l?
p
Let b = -559/24 - -139/6. Is -1 smaller than b?
True
Let j = -25/8 + 5/8. Let q(g) = g**2 + 4. Let w be q(0). Suppose 0 = -w*a + r + 2 - 5, -22 = a + 4*r. Which is greater: j or a?
a
Let y be 3/15*(-385)/(-98). Let m = -15/14 + y. Is 1 < m?
False
Let x = 13 - 37. Let n = x - -31. Are n and -0.2 equal?
False
Let l(k) = k**2 - k + 1. Let y be l(1). Which is smaller: 14/11 or y?
y
Let z = -231 + 228. Which is greater: z or 1?
1
Let u = 1 + 0. Let s(r) = 2*r**3 - 7*r**2 - 4*r + 7. Let c be s(6). Let m = -1138/7 + c. Which is greater: u or m?
u
Let r(p) = 3*p**2 + 2*p - 107. Let s be r(8). Which is bigger: 113 or s?
113
Let c = -398 - -351.8. Let s = c - -46. Is -1/19 at most s?
False
Let m = -3 + 12. Let v(s) = -4*s - 8 - 3 + 6*s - 2. Let o be v(11). Is o less than or equal to m?
True
Let k = 8.2 - 41.2. Let p = k + 18. Let m = p - -26. Does m = -1?
False
Let d(r) = r**3 + 5*r**2 - 4*r. Let i be d(-6). Let l be 2*3 + 8/(-2). Suppose -3*o - l = 31. Is i at most as big as o?
True
Let a be (-12)/(-9) + (-2)/6. L