rue
Let t(z) = 7*z**3 + 3*z**2 + z. Let m be t(2). Let x = 143 - m. Is 71 greater than x?
False
Let t = 980.184 - 1078.2031. Let m = -0.0191 - t. Which is greater: 1/3 or m?
m
Let h = 1822 + -1827. Are -2/165 and h unequal?
True
Let v = 6045 - 5891. Is v greater than 149?
True
Suppose 2*f = o + 4, 5*f = 5*o - 31 + 51. Which is smaller: 15/31 or f?
f
Let c = -730 + 515. Let a be 3 + ((-344)/c)/(2*1). Is 0 at most a?
True
Let f(k) = -12*k + k**2 + 1 - 12 - 6*k - 38. Let q be f(21). Suppose 0 = q*n - 2 + 16. Is n greater than or equal to -2/175?
False
Suppose 0*r = 3*r - 27. Suppose -r*l = -14*l - 10. Let k be ((-1)/l)/1*(-1 - -7). Is -3/8 smaller than k?
True
Let u = -5 - -323. Let g = -318 + u. Which is bigger: g or -8/9?
g
Let f(x) = x**2 + 28*x + 1007. Let g be f(-26). Are g and 954 non-equal?
True
Suppose -7*x + 500 = -3*c, -53*x + 56*x = -c + 212. Is x > 62?
True
Let f = 159 + -45. Let c = -4183 - -4182. Is c > f?
False
Let p = 77 + -63. Let g(v) = v**2 - 15*v - 2. Let n be g(p). Let d be n/(-28) - (-48)/14 - 2. Which is greater: 18/13 or d?
d
Let m be ((-648)/(-288))/(-1 - 381/(-380)). Suppose -5*o + m = 5*u, -o + 333 = 2*u - 2*o. Is u less than 168?
False
Suppose -123 + 151 = -4*l. Let u be (-66)/(-77) + 1*258/l. Which is greater: -37 or u?
u
Let l(u) = 15*u - 74. Let s = 173 + -168. Let r be l(s). Suppose -4*n + 2 = 6. Which is smaller: r or n?
n
Let o = -311.2 + 284. Let m = -30 - o. Let w = 985 - 984. Which is smaller: m or w?
m
Suppose 100 = -26*r + 21*r. Let s be (-1 - -2)/(8/552*-3). Is s smaller than r?
True
Let q = 244 - -26. Suppose -2*p - 6 = 0, -4*p - q - 1087 = 5*v. Are v and -268 equal?
False
Let r(z) = z**2 + 20*z + 53. Let g be r(-40). Which is smaller: g or 855?
g
Suppose 0 = 3*b - 3*r - 2745, -156*b + 157*b = 5*r + 887. Is b < 920?
False
Suppose 5*w + 90 - 125 = 0, -3*z = -w - 2. Which is bigger: -0.5113 or z?
z
Let x = 28 - 21. Let m(i) = i + 14. Let b be m(x). Let k be (7/b*4)/((-26)/(-45)). Is k < 2?
False
Suppose 0 = 91*l + 33107 + 24223. Are 1/8 and l non-equal?
True
Let j be (((-78)/8)/3)/((-14)/1064). Let p = j + -255. Which is smaller: p or -0.12?
p
Let y(f) be the first derivative of -1/3*f**3 + 2*f**2 - 11*f - 43. Let c be y(7). Which is smaller: c or -31?
c
Let h = -48 - 6. Let m = 110 - h. Which is bigger: 0 or m?
m
Suppose -z - 9*x = -12*x - 719, x + 1448 = 2*z. Which is smaller: 714 or z?
714
Let w be ((-5194)/(-63))/(-3970*(-668)/(-48)). Let u = w - 1/1985. Is u <= 0?
True
Suppose -87*v = 48*v + 1002645. Which is greater: v or -7428?
v
Let g(w) = -w - 6. Let f be g(-3). Suppose 0*d - d = -4*l + 13, -5*l + 5*d = -35. Let n be (1 - 15)/(0 + l). Are n and f unequal?
True
Let b = -2.186 - 66.954. Let o = -85.013 - b. Let t = -0.127 + o. Which is smaller: t or -3?
t
Let s = 476 + -446. Let v be ((-2)/6)/(320/s - 11). Which is greater: -8 or v?
v
Suppose -4*c - 10*c + 70 = 0. Suppose o - c*l = -14, -2*o - o = 2*l + 25. Let y be ((-3)/(-2))/(o/(-12)) - 3. Which is bigger: y or -15/8?
y
Suppose 4*y + 10*u - 274 = 12*u, 0 = -y + 3*u + 81. Suppose 2*n = -5*p - 3*n + 55, -4*p + 5*n + 8 = 0. Suppose -y = -p*d + 4*d. Which is smaller: d or 21?
21
Let q be (-984)/(-10) - 76/190. Let k be (-1 + 0 - 7) + 0. Let c be q/(-60) + k/(-6). Are c and 1 unequal?
True
Let a(q) = -q**3 - q**2 + 8*q + 8. Let s be a(-4). Suppose s*z = -7*z - 589. Are z and -18 unequal?
True
Let n = -10876 - -119634/11. Which is bigger: n or 1705?
1705
Let v = -311 - -599. Let m = v + -287.987. Is m < 3?
True
Let t be -1 - (-2)/(14/(-1071)). Let s = t - -152. Let r(y) = y - 2. Let n be r(0). Is n greater than or equal to s?
True
Let w be (-16679)/5304 - 15/(-120). Do -4 and w have the same value?
False
Let h(q) = -q**2 - 30*q + 1. Let y be h(-29). Suppose -y*g = -38*g. Which is greater: g or 11/35?
11/35
Let j = 3.169 - 0.369. Let f = 46 + -31.2. Let o = j - f. Is -2 < o?
False
Let j be 0 + (-3*6)/2. Let r = -223/21 - -25/21. Which is smaller: r or j?
r
Suppose 253*s - 323067 - 1012773 = 0. Does 5280 = s?
True
Let i be (-24)/(-156) + 5664/(-26000). Which is smaller: i or -1?
-1
Let p be 6 + -15 - -11 - -234. Suppose -222*t + 924 = -p*t. Let b be 398/(-6) + (-2)/3. Are b and t unequal?
True
Let k = -0.354 + 1.719. Let z = -0.865 + k. Is 2/35 at most z?
True
Let d be ((-1)/2)/(20/(-200)). Suppose d*v - 750 = 5*j, -20*j + 3*v = -19*j + 160. Is -145 greater than j?
False
Suppose -51*r = 5690 + 43066. Is -958 != r?
True
Let b = -9519 + 9518. Are -147/110 and b non-equal?
True
Suppose 5*r = 19 + 6, 4*r - 1528 = -2*q. Which is greater: q or 745?
q
Suppose 41 = -256*z + 297. Which is smaller: 2/13935 or z?
2/13935
Let k = 6362/7 - 911. Let b = 218 - 429. Let n = b - -210. Is k at least as big as n?
False
Let c = 380851979/199407 - -4/15339. Let b = c - 1909. Is 0 bigger than b?
False
Let o be 5902/130 - (-2)/(-5)*1. Is o greater than 47?
False
Let f(i) = i**2 + 118*i - 30. Let g be f(-117). Let m = 0 - 0. Is m at least as big as g?
True
Let f = 219 + -216. Suppose -4*v - 5*a = 484, -f*v + 5*a = a + 332. Which is greater: v or -117?
v
Let x be -4 - 1484/(-187) - 18/153. Let h(t) = -7*t + 3. Let s be h(2). Let g(a) = -a**2 - 10*a + 14. Let u be g(s). Is x < u?
False
Let b be (11/1 + 83100/(-7600))*(-4)/10. Let t(i) = -i**2 - i + 2. Let x be t(-2). Let z = -1 - x. Do z and b have the same value?
False
Suppose -4*p = 2*d, -5*d - 12 = -4*p + 2*p. Let k be 0 - ((-51)/6 - d). Let g = 4 + 3. Is k less than g?
True
Suppose -21*z = -24*z. Suppose 0 = 3*f - 5*s - 42 + 10, z = -4*f - 4*s. Suppose -6*d = -2*k - 3*d - 107, -d + 209 = -f*k. Which is greater: k or -50?
-50
Let c be 808481/110 + -4 - (-2)/4. Let d = c + -7346. Is 0 <= d?
True
Suppose p - 12 = -2*u, u + 3 = 2*p + 4. Suppose 3 = 48*v - 51*v. Let g be v/u*300/(-156). Do g and 1 have different values?
True
Let x be 2/19 + 50702/266. Let k = x - 191. Which is smaller: k or 7/4?
k
Let b = 0.2 + -47. Let z = -92.8 - b. Is z less than -2/7?
True
Let t = 3919 - 3702. Which is smaller: t or -3/2?
-3/2
Let b = 30 - 28. Suppose -20 = -3*d - b*d. Let i be (d + -4 - -14)/22. Does i = 0?
False
Let q = 676/77 + -73741/462. Which is smaller: -151 or q?
-151
Let t be 4 - -1 - 15/((-1680)/(-742)). Is 5 bigger than t?
True
Suppose 0 = -2*n - 1 - 3, -4*w - 4*n = 48. Let b be ((-27)/1)/(3/4). Which is smaller: w or b?
b
Suppose 9*b - 31*b = 0. Suppose u - 9 = -2*m, -4*u + 0*m - 2*m + 18 = b. Which is smaller: 0.1 or u?
0.1
Let c = -201 - -208. Let s = -13.6 + c. Which is smaller: -1 or s?
s
Let z be (117/(-44))/(((-180)/(-2176))/(-15)). Let o = z - 482. Which is bigger: o or 16?
16
Let z = 18.8 - 19. Suppose 0 = -6*g + 4 + 2. Let i(u) = u**3 + u - 1. Let c be i(g). Is z equal to c?
False
Let x be 2/7 - (-178787)/(-300321)*-3. Let n = -1/4086 + x. Is 2 < n?
True
Let m(d) = 2*d - 27. Let b be m(15). Suppose 2*v + b*s = -8, -3*v = 2*v + 2*s + 20. Let p be v + 14*(-1)/(-2). Is 3 greater than p?
False
Let m(q) = 751*q + 55. Let k be m(5). Let p = k + -156228/41. Is p < -1?
False
Let o(t) = -t**3 - 22*t**2 - 41*t - 46. Let s be o(-20). Let m = -48 + 45. Let x = 3.2 + m. Which is greater: x or s?
x
Let p = 108.964 + 0.036. Let l = 137 - p. Which is greater: l or -2/5?
l
Let f be (-312)/((-29)/4 - -5)*-2. Let n = -277 - f. Which is greater: n or -121?
n
Suppose -2*x + 5*l - 11 = 0, -6*l = -3*x - 4*l. Let n(t) = -t**2 - 2*t + 8. Let j be n(x). Which is smaller: j or -1/4?
-1/4
Let r = 6990 - 7005. Which is smaller: r or -135?
-135
Let x = -248 + 247. Is x greater than 39/11?
False
Suppose -4*a - 4 = -80. Suppose -4 + a = 5*x. Let u be (-3)/x + -3 + -1 + 3. Which is smaller: -5/3 or u?
u
Let l = 5560 + -3815. Do l and 3487/2 have different values?
True
Let g be 33 + 0*1/2. Let k be 3016/58 + -4 + -57. Is g != k?
True
Let b be (524/(-144) - -3)*(-18)/(-3069). Let c be (-4)/(-10) - (-842)/(-1980). Let l = b - c. Does 1 = l?
False
Let u = -10116.18 + 10116. Let q = 0.3 + -0.5. Are u and q unequal?
True
Let z(g) = g**2 + 10*g - 18. Let l be z(-6). Suppose -4*n - 68 = -2*i, -3*i + 3*n - 2*n + 107 = 0. Let q = i - 79. Which is greater: q or l?
l
Let l = -5.3 - -4.2. Let v = 1104/7 + -158. Is v > l?
True
Let w(y) = -2*y**2 - 15*y - 21. Let b be w(-6). Let z be (2/b)/(48/792). Suppose 0 = -5*k + 16 - 66. Which is smaller: k or z?
z
Let x = -183