?
c
Let u = 377 - 377.1. Does -343 = u?
False
Let l = -44875/16 + 130809809/46640. Let v = -1/53 + l. Which is greater: v or -1?
v
Suppose -t - 44 = -2. Let x = t - -19. Let c be (40/(-20))/(1/12). Is x less than c?
False
Let s(n) = -4*n + 1. Let a be s(-11). Let i be (-126)/(-10) - (-18)/a. Suppose -3*y = -2*q + i, -3*q - 2*q = 5*y - 45. Is q <= 0?
False
Suppose -5*z - 3*v = 990, 5*z = 2*v - 912 - 103. Is -201 <= z?
True
Let l = 606/5 - 43031/355. Which is bigger: l or -1?
l
Let u be (-20 - -19)*(0 - 5). Suppose 38*o - 43*o - u = 0. Suppose -2*m = m. Is m less than o?
False
Let c(x) = 5*x + 14. Suppose -37 = 4*v - 4*z - 9, -2*z - 22 = 4*v. Let t(n) = -4*n - 13. Let r(i) = v*t(i) - 5*c(i). Let y be r(9). Are y and 2/95 non-equal?
True
Let f = 3077/7 + -369239/840. Are 1 and f equal?
False
Let f = 45 + -33. Let c be 3 + f/3 + -24. Suppose 5*s = -3*j - 53, -3*j + 2*s = -s + 45. Is c at most as big as j?
True
Let c = -12.2 + 19.2. Let g = c + -7.3. Is g at most as big as -1?
False
Suppose -q - 2 = -5*g, 23 + 7 = -5*q + 5*g. Let x be 54/q - ((-8)/14)/(-2). Do -8 and x have different values?
False
Let f = -21.6 - -1.6. Let v = 17.4 + f. Let d = 12.4 - v. Is 2/5 <= d?
True
Let o = -19 + 21. Suppose 4*d + o*q - 8 = 6*q, 12 = 5*d - 4*q. Suppose d + 16 = 5*c. Is c greater than or equal to 4?
True
Let g = -7256/3 + 2420. Which is bigger: 229 or g?
229
Suppose 16 = -17*o + o. Let z be (-12)/(-18) + 44/(-54). Are z and o unequal?
True
Let p be 21683/(-15774) - (-57)/38. Let r = -1/239 + p. Which is greater: r or -1?
r
Let n = 82.184 - 82. Let m = -0.134 + n. Let v(j) = -j**3 - 4*j**2 - 2*j + 4. Let w be v(-3). Which is smaller: w or m?
m
Let y(k) = -k**2 + 5*k - 1. Let t be y(0). Let i = 42 + -125/3. Which is smaller: t or i?
t
Suppose 2*o + 2*o = 60. Let h = 149 - 133. Which is greater: h or o?
h
Let u = 1 + 6. Let g = 11.3 + -11. Which is smaller: u or g?
g
Let c = -32 + -14. Let t = c + 48. Is -10 != t?
True
Let y = -102.2 - -618.2. Is 0 > y?
False
Let d = -3.08 + 2.08. Which is greater: 2 or d?
2
Let q = -324239/75 + 4323. Let m = 520 + -12988/25. Let v = m - q. Which is greater: -5 or v?
v
Let b be 5907/(-54)*2 + -5. Let z = 224 + b. Is z greater than or equal to -1?
True
Suppose 5*c + 8 = -2*n + 6*n, c = 3*n + 5. Let z be (-5 - c) + 116/36. Which is greater: z or 2?
z
Let v(f) be the first derivative of -9*f**2/2 - 37*f + 5. Let i be v(-4). Which is bigger: 36 or i?
36
Let p = -27969/5 - -47854969/8555. Which is bigger: p or -1?
p
Let c be 63/18 - (-307)/(-2)*-9. Which is smaller: c or 1384?
1384
Suppose 34*c - 24*c = 20. Is c at most as big as 3?
True
Suppose -21 = 2*l - 5*l + 3*n, -22 = -4*l + 2*n. Let d be (l/(-6))/(7/(-21)). Let z be (6/9)/(d/3). Is 6 smaller than z?
False
Let k(r) be the second derivative of r**5/60 - 11*r**4/24 + 2*r**3 - 2*r. Let b(w) be the second derivative of k(w). Let d be b(6). Is 0 > d?
False
Let t be (4/(-3))/((-4)/(-18)). Let b be (3/3)/((5/(-105))/1). Let y be t/b - 33/(-7). Which is smaller: y or 3?
3
Let n = -3.8 - -5. Let d = n + -1.23. Let q = d - -0.23. Is q at most -4/7?
False
Let u = 861 - 861.8. Which is greater: u or 4.4?
4.4
Suppose 16*i - 649 = 12*i + 3*n, 0 = 3*n - 3. Is i less than or equal to 163?
True
Let a be (-717)/(-1436) + (-72)/16 + 4. Is a >= -1?
True
Let m(b) = b - 1. Let h be m(10). Let j = h - 8. Let k be 9/(-12) - (-11)/36. Do j and k have different values?
True
Let v(l) = 2*l + 39. Let k be v(-19). Suppose 0 = 2*o - 3*o + 16. Let d = 11 - o. Which is greater: k or d?
k
Suppose -67 = 3*k + 230. Let r be (0 + -1)*45/k. Do -1 and r have the same value?
False
Let s = -222/41 - -123169/22755. Which is smaller: s or 0?
s
Let z = -62 + 62. Suppose -2*i = -2*o + 16, -2*i + z*i - 26 = -4*o. Is i less than or equal to -2?
True
Suppose 0 = -k - 4*v - 17, v + 200 = 2*k + 180. Suppose -9 = -3*b + 21. Which is bigger: b or k?
b
Let b be (-118)/(-56) + 0 + -2. Let d = b - 101/28. Suppose 0 = 46*q - 993 + 1223. Is d at most as big as q?
False
Let p be 721/(-618)*30/(-14). Suppose -7 + 3 = i. Let m(d) = -d. Let f be m(i). Which is greater: p or f?
f
Let q(a) = a - 7. Let f be (2 - 4) + 11 + 2. Let p(s) = s**2 - 11*s + 4. Let x be p(f). Let v be q(x). Is -3 greater than v?
False
Suppose -z = -6 - 11. Which is smaller: 15 or z?
15
Let f be 3654/(-280) + 12 + 1. Suppose -3*d = -8*d. Which is smaller: f or d?
f
Let i = -907/7 + 129. Let w(n) = n**2 + 4*n + 1. Let t be w(-5). Let o = t - 6. Which is greater: i or o?
o
Let c = 0.24 + -27.24. Let k = 27 + c. Are k and 0 equal?
True
Let i = -17657/33 + 535. Let o(v) = -5*v**2 + 30*v + 1. Let k be o(6). Is i >= k?
False
Let t(u) = u**2 + u - 1. Let s be t(-1). Let l = s - 19. Let d be (-2)/3 + l/(-210). Does 0 = d?
False
Let v = -2 - -4. Is 14/17 at least v?
False
Let s = 6 - 2. Let d = 38 + -18. Suppose 6*f = s*f - d. Is f at most -10?
True
Let f be (32/(-12))/(33/(-729)). Let b = 59 - f. Which is smaller: 0 or b?
0
Let f(h) be the second derivative of -h**5/10 + 5*h**4/12 - h**3 + h**2/2 + 8*h. Let y be f(5). Let m be (-2)/y - 24/84. Which is bigger: m or 1?
1
Let c(q) = -q**2 + 4*q + 5. Let b be c(6). Let l be -2 - -25 - (b + 6). Are 24 and l non-equal?
False
Let l = 236/1365 + -2/105. Let x = l - 8/13. Which is smaller: 0 or x?
x
Let j = 1550.5 + -1545. Does j = -2?
False
Let v be (-81)/6*(-494)/(-1083). Which is bigger: v or -5?
-5
Let k = -751 - -773. Is k less than or equal to 21?
False
Let d = 616457804/6074901 - -1/867843. Let h = -307/3 + d. Suppose 3*j - 17 = -2*s + 3*s, 2*j - 6 = -2*s. Is h less than s?
False
Let m be 8 - 254/(-5)*15/6. Which is smaller: 133 or m?
133
Let g = -2.539 + 2.42. Let f = -0.059 - g. Which is smaller: f or 1?
f
Let t be (-44)/(-12) - 2/(-6). Let p(m) = 6*m - m + m**2 + 5 + 0 + 0*m. Let c be p(-5). Which is smaller: t or c?
t
Suppose 5 + 14 = 4*t - y, 2*y - 2 = 0. Suppose c - 10 = t. Let w be (10/(-25))/(57/c). Is w >= 0?
False
Suppose -131*c + 122*c - 126 = 0. Is c > -46?
True
Suppose -7*t + 108 + 515 = 0. Suppose -7*h + t = -65. Is h < 22?
False
Let r = 36.2 - 25.1. Which is bigger: r or -0.1?
r
Let z = -126 - -126.96. Let q = z - 0.86. Is -57 >= q?
False
Let m = 6292/9 + -676. Are 23 and m non-equal?
True
Let r = 92 - 102.2. Let i = r - -12.2. Is i at least 39?
False
Suppose -4*i = 5*v - 50, i + 19 = 6*v - 2*v. Suppose 16 = y + 5*u, -v*y + y - 2*u = -11. Is y greater than or equal to -1/54?
True
Let u = -0.2 - -0.1. Suppose 71*s = 67*s + 104. Let j be 996/(-52) + 4/s. Which is smaller: j or u?
j
Let w be ((-504)/34552)/(6/4). Is 0 smaller than w?
False
Let p = -0.34 + 45.34. Let s = p - 23. Is -0.1 <= s?
True
Let f(m) = -m - 34. Let z be f(-15). Is z at least as big as -19?
True
Let t = 37 - 33. Suppose -t*y - 4*y = 8. Is 1/5 at most y?
False
Let k be 2/7 - 122/427. Which is greater: k or -2/269?
k
Let c = 21.9 + -18.4. Is -1/4 smaller than c?
True
Let f = 12 + -9. Suppose -5*q = f - 13. Suppose -v - q*x = -4*x, 75 = 5*v + 5*x. Do v and 10 have the same value?
True
Let k be (4/(-36))/((-17)/765). Which is smaller: 25/6 or k?
25/6
Suppose -5*s = -f + 6 + 2, 7 = 3*f + 2*s. Suppose -9 = -j - 2. Suppose 2*d + 6 + 7 = 3*k, 0 = f*k + 2*d + j. Which is smaller: k or -14?
-14
Let u = -2.84 + -125.06. Let s = u + 127. Do 0.3 and s have different values?
True
Suppose 0*s + 2*s = 6. Let w be (-2 - s) + (-2)/(-1). Let j be ((-1)/(w/(-5)))/3. Which is greater: j or 0?
0
Let k = -21 + 30. Let q = k + -24. Is -2 equal to q?
False
Let w(v) = -7*v**2 + v - 1. Let m be w(0). Which is greater: -3/271 or m?
-3/271
Let x be (-7552)/26 + (-6)/4. Let f = 292 + x. Is 1 equal to f?
False
Let q be 171/(-19) - (-1 + -3). Let b = q + 10. Suppose -b*a - 29 + 4 = 0. Is a at most as big as 0.2?
True
Let c be 6/40*(50/(-355))/(-5). Let t = 16983/13490 + c. Which is greater: 2 or t?
2
Let k(u) = u**3 + 3*u**2 + u + 2. Let o be k(-3). Let h be ((-70)/105)/((-608)/(-6)*-1). Is o >= h?
False
Suppose 0 = -212*l + 207*l - 450. Which is smaller: l or -1/4?
l
Let j = -11 + 10.69. Let m = 1.4 + -1.3. Which is smaller: j or m?
j
Let c = 6 - -83. Let y = 89 - c. Are y and -27 equal?
False
Suppose -5*a + 3*t = -69, -4*a + 0*a + t + 58 = 0. Suppose -a = 3*z, -2*n - 2*z = -z + 81. Is -38 < n?
False
Let m be (-2)/(-19) + (343728/76)/12. Which is smaller: m or 376?
376