se t = -5*h + 264, 0 = -3*t + 3*h + 271 + 503. Do t and 249 have the same value?
False
Let v = 284 + -90. Let l = v + -194.2. Is l less than 57?
True
Suppose -10*s + 4519 - 4529 = 0. Is 30/859 <= s?
False
Let y be ((-4)/91)/((6 + -8)/128). Let k = -31/13 + y. Is 0 != k?
True
Let z = 17249 - 19318. Which is smaller: z or 2?
z
Let i = 0 - 0.1. Let r be 3/(81/492) + (28980/70)/(-69). Is i equal to r?
False
Let x = 3 - 2. Let n be (51*(-6)/(-180) + -2)/(219/(-365)). Is x at most as big as n?
False
Let f be (-225)/(-135)*(-2)/5. Which is greater: -0.1177 or f?
-0.1177
Suppose -32*f - 2195 = 781. Is -94 at least as big as f?
False
Let q = -47.32 + -976.68. Is -1/5 bigger than q?
True
Let v = 16 + -10. Let n be ((-38)/4)/((-2)/(-236)). Let h be n/(-114) - 2/v. Which is smaller: 11 or h?
h
Let v = 506/5 + -76887/760. Which is greater: v or -0.7?
v
Let v(r) = 9*r**3 - 9*r**2 - 47*r - 13. Let p be v(-7). Is p > -3212?
False
Suppose 3*p - 99 = 5*o + 18, 0 = -5*p + 20. Let k be 66/(-14) - 3/o*-2. Let q be 2*(-5)/(-25) - (-2)/k. Which is greater: -3/7 or q?
q
Let x be -1*6/6*2. Let p be (-14)/(-7) + (x - -3 - 3). Which is smaller: 4/23 or p?
p
Let y be 2 - (1591424297728/20540 + -4). Let j = y + 77479268. Let n = -40/79 - j. Which is smaller: n or 1?
n
Let b(g) = 2*g**3 + 17*g**2 - 4*g + 36. Let p be b(-9). Is p bigger than -71/7?
True
Let h = 0.7415 - 3.7415. Which is smaller: h or -810/13?
-810/13
Let r be (-87)/(-6) - (-4)/8. Suppose 2*w - 6 = 0, m - 5*w = -0*m - r. Suppose 0 = 5*x - 5*q, -8 + m = -5*x - 3*q. Which is bigger: 2 or x?
2
Let o(j) = 65*j - 2266. Let w be o(34). Which is greater: w or -70?
w
Let z = 180 - 150. Let t be (1*20/(-25))/((-7)/z). Let g = -29 - -33. Are g and t non-equal?
True
Suppose -3*z - 4*p = 968 - 3993, 24*z - 5*p = 24385. Is z >= 1016?
False
Let t be (406 - 400) + 742/(-1). Which is smaller: -3 or t?
t
Let y = 65 - 68. Let k be 6/y - -3*16/6. Let t(w) = -w**2 + 3*w + 17. Let z be t(k). Which is bigger: 1/105 or z?
1/105
Let y be (9/(-6))/(63/2184). Let t = y + 56. Is -13 less than t?
True
Let k be (-138)/(-70) - 2/5. Let v = -646 + 648. Let c be (23 - v)/3 - 6. Is c equal to k?
False
Let h be (2900/260 + -11)/((-2)/876*4). Which is greater: h or -18?
h
Suppose -3*j = 2*o + 176 - 49, -j = 4*o + 219. Let q(w) = -56*w**2 - w. Let u be q(-1). Is u not equal to o?
True
Let a(p) = p**3 - 18*p**2 + 41*p - 403. Let o be a(17). Let y be 1*3 - (4 - 3). Suppose 2*b + y = 10. Which is greater: b or o?
o
Suppose -285 = -4*f + 4*m + 979, 4*f + m - 1289 = 0. Are 0.2 and f non-equal?
True
Let t be (4 + 71 + -2)*(-2 + 6). Let b = 278 - t. Which is smaller: -43/3 or b?
-43/3
Let r(h) = -h - 6. Let o(p) = p**2 - 8. Let u be o(4). Let k = 3 - u. Let z be r(k). Which is smaller: z or -2/51?
z
Suppose 0 = 7*t - 14 - 119. Suppose 0 = -5*z + 3*m - 5*m + t, -1 = z + 2*m. Let w(y) = y. Let u be w(z). Is u smaller than 38/7?
True
Suppose 27 = -2*c - 3*f, 4*f - 1 = 5*c + 9. Let y be 44/88*1/((-2)/36). Does y = c?
False
Let p(l) = 4*l**3 + 7*l**2 - l - 66. Let b be p(-9). Let o be b/312*1 + 8. Which is smaller: 1 or o?
o
Let r = 12193 - 12405. Do r and -214 have the same value?
False
Let a = -0.0616 + 4.0616. Let g be ((-66)/14)/1 - (-8)/(-28). Is a equal to g?
False
Let i = -18.97 - -19. Suppose 8*p = 1677 - 461. Let o = p + -1066/7. Which is greater: i or o?
i
Suppose 86 + 71 = p. Let o = 221 - p. Let g be o/48*3/4. Is -3/7 less than or equal to g?
True
Let v = 1867.47 - 1984. Let o = v - 2.47. Let u = o - -118.9. Is u not equal to -10?
True
Let l = -1.1 - -1. Let x = 112.68 - 110. Let p = -16.32 - x. Which is bigger: l or p?
l
Let t(s) = 7*s + 104. Let k be t(-14). Let z be (-26)/(-126) + (-165)/27 + k. Do z and 1 have different values?
True
Suppose -10*q = -248 + 258. Which is smaller: 7/81 or q?
q
Suppose -5*z + 21292 = 6037 - 28715. Is 8792 bigger than z?
False
Suppose 840 = -34*d + 26*d. Let b be (d/27)/(-7)*(-2)/5. Does -54 = b?
False
Let g be ((-245)/(-40) - 6) + (-6780)/54112. Which is greater: -1 or g?
g
Let q be 1 + -1 + -1 + 0. Let f = -1053884/33 + 31936. Does f = q?
False
Let j = -66 + 70. Suppose 0 = 4*x + 2*z + 8, -j*x + 3*z + 1 - 29 = 0. Is -3 <= x?
False
Let j be (2 - -142) + (-6 - -10). Suppose 3*d + 89 + j = 0. Let t = d - -72. Which is bigger: t or -10?
t
Let a = -24842 - -29388088/1183. Is a at least as big as 0.1?
False
Let w = -6880 + 47500/7. Is -4 > w?
True
Let q be 0/((-5)/(20/(-8))). Suppose q = -4*k + 3*i - 75, -4*k + i = -4*i + 69. Let s be 2028/(-91) - (-4)/14. Is k at least as big as s?
True
Let k be (2324/84 + -28)/((-1)/(-3)). Let t be (2 + 31/(-15))/45. Which is smaller: t or k?
k
Let c(q) = 48*q - 11. Let g be c(-1). Let u = -115 - g. Which is greater: -1 or u?
-1
Let q be 5/(16/(-192)*-2). Which is smaller: q or 9?
9
Let g = 1/5271 - 527113/68523. Suppose -5*o + 32 = -9*o. Is g less than o?
False
Let u be 6 + 80 - (-2 - 3*-1). Suppose u = 2*s - 87. Suppose -87*y = -s*y - 25. Do y and 26 have the same value?
False
Suppose 0 = 3*k - 15*k + 996. Let l be 10/(-60)*-4 + k/(-3). Is 0 <= l?
False
Suppose 2*b + 9 + 13 = 5*m, 1 = m + 3*b. Suppose 4*i - m - 16 = 0. Let k(s) = 3*s - 14. Let t be k(i). Which is smaller: t or 3?
t
Let c(u) = u**3 + 14*u**2 + 5. Let s be c(-14). Suppose s*x - 288 = x. Let f = x - 61. Is f > 10?
True
Let u(q) = -7*q**3 + 118*q**2 + 1091*q + 11. Let w be u(-9). Is w >= -0.2?
True
Suppose -2*n - 14 = 0, 5*c + 68*n - 55580 = 63*n. Which is greater: 11125 or c?
11125
Let k = 5996387/471279 - -8/16251. Is -0.1 > k?
False
Let d = -38590 - -25893885/671. Is d greater than -1?
True
Suppose -3*j + 6*j + 4*n = 2, 4*n - 8 = -2*j. Is j at most as big as -88/15?
True
Let d(t) = t**3 - 50*t**2 - 56*t + 205. Let y be d(51). Is -1624/33 >= y?
True
Let i = 2084 - 2085. Let m(w) = 7*w**2 + 4*w. Let h be m(2). Is i greater than or equal to h?
False
Let d = -803158/5423 - -4290/29. Is d > 1?
False
Let x = 3754 + -3772. Let v = -18.9 + 20. Is x less than or equal to v?
True
Let d = 571 + -592. Let o be (d + 13)*(-3)/(-25). Is o > -2?
True
Suppose -72*v + 4263 - 102 = 147*v. Which is smaller: v or 80?
v
Let l = -95 - -160. Let a = -136.7 + 136.058. Let p = a + 0.542. Are p and l unequal?
True
Let q = -82 - -86. Suppose 0 = 4*k + 2*t - 10, -5*t + 21 = 4*k - q. Are k and -2/419 equal?
False
Let v = -552 + 548. Let c = v + -3. Are c and 1 nonequal?
True
Let y(b) = 6*b**2 - 39. Let x = 504 - 504. Let r be y(x). Are -37 and r equal?
False
Suppose 0 = z - 2, i - 184 = -5*z + 2*z. Suppose 0 = 175*n - i*n + 6, -l + n = -2. Is l equal to 43/10?
False
Let u be (-4)/(-3)*(-18)/(-4). Let t(b) = 2*b + b - 2*b - 2*b + 5. Let q be t(u). Which is bigger: 1/5 or q?
1/5
Let r = -0.4378 - -1918.4378. Let f = r - 1921.882. Let z = 0.118 - f. Are 0.04 and z non-equal?
True
Let u be (34 + -39)/((-1)/(-43)). Let g be (-6)/(-2) + 16/(-60)*u. Which is bigger: g or 59?
g
Let f = 57 - 165. Let h(t) = -16*t + 948. Let i be h(66). Is i greater than f?
False
Let w(p) = -335*p + 2004. Let o be w(6). Which is greater: -451 or o?
o
Let m = 3541 - 3630. Is m != -59?
True
Suppose -14*f + 1453 = -78*f - 148179. Is f at least as big as -2339?
True
Let q = 6219 + -2249. Let p = 43638/11 - q. Suppose 0*f + 5*f + 20 = 0. Which is smaller: p or f?
f
Let u(k) = 70*k + 911. Let j be u(-13). Is j <= 19/47?
False
Let g = -22427647/913029 + -7/70233. Is g >= -26?
True
Let r = 184 + -1833/10. Let u(m) = -4171*m - 12511. Let j be u(-3). Which is greater: r or j?
j
Let a = 5195/966 + 7/138. Let f(k) = k + 1. Let d be f(3). Is a > d?
True
Let p be (1 - 127)*(1 + -9 + 8920/80). Are -13041 and p nonequal?
False
Let r = 29 + -35. Let g be r/(-2)*24/36. Suppose -3*v + 4*n - g = -18, -3*v - 5*n = 20. Which is smaller: -2 or v?
-2
Suppose -3*v + 119 = 5*f, 5*f - 31 - 67 = 4*v. Let c be (-4 - -6 - f) + 2. Let t be (12/c*1*-3)/(-1). Which is bigger: t or -4?
t
Suppose 2*k + 32 = -4*i, 5*i + 5*k - 4 = 9*i. Let q be (1/(-3))/(i/(-18)). Which is smaller: q or 32?
q
Suppose 126*g + 1179486 = 192*g. Which is smaller: 17872 or g?
g
Suppose -3*h + 20 = 3*u - 7*h, 4*u + 5*h = -25. Suppose u*f = -3*f - 129. Suppose 0 = 702*z - 625*z + 3388. Which is smaller: f or z?
z
Let t = 25 - 21. Suppose 12 = -2*p - 2*y, t*p + 2*y = y - 9. Let v(k) = k**3 - 2*k**2 + 1. Let g be v(p). Which