 q at least as big as 12?
True
Suppose -60*r = -72*r + 5796. Are 483 and r non-equal?
False
Let d = -368 + 979. Is 613 smaller than d?
False
Let f = -17.271 - -0.271. Which is greater: f or 5/2?
5/2
Suppose -82 = j + 5*n, 0 = -j - 3*j - 2*n - 346. Is j > 1/5?
False
Let j be (-82)/(-6) + (-18)/27. Let u = j - 7. Suppose -2*h + 2 = u. Is -2/3 < h?
False
Let y = -1.1 - -1. Suppose -2*k - 139 = -9*h, -28 = -2*h - 14*k + 13*k. Is y at most h?
True
Let l = -394 + 393. Is -3/103 > l?
True
Let v(j) = j + 17. Suppose 6 = -2*o + 10. Suppose -2*k - 43 = -i, o*k = k - 2*i - 9. Let c be v(k). Is -3 at most c?
True
Suppose -4*r - 4*t - 39 = -515, -5*r + 2*t = -581. Which is greater: 115 or r?
r
Let h = -54.35 - 0.65. Let g = 37 + h. Is 0.1 at least g?
True
Suppose -3*l + 93 = 5*k, 5*l - 65 = -k + 90. Which is greater: 28 or l?
l
Let a(k) = -2*k - 10. Let g be a(0). Let r = -21 - g. Do -13 and r have different values?
True
Let l = 91775/31 - 2960. Is l != -1?
True
Suppose 3*t - 36 = 4*c + 7*t, 3*t + 15 = 0. Let z be ((-50)/c)/(-5)*2. Is z less than or equal to -2?
True
Let k be (-6)/5*1400/112. Is k smaller than -0.1?
True
Suppose -11*k + 13 = -10*k - 2*a, 2*k + 5*a + 1 = 0. Is k less than 10?
True
Let m = 220 + -2209/10. Is m != -2/23?
True
Suppose -7*l = -2*l, -j + 18 = 4*l. Let n(m) = -m**3 + 8*m**2 - 6*m - 26. Let s be n(5). Is j smaller than s?
True
Let b be (37/(-8))/((-23)/(-46)). Which is smaller: b or -9?
b
Let d = 10137/13195 - -1/1015. Let u be -13 + 40/10 + 9. Which is bigger: u or d?
d
Let m = -0.12 + 0.1. Let b be 27/18*(-4)/6. Let o be b - (15/(-4) + 3). Which is bigger: m or o?
m
Let l(w) = -4*w - 189. Let z be l(-47). Which is bigger: z or -2/197?
-2/197
Let m = -4 + 18. Let u be -7 - (8 - (5 - 1)). Let f be (16 + u)*(3 - 0). Which is smaller: m or f?
m
Let f = -0.051 - 70.949. Let t = f - -71.1. Which is bigger: -51 or t?
t
Let u = -32.89 + -0.11. Let t = -33.91 - u. Let b = t + -0.09. Which is smaller: b or 2/17?
b
Let a = -5618 + 1983156/353. Which is greater: -1 or a?
a
Let i be 76/(-19) + (-338)/(-86). Is i > -1?
True
Let v be (-3)/(-1 - (-38)/44). Let q = v + -46. Is -22 > q?
True
Let p be (-988)/910 + (-4)/(-5). Which is smaller: 1 or p?
p
Let m(p) = p + 6. Let q be m(-9). Let k be -1*2*78/(-12). Let g be k/(-13) + 1 + 3. Which is bigger: g or q?
g
Suppose 366*q = 361*q + 200. Let h = 69 - 30. Which is greater: q or h?
q
Suppose -z = -6*z + 4*z. Suppose z = 7*q - 9*q + 12. Is q < 5?
False
Let f(j) be the third derivative of -j**5/60 + j**4/6 - j**3/6 + 6*j**2. Let h be f(3). Suppose g = -h*g. Which is greater: 1 or g?
1
Suppose -179 + 954 = 25*q. Which is greater: 32 or q?
32
Let f = -98/9061 + -3/221. Suppose -4*u + 1 = 3*y - 9, -7 = -3*u - 2*y. Does f = u?
False
Suppose -15 = -3*k, k = -z + 4 + 1. Suppose z = -4*y - 2 + 10. Suppose 0 = y*m + 2*m. Are -5/8 and m non-equal?
True
Let t be -1 + (80/12)/5. Let p = -77 + 79.05. Let c = 2 - p. Is t < c?
False
Let t(z) = -35*z - 399. Let d be t(-11). Let n(l) = -5*l + 24. Let f be n(8). Which is bigger: d or f?
d
Let l = 723 - 891. Which is smaller: l or -166?
l
Let h be ((-8)/20)/(12/(-8306)). Let k = h + -277. Is 0 less than or equal to k?
False
Suppose -3*d - 69 = -3*u + 2*u, 2*u = 0. Let c = d - -91. Suppose o - c = 5*o. Are -16 and o unequal?
True
Let g = 2.3 + 31.7. Let h be (6/(-28))/(33/(-44)). Which is smaller: h or g?
h
Suppose 139 = 3*b - 2*k, 2*b - 77 = 2*k + 13. Let i be (-4)/(-14) + (-7)/b. Which is smaller: 0 or i?
0
Suppose 91*u = 95*u + 96. Is -24 <= u?
True
Let g be 26/91 + (-18)/14. Let l = g - 8. Let f be (-1)/((-2)/6) + -12. Are l and f nonequal?
False
Let y = 98/137 - 49568/68911. Which is bigger: y or 0?
0
Let f(o) = -3*o**2 + 4*o - 3. Let m(j) = -10*j**2 + 11*j - 8. Let h(x) = 8*f(x) - 3*m(x). Let c be h(1). Suppose 2*r - c = -7. Is 1/7 bigger than r?
True
Let w = -59.8 + 42. Let v = w + -1.2. Let o = v + 22. Is o less than or equal to -0.2?
False
Let b(l) = -l. Let r(h) = -h**2 + 18*h - 16. Let t(y) = -2*b(y) - r(y). Suppose 5*c + 35 = 4*w, 1 - 11 = -2*c. Let z be t(w). Which is smaller: z or 0?
0
Suppose 0*h - 3*h + 1 = -x, -5*h + 2*x = -3. Let w be h/1 + 1 - 3. Let k(p) = -p**3 + 8*p**2 - p + 4. Let o be k(8). Which is bigger: o or w?
w
Let y = -29 - -33. Let r be (-35 - (-9)/(-3))/(-2). Suppose 0*s = 3*l - 2*s - r, 5*l = 3*s + 30. Is y less than or equal to l?
False
Let h = -34.54 - 0.46. Let s = h + 17. Let n = s + 27. Which is smaller: n or 0.2?
0.2
Let z be -1*(2 - (-5)/(-2 - 3)). Let o = -2/9 + 43/180. Which is bigger: z or o?
o
Let y = 60 + -50. Suppose -81 + 31 = y*x. Which is bigger: 1 or x?
1
Suppose 16*v + 120 = 11*v. Is v < -47/2?
True
Let m = -50051/936 + 481/9. Which is bigger: m or -1?
m
Suppose 0 = 2*z - 0*z + 2. Suppose -5*v + 1902 - 707 = 0. Let r = -4066/17 + v. Do r and z have different values?
True
Let w = 2.72 + -2.52. Let u = -28 - -113/4. Which is greater: w or u?
u
Let o = 2 - 2. Let j = -253 - -362. Let c = j - 109.1. Are c and o unequal?
True
Let c be (-2)/(-3 - 21/(-9)). Suppose c*s - 8*s + 25 = 0. Suppose m + 1 - 5 = 0. Is s bigger than m?
True
Suppose 4*y + 2306 = -2*j, 13*j - 16*j = -2*y - 1173. Does y = -579?
True
Let c(q) = 12*q - 14. Let o be c(10). Suppose j - 5*j = 5*d + 277, -4*j - o = 2*d. Is -0.1 < d?
False
Let q = -559.8 - -560. Which is greater: 392 or q?
392
Suppose 43 = 4*v - 4*b + 383, -4*v = -5*b + 340. Let n = 84 + v. Which is smaller: n or -0.05?
n
Suppose 2*v = -4*p + 24, -5*p + 2 = -v - 0. Let j be (-2 + 1)/((v/(-4))/32). Is 14 not equal to j?
True
Suppose -88 = 31*z - 26. Is z greater than or equal to 136?
False
Let k = -22268/20025 + 2/2225. Let j be (-18)/(-27)*6/(-4). Which is smaller: k or j?
k
Let s(f) = -31*f - 10. Let z be s(2). Let n = z - -81. Which is bigger: 1 or n?
n
Let s be (-3 - -4)*2/2 + 1. Suppose s*r = -2*r. Which is greater: r or 1/32?
1/32
Let j(p) = 2*p - 14. Let c be j(5). Let k(t) = 3*t - 4. Let f be k(0). Is c < f?
False
Let w(m) = -65*m - 3. Let r be w(-2). Suppose y + r = -4*k, -4*k - 53 - 56 = -5*y. Is k != -31?
False
Let f = 0.7999 + -0.0999. Is -1/5 at most as big as f?
True
Let s be -8 + (-3)/((-3)/(-2)). Let k be ((-1)/(-21))/(s/12). Let q be -4 - 4/(0 - 1). Which is bigger: q or k?
q
Suppose 4*a - 8 = 8. Let m be 7/14 - (-10)/a. Suppose -3*u + 30 = k - m*k, u - 5*k = 23. Are 13/2 and u non-equal?
True
Let i = -213 + 214. Let a = 18 - 9. Let k be 3/a + (-4)/6. Is k <= i?
True
Suppose 5*g - 8*g = -6. Suppose 4*x = -2*d + 4, -4*x - 2*d - d = -g. Suppose -3*c = -0*c - x*n + 11, 0 = -4*c + 2*n - 12. Is c less than 1/3?
True
Let a = 0.251 - 0.028. Let y = 0.077 + a. Do y and 4/13 have different values?
True
Let m be ((3 - 184) + -1)/(-1 + 3). Are m and -365/4 unequal?
True
Suppose -g = 4*d + 627, d + 0*g = 4*g - 144. Is d less than -157?
False
Let r be 1/5 - (-1963)/(-65). Let q = -4 + r. Which is greater: q or -35?
q
Suppose 2*b + 5*i + 3 = -0*b, 0 = 3*b - 4*i - 7. Which is bigger: b or 2/723?
b
Let r = -30 - -31.01. Let j = 1.1 - r. Let n = j + -0.29. Is n at least as big as -3/7?
True
Let r = -92 + 91.962. Let k = -3.962 + r. Which is bigger: 0 or k?
0
Suppose 13 = 5*t + 3, -2*t - 4 = -4*g. Let m(y) = y**2 + 7*y + 5. Suppose 0 = -5*r - 11 - 24. Let h be m(r). Is h at least g?
True
Let r(n) = n**2 + 9*n + 41. Let j be r(-11). Suppose 4*x = 2*s + 38, 4*x + j = -3*s + 7*x. Which is smaller: s or -24?
-24
Let t = 63 + -64. Which is greater: t or 1?
1
Suppose 4*o = 12 - 8. Suppose -o = -x + 1. Suppose 2 = -x*f + 4. Which is smaller: f or -0.05?
-0.05
Suppose 3*t + 40 = 5*a + 103, 0 = 4*a - t + 49. Suppose 0 = -20*j - 50 - 210. Which is greater: j or a?
a
Let n be (2 - 2) + 1 + 2. Suppose 2*l = -3*c + 8, c + n*l - 11 = 1. Is c smaller than -4/11?
False
Suppose 53*d = 52*d - 10. Suppose -3*a + 141 = 2*y, 5*y - 2*y - 216 = -3*a. Let j be d/y - (-12)/(-45). Which is greater: -0.1 or j?
-0.1
Let b(l) = -l**2 - 15*l - 43. Let k be b(-4). Which is smaller: 15/22 or k?
15/22
Suppose 10*j = -5 + 15. Suppose 30 = 3*b + 2*p - j, 2*b + 5*p = 17. Is 11 != b?
False
Let f = -88 - -89.41. Let o = f + 0.19. Let x = 1.7 - o. Is x at most 1.2?
True
Let g(u) = -2*u + 10. Let m be g(7). Let w be -2 - 0 - m - 2. Suppose -y + 67 = 3*i - 2*y, w = -i - y + 17. Is i equal to 22?
False
Let n(h) = h**3 + 6*h**2 - 7