n q?
True
Let j = -553.9 + 554. Is 194 <= j?
False
Let x = -1/33 - -85/627. Let p(d) = 2*d - 1. Let f(u) = -u**2 - 5*u + 6. Let y be f(-6). Let c be p(y). Is x greater than c?
True
Let p = 358 - 138. Let d(v) = v**3 - v - 2. Let a be d(0). Let f be ((-96)/p)/(a/(-5)). Which is smaller: f or 0?
f
Let o be (-14)/(-22) - (-4 - -5). Let d(r) = 2*r + 7. Let b be d(-3). Which is greater: o or b?
b
Let c = 337.1 + -337. Let s be (-6)/(-9) - (-41)/15. Is c less than s?
True
Let y = 2 + -1.2. Let v = -1 - y. Let f = v - -2.8. Do f and 1 have the same value?
True
Let k be (-195)/12 - 2/(-8). Let a be (-2)/(4 - (-68)/k). Are 5 and a equal?
False
Let v = -262.71 + 0.71. Let g = -242.7 - v. Let d = 19 - g. Is 2/3 at least d?
True
Let n = -7 + 6.8. Let a = -15.12 + 0.12. Let t = -20 - a. Which is smaller: t or n?
t
Let b = -68 + 67.7. Which is bigger: -2/39 or b?
-2/39
Let l be (-35)/(-28)*16/(-12). Let y = 0.2 - 0.1. Is y bigger than l?
True
Suppose 34*u = 35*u + 11. Let m(j) = j**3 + 11*j**2 + 5*j + 9. Let n be m(u). Which is smaller: -47 or n?
-47
Let u(l) = -l**3 - l**2 + l + 3. Let w be u(0). Suppose -h + 2*v = 6*v - 8, w*h = -3*v + 33. Are 11 and h nonequal?
True
Let b = 382 + 15. Which is smaller: b or 398?
b
Suppose 2*k - 12 + 4 = 0. Suppose 0 = -p + k - 0. Let u = p + -43/11. Is u less than -1?
False
Suppose -4*n = -2*t - 18, -n - 4*t = n - 14. Suppose 0 = -z - 3*f + 6, 2*z - 15 + 4 = -n*f. Suppose -2*y = -z*u - 4*y - 18, 3 = y. Is u < -8?
False
Suppose -34*w + 38*w - 384 = 0. Let k be (2/(-4))/((-4)/w). Is 14 greater than k?
True
Suppose -2*s = -6*s + 120. Which is bigger: s or 28?
s
Let y = 141.44 - 144. Let i = -0.56 - y. Which is smaller: 5/6 or i?
5/6
Let x = 3/5 - 16/25. Which is smaller: x or 0?
x
Let p = -34 - -29. Suppose 28 = -u + 22. Which is bigger: p or u?
p
Let g(w) = -2*w + 1. Let t be g(2). Let a = 0 - 0. Suppose -3*q = -a + 12. Which is smaller: t or q?
q
Suppose -5*s + 12 = -2*p + 34, 0 = 5*s + 20. Do 15/7 and p have the same value?
False
Let a = -2855/2 - -1428. Is a less than 0.71?
True
Let j(k) = -15*k + 1. Let u(v) = 30*v - 2. Let n(c) = -10*j(c) - 4*u(c). Let x be n(-1). Let g be 3 - (x/(-6) + -2). Which is smaller: 0 or g?
g
Let w be (-9)/2 - (-36)/24. Let a = -5 + 3. Let s be -2 - (a - (0 - 0)). Is w less than s?
True
Let h be (-1)/(-2) - 288/582. Is 0 bigger than h?
False
Suppose 5*q = -2*q + 14. Suppose 27 = -q*w - w. Is w <= -10?
False
Let j = 421 - 1274/3. Let y be 3/2*240/18. Suppose 10*v + y = 5*v. Which is smaller: j or v?
v
Let u = -227/994 + 1/71. Let b be (-5)/(-20) + 10/(-8). Which is smaller: u or b?
b
Let y = 0.135 - -0.265. Which is bigger: y or -242?
y
Let y = 12 + -10. Suppose 192 = -y*r - 0*r. Let i = r + 670/7. Is 1 at most as big as i?
False
Let j(g) = 0*g - 34 - 6*g + g + 32. Let o be j(-3). Let k = o + -9. Is 5 greater than or equal to k?
True
Let s(p) = -p + 4. Let k be s(0). Suppose -2*u - 106 = u - 2*m, k*m = 20. Suppose 4*q - 3*w + 116 = -0*q, -4*q = 5*w + 148. Is u at most q?
True
Let q be -1 + (-2 - (-1 - -2)). Let w be (-74)/(-10) + q/10. Let a = w + -8. Which is smaller: a or -2?
-2
Let j(k) = -k**3 - k**2 + 9*k - 7. Let a be j(2). Which is bigger: a or -1/117?
-1/117
Let s = -4/25 + 94/275. Which is greater: s or -0.83?
s
Suppose -6 = -6*x + 4*x. Let h be x/(-4 + (-238)/(-4)). Which is smaller: h or 1?
h
Suppose -4*p = -2*h, -6 = h - 4*h. Suppose u - p = q, -4*u - 13 = -u + 5*q. Is u < -10/11?
True
Let j(o) = -o + 9. Let w be j(6). Suppose -2 = -w*s - 53. Let v = 17 + s. Which is smaller: -1 or v?
-1
Let p = 171 + -169. Suppose -3*l = -0*l. Suppose -4*h + n - 19 = 0, l = 3*h - p*h + 2*n + 7. Are -5 and h unequal?
False
Let w be (1 + 4)*((41 - 2) + -4). Let d = -871/5 + w. Which is bigger: 0 or d?
d
Let u be (22 - 23)*-5 + 0 + 3. Let l be -1 - (0 + -1 + -3). Is l not equal to u?
True
Let i be (7/((-42)/20))/(4/24). Let j = i + 23. Let n = 2 - -1. Is n not equal to j?
False
Let z = -354.5 + 357. Let w = -71.39 - -69. Let g = w + z. Is g > 0?
True
Suppose -5*i = 0, p - 147*i = -151*i + 408. Do p and 1223/3 have different values?
True
Let s = -8849 - -132673/15. Let u = -83/20 - s. Which is smaller: u or -1?
-1
Let v = -227 + 218. Let s be (2 - 1) + (-1)/1. Suppose 5*n + 41 = -4*p, s*p - 35 = 4*p - n. Does v = p?
True
Suppose 6*s = r + s - 3, 2*r - 4*s = -12. Let j = r - 22. Is j >= -34?
True
Suppose -21*x + 94 = 346. Is -62/5 >= x?
False
Let a be 6072/2394 + 8/(-14) - 2. Which is bigger: a or -10?
a
Let i = -4/159 + 91/106. Which is greater: i or 2?
2
Let v = -329 + 359. Is v smaller than 32?
True
Let h be 64/(1 + 1) + 2. Let w = h - 42. Which is greater: -9 or w?
w
Let x = 1838 + -1816. Which is smaller: x or 16?
16
Let q be (-80)/4*1/(-2). Let t be ((-4)/q)/((-6)/330). Let y be (-40)/t + (-2 - -4). Which is smaller: -1 or y?
-1
Let l be (-74)/(3 - 1) + 4. Let a be l/22*4/3. Is -9/7 bigger than a?
True
Let h = -6 + 6.3. Suppose 2*a = -7*v + 4*v + 24, -4*v = -4*a - 12. Is v > h?
True
Suppose 7*i = 4*i - 15. Let o = i + 4. Let s be (o + 1/2)*-2. Is 1 greater than or equal to s?
True
Let f be (0 - -1)/((-3)/(-12)). Suppose 2*d + b - 16 = 0, -f*d = -4*b + 2*b - 24. Is 4 smaller than d?
True
Suppose -2*l = -4*k + 6 - 4, 3*l + 3 = -4*k. Which is bigger: k or 42/43?
42/43
Suppose -37 = -6*m - 187. Is m greater than or equal to -64?
True
Let f = 1.3 - 3.3. Let q = -2 - -3. Let x = q + -0.8. Is x <= f?
False
Suppose -158 = -3*u - r, 0*r - 254 = -5*u - 4*r. Is u smaller than 56?
True
Let o be (-102 - -101) + 2/36*118. Which is smaller: 0.7 or o?
0.7
Suppose 0 = n - 0 + 1. Is -0.095 > n?
True
Let a(t) = t**2 - 12*t + 13. Let d be a(11). Let n be (-35)/10*(0 - d). Which is bigger: n or 8?
8
Let j be 2/(-3)*9/2 - 65. Let s = 68 + j. Which is smaller: -4/17 or s?
-4/17
Let a(b) = -b**3 + 10*b**2 - 5*b + 15. Let v be a(10). Let k be ((-21)/v)/(2/30). Suppose k = -p + 8. Does p = 3/13?
False
Let s be 410/35 + 9 - 4/(-14). Which is bigger: 102/5 or s?
s
Let y = 819 - 821. Let s be 362/(-70) + -1 - 1. Let c = s + 46/7. Does y = c?
False
Let m = 154 - 114. Is m at most as big as 41?
True
Let j(n) be the first derivative of n**2/2 + 2*n + 8. Let r be j(-2). Let q be 4/6 + (-11)/21. Which is greater: r or q?
q
Suppose -3 = -t + 1. Suppose -r = t*r. Which is smaller: 6 or r?
r
Let c = 429 + -432. Let t be (-3)/(-5) - (-4)/10. Let a be ((0 - -2) + c)/t. Are -2 and a nonequal?
True
Suppose -4*x = 2 - 10. Suppose 3*t - 123 = -3*p, t - x*p = p + 25. Is t at most 38?
True
Let z(v) = -220*v**3 + 4*v**2 - 2*v + 2. Let l be z(1). Is l bigger than -215?
False
Let k = -34 - -29. Let b be 18 + 4/(-20)*k. Do 19 and b have the same value?
True
Let v = -9 + 10. Let p = -0.57 + 25.57. Let d = 17 - p. Which is smaller: v or d?
d
Suppose 0 = -21*f + 3*f - 44*f. Is f greater than -2/301?
True
Suppose -5*q - 3*v = 77, 0 = -v - 2*v - 12. Suppose 23*w - 53*w = -22*w + 128. Which is smaller: q or w?
w
Let z = 5809/2392 + -63/26. Do 1 and z have the same value?
False
Let o be 0/(-2 + (7 - 4)). Suppose g - 2 = -5*x + 5, 4*g + 20 = 4*x. Is o equal to x?
False
Let c be (1/2)/(5/(-4)). Let x = 28 - 60. Let b = x + 95/3. Is b smaller than c?
False
Suppose -v = -g + 2*g + 8, 4 = -2*v. Let q = g - 6. Let h = q + 12. Which is smaller: -3/10 or h?
-3/10
Let n = 326 - 238. Let c = -95 + n. Let j be ((-4)/(-50))/((-2)/10). Which is smaller: c or j?
c
Suppose 4*p - 2 = 2. Let a = 389/7 - 55. Let b = a - 38/91. Is p <= b?
False
Let m = 155 - 155. Which is smaller: -1/133 or m?
-1/133
Let k(s) = 10*s - 59. Suppose -o = 1, 4*x + 0*o = -o + 23. Let r be k(x). Are 3/67 and r unequal?
True
Let m = 23 - 2. Let k = m + -37. Let p = -5 - k. Is p at least -1/4?
True
Let d(q) = -q + 1. Suppose z + z - 4 = 0, 10 = 2*h + 3*z. Let t be d(h). Let s be ((-4)/24)/(t - 1). Which is greater: 0 or s?
s
Let y be (-120)/(-28) + (-6)/(-21)*-1. Let j be 1/y - 57/(-76). Which is bigger: 22/3 or j?
22/3
Let c be 25 + -12 - (-3 - -16). Which is smaller: -3/1820 or c?
-3/1820
Let a be (51/(-34))/(3/(-4)). Let u = 0 + 3. Suppose -5*v - 2*m = m - a, 3 = -u*m. Which is smaller: v or -2/17?
-2/17
Suppose -5*f + 3*l + 110 = 0, 6*f + 2*l - 110 = f. Let x be (f/(-297))/(4/(-6)). Let q be (2 - 2 - -1)*1. Is x at least as big as q?
False
Let y = 849 + -850. Is 3/98 greater than or eq