ual to q?
True
Let p = -403 - -400.89. Let d = p - -0.11. Let n = 1 - 1.1. Is n less than or equal to d?
False
Let r(a) = a**3 - 5*a**2 + 10*a + 7. Let l be r(6). Suppose -8*v + 247 = l. Is v not equal to 16?
True
Suppose 0 = 4*k + 20, 3*k = 4*r + 74 - 57. Let c be -2 + (r/12)/((-7)/336). Does c = 154/5?
False
Let a = -3376 + 3382. Do a and -162 have the same value?
False
Let m = -8 + 13. Let y be 1165/1631 + (-78)/70. Is m less than y?
False
Let a = -5765 - -28807/5. Which is bigger: a or 1/13?
1/13
Suppose 22 = -2*n + 30. Let o(d) = -13*d + 54. Let f be o(n). Which is smaller: f or 0?
0
Let k = 6 - 2. Let g = 4 - k. Suppose 8*r = -6*r - 8*r + 1298. Which is smaller: g or r?
g
Let j = -0.023 + 126.023. Let c = j - 155. Is c at most as big as 2/11?
True
Suppose 4*h + 211*w + 959 = 206*w, -5*h - 6*w = 1199. Do h and -245 have different values?
True
Let p = 228 + 104. Let c = -369 + p. Suppose 5*w - w = 0. Which is bigger: w or c?
w
Let n = -1398 + 57334/41. Do n and -1 have the same value?
False
Let p = 961.2 - 962.2. Is p <= 6267?
True
Let h = -13808/3 - -4602. Do h and -2279 have different values?
True
Suppose 0 = -v + 5*f + 434, 2*f - 2128 = -5*v + 6*f. Let i = v - 418. Is -8 bigger than i?
False
Let f = -10752 - -10751.938. Which is smaller: -0.25 or f?
-0.25
Suppose 22*y + 168879 = -19*y - 0*y. Which is smaller: y or 1?
y
Suppose -5*s + 7 - 7 = 0. Suppose -i + 7 = m, m - 17 = -3*i - s*i. Suppose -i = x + 5*f - 13, -4*x - 3*f = 53. Is x < -17?
False
Let j = -1562.2 - 13333.8. Which is greater: j or -1/3?
-1/3
Let g = 93/1027 - -74975/11297. Let z = 0 + 0. Are g and z equal?
False
Let t be 1*((-65)/(-25))/13. Is 3/58 at most as big as t?
True
Let q(x) = 13*x**2 + 10*x - 21. Let a be q(2). Suppose -5*y = 2*f + 77, 2 = -5*f - 3. Let p be 4/(-10) - a/y. Which is smaller: -3 or p?
-3
Let g(k) = k**2 + 10*k. Let c be g(-10). Suppose 5*h = 0, -d + c*h = -3*h. Let s be (2*(d + 3))/(66/(-4)). Is -1 less than or equal to s?
True
Let v be (-1)/((-8)/12)*(-6)/9. Suppose -5 = y, n - 4*y - 8 = 3. Which is bigger: n or v?
v
Let s be (0 + 2/17)*-10. Let v(q) = 987*q**3 - 3*q - 1. Let o be v(-1). Let c = o - -983. Is s greater than c?
True
Suppose -d - 1188 = -10*d. Let l = -132 + d. Suppose l = 7*h - 335 + 125. Which is bigger: h or 28?
h
Let g = -38760 - -29225035/754. Which is smaller: g or -1?
-1
Let x = -52 - 77. Let t = -273 - -144. Is x >= t?
True
Let p = 16 - 34. Let z = 23.5 + p. Let i = 4.5 - z. Is -0.29 <= i?
False
Let d be (626/(-2))/(1265/69 - 18). Is -6570/7 equal to d?
False
Let n(f) = 7*f**2 + f - 25. Let q(o) = 8*o**2 - 23. Let z(x) = -7*n(x) + 6*q(x). Let w be z(-12). Which is greater: w or -22?
-22
Let g(z) = -z**2 + z - 1. Let l(o) = 5*o**2 - 3*o - 3. Let f(m) = -2*g(m) - l(m). Let r be f(-2). Let s = r + 9. Which is smaller: s or 3/10?
s
Let f = -1739/280 - 33/56. Which is smaller: f or -55?
-55
Let f = -2246167/149 - -15075. Which is greater: 1 or f?
1
Suppose 7*l + 92641 - 100439 = 0. Which is smaller: 1116 or l?
l
Suppose 6*r - 7*r + 22 = 0. Suppose -y = -17 - 63. Suppose 7*c = 11*c - y. Is c greater than r?
False
Suppose 7*n = 17 - 80. Is 116 equal to n?
False
Suppose 0 = 5*c + 5*j - 1115, 9*j - 14*j = -10. Which is smaller: 234 or c?
c
Let m be (-7)/(168/(-16)) - 2/18. Suppose -4*g - 72 = -2*t, 10*t = 5*t + 2*g + 148. Let a = 29 - t. Is a less than or equal to m?
False
Let b(u) = -4*u**3 - u**2 - u - 1. Let c be b(-1). Let h be (-1032)/32 - c/4. Is h != -137/4?
True
Let v = 0.23 + -2.43. Let c = -0.77 + v. Let j = c + 3. Which is bigger: j or 2/3?
2/3
Let q(j) = 2*j + 29. Let n be q(9). Let k = n - 26. Let a = k - 20. Which is smaller: a or -2/21?
-2/21
Suppose 3*m + 108 = 6*m. Suppose -84*d = -119*d + 1260. Is m at least d?
True
Suppose 627 = 5*k + 5*n - 4*n, -3*n + 256 = 2*k. Let g = 133 - k. Which is greater: g or 4?
g
Let f be 5/(-30) + (-26229)/306 + (-24)/204. Which is smaller: f or -89?
-89
Let z = -173.071992 - -0.066992. Let p = z + 170. Let a = p - -0.005. Do 7 and a have the same value?
False
Let y(p) = -p - 17. Let i be y(-14). Let a be (i/(5835/(-10)))/1. Let s = a - 1207/7780. Which is smaller: 0 or s?
s
Let f(m) = -15*m**3 - 22*m**2 + 41*m - 1. Let s be f(2). Suppose j - 2*l + 138 = 0, -3*l = -4*j - 2*l - 517. Are j and s non-equal?
True
Let n(s) = s - 17. Let a be n(-8). Let t = -8035/342 - 1/171. Is a greater than or equal to t?
False
Suppose -128*c + 637*c = -264 - 1263. Is -29/9 bigger than c?
False
Let t = 419 + -738. Let l = -355 - t. Which is smaller: 2 or l?
l
Let q be -21*(8 - 106/7). Let k = q + -139. Are k and 35 equal?
False
Let x be 3/2 + 4/(-2). Suppose 2*m + 0*k - 46 = 2*k, -5*k - 35 = -m. Let c be (50/m)/(7/(-2) - -2). Which is smaller: x or c?
c
Let a = -41 + 37.3. Let c = 1.3 + a. Let m = c - -2.4. Is -0.1 != m?
True
Suppose 5*h + 19 = -m + h, 4*m - h = 9. Let z be -6 + ((-4780)/(-340) - (8 + 0)). Which is greater: m or z?
m
Suppose -4*w = 3*x - 108, -4*x + 8*w = 9*w - 170. Let c(z) = -21*z**2 + 3*z - 3. Let d be c(3). Let a be d/(-4) - (-3)/(-4). Is a equal to x?
False
Let c be (2055 - 2058)*(0 - 2/(-22)). Let a = 0 - -0.1. Which is greater: a or c?
a
Let q(m) = -50*m**2 + m - 5. Let x be q(2). Let o = x - -203. Does o = -8/17?
False
Let d = 21.57 + -22.9. Let b = 1.33 + d. Which is bigger: 0.16 or b?
0.16
Let s = -750.6 - -749.6. Is s equal to -488/3?
False
Suppose -8*g + 1463 - 311 = 0. Suppose 139*r = g*r - 5. Which is smaller: 7/4 or r?
r
Let u = 2452 - 2452. Let a be 6/6748*1304/2. Let r = -2/241 + a. Is u >= r?
False
Suppose -7*y = -398 - 631. Let q = y - 144. Which is smaller: q or -13?
-13
Let w = 27371614/117 - 3221378/13. Let s = 13870 + w. Is 18 equal to s?
False
Let v(q) = -q + 3. Suppose 40 = 2*g + 3*g. Let i be v(g). Let o be 54/(-9)*((-27)/(-77) - (-4)/14). Which is smaller: o or i?
i
Let n = 3.684 - -0.016. Let s = 11.27 - -28.03. Let f = s + n. Which is greater: 0 or f?
f
Let m(i) = 5*i**2 - 7*i - 55. Let b be (39/(-117))/(2/30). Let j be m(b). Is 105 at most as big as j?
True
Let s = 300387/112 + -2682. Is s greater than 2?
False
Let p = -9645130/87 + 110865. Let f = p + -3/29. Let n(c) = c**3 + 68*c**2 - 83*c - 966. Let s be n(-69). Is s not equal to f?
True
Let p(t) = 6*t + 42. Let n be p(-7). Which is smaller: n or -8/953?
-8/953
Let y = 3962 + -3920. Which is bigger: y or 39?
y
Let t = 1492.13587 + -0.13587. Is t at least as big as 2/5?
True
Suppose 682*t - 686*t - 780 = 0. Are t and -239 unequal?
True
Let n(z) = z**2 + 4*z - 24. Let f be n(7). Suppose 175 = 3*x - 5*b, -2*x + 83 = -b - 29. Is x greater than f?
True
Let l = -26 + 24. Suppose 6 = -13*f + 12*f. Which is smaller: f or l?
f
Suppose 3*x - 8*q = -40 + 21, -5*q + 7 = 3*x. Which is bigger: x or 3/11386?
3/11386
Let o = -149333/13 + 11487. Let u(r) = 3*r**3 + 3*r**2 + 2*r + 2. Let w be u(-3). Is o at least w?
True
Let w be ((-3)/(-8))/((-5246)/(-24) - (-80)/120). Which is smaller: w or 0?
0
Suppose -230*h + 228*h + 7921 = -1351. Is h < 4635?
False
Suppose 2*i - 4 - 44 = -4*l, 0 = -4*l - 3*i + 52. Let b be (-30)/4 - (5/l + 0). Is b greater than -9?
True
Let g be -2 + ((-3)/(-15) - 74529/(-44205)). Is 0 less than g?
False
Let a(o) = -o**3 + 13*o**2 + 30*o + 2. Let d be a(15). Let c = -377/5 - -1133/15. Which is smaller: c or d?
c
Let g = 59.44 + -66.44. Which is smaller: g or 6.46?
g
Let t(n) = -25*n - 27. Let l(y) = -3*y**2 - 7. Let o be l(0). Let i be t(o). Let r = i + -102. Is 46 < r?
False
Suppose 33*m - 184 + 85 = 0. Suppose -p = -m*a + 6*a - 171, 0 = -2*a - 6. Is p != 180?
False
Let g = -0.0901 - 436.9099. Let l = 439 + g. Does l = -0.15?
False
Let p(n) = -n**2 + 75*n + 25. Let j be p(93). Is j at least -6597/4?
True
Let x = -57 - -166. Let t = 338 - 230. Is x < t?
False
Let t = 2231 + -2232. Let a be 4/(-14) - 136/(-574). Is t at least a?
False
Let p = 9502 + -9522. Is p bigger than -223?
True
Suppose t + 4 = 0, -25*a - 4*t = -28*a - 2609. Is a at most as big as -875?
True
Let g be (-50)/5 - -15 - (-20)/(-4). Which is bigger: -72/85 or g?
g
Let p = -14 - -15. Let i be 2/(-3)*(p - 1/(-2)). Let x be (-8)/(-144)*i/(-16)*6. Which is smaller: x or 0?
0
Suppose -z - 4 + 5 = -w, -4 = -2*z + 4*w. Let i = 1 + z. Let m = 4436 - 4443. Which is bigger: i or m?
i
Let r = 629 - 1404. Let y = -800 - r. Which is greater: -0.2