y) = 3*y**2 - 4*y + 7. Let g be l(3). Let h = z + g. Does h = 28?
True
Let m = -151.9 - -152. Let i = -253 - -231. Which is bigger: i or m?
m
Let w(z) = 3*z**3 + 5*z**2 - 48*z + 272. Let k be w(7). Do k and 1211 have different values?
True
Let b = -139.933 - -7.963. Let v = b - -132. Is 15 greater than v?
True
Let q = 586 + -569. Let x be (-17 + q)*(-3)/6. Is -1/97 smaller than x?
True
Let i be 3*(-5)/4*498/18. Let z = 104 + i. Which is bigger: z or 1?
1
Let p = -43143 - -43639. Is p not equal to 496?
False
Let k be 312/65*(-36)/(-8). Is 22 > k?
True
Let k = 1151516 - 4581969/4. Is 6024 greater than or equal to k?
True
Suppose -29 + 125 = -4*c. Let r be (-78)/c + (-3)/(-4). Suppose -r*s - 8 = -5*j + 3*j, -s + 7 = 4*j. Do 12/13 and j have different values?
True
Let l = 6.69176 + -0.24576. Is l <= 2/5?
False
Let n(s) = s + 8. Let c be n(-8). Suppose -2*o + k + 25 = 0, -o + 2*k = -c*o - 20. Let l be (55/o)/11*-2. Do l and -4 have different values?
True
Let x(i) = -i**3 - 4*i**2 - 11*i - 46. Let d be x(-4). Suppose -2*w - 4 = -w, -2*p + 4*w = -34. Let k(f) = -f + 17. Let y be k(p). Which is bigger: d or y?
y
Let q(c) = -25*c**2 - 18*c - 64. Let m be q(-3). Is -469/2 not equal to m?
True
Let q = -95/53 - -22347/12349. Is q != 0.2?
True
Let b = 63 + -135. Let j = 40 + b. Let t = 33 + j. Which is bigger: t or 14/9?
14/9
Let w = 3910 + -3728. Is w != 194?
True
Suppose 0 = 2*x - 5*y + 35383, -28*y = -33*y - 25. Which is smaller: -17705 or x?
-17705
Let m be (2 + 164/8)*7/((-3990)/936). Which is smaller: -36 or m?
m
Suppose 7633 = -7*s + p, 2*s - 2*p + 2190 = -4*p. Which is smaller: -1087 or s?
s
Let v(h) = -h + 10. Let x be v(7). Let b be 2*x*2/(-12). Let m be (-2)/(-6)*(-18)/(-16). Is b smaller than m?
True
Let c = 1.59 + -30.69. Let t = c - -28.6. Is t greater than or equal to 8/13?
False
Suppose 0 = -5*c + 2 + 18. Let i be -34 - 4/c*(0 + 0). Is i at least as big as -34?
True
Let a = -0.39 + 1.31. Let s = 0.79 - a. Is -0.5 at most s?
True
Let x = 91 - -17. Let b = -2771 - -2663.1. Let s = b + x. Is s < 52?
True
Let o = -5252/35 + 150. Let u = -130 - -132. Suppose 5*b + 6 = -3*q - 3, -u*b + 2*q = -6. Is o less than b?
True
Let g(z) = -z**3 - z**2 + 2*z - 51. Let t be g(0). Let w = 105 + t. Which is smaller: w or 56?
w
Let h(r) = r**2 - 30*r + 53. Let o(l) = l**3 + 6*l**2 - 14*l - 27. Let j be o(-7). Let t be h(j). Let x = t - -115. Which is smaller: -34/5 or x?
x
Let j(f) be the second derivative of 7*f**4/12 + f**3/2 - f**2/2 + 12*f. Let g be j(2). Let q = -208 + 208. Is q greater than or equal to g?
False
Let y = -3010 - -2986. Are -10 and y non-equal?
True
Let q = -62573 + 937891/15. Let m = -47 - q. Let u(h) = h**3 + 4*h**2 - 5*h. Let z be u(-5). Is m greater than z?
False
Suppose 5 = -l - 1. Let o(g) = -21*g + 52. Let x be o(8). Let k = -124 - x. Is k equal to l?
False
Let u be (6/44)/((-2)/(-4)). Let n be ((9450/24)/7)/(399/10). Let f = n + 12/133. Which is smaller: f or u?
u
Let j = 0.0566 - -48.6434. Let z = -46 + j. Let o = -1/2 - -1/6. Is z at most as big as o?
False
Let f = 19 + -18.94. Let o = -1715.01 - -1715. Which is smaller: f or o?
o
Let d(h) = h - 26. Let f be d(11). Let b be 58/(-6) + f/45. Are -9 and b non-equal?
True
Let n(q) = -2*q + 5. Let o(m) = 1. Let z(t) = 2*n(t) + 10*o(t). Let k be z(5). Which is bigger: 1/158 or k?
1/158
Suppose 32*b - 37*b = -160. Let u = 30 - b. Are -10/19 and u nonequal?
True
Let f = -46499821/29 + 1603629. Let j = f - 187. Let s = 154/87 + j. Which is smaller: 1 or s?
1
Suppose -l = -w - 0*w, w = 3. Suppose 17 = -4*o + l*u, -26*o + 21*o + u = 24. Which is smaller: -52/9 or o?
-52/9
Let c = -71.5 - -10.5. Let w = 60.9 + c. Let x = 1747/110035 + 2/1865. Which is bigger: x or w?
x
Let w = 11554.6 - -235.4. Is -2/7 < w?
True
Let p = 4849/480 - 152/15. Suppose -2*u + 4*i = -14, -2*u + 4 = -u + i. Suppose -3*z + u = -8*z. Does p = z?
False
Let c = -26299 + 26298.8. Which is bigger: c or -460.1?
c
Let y be (12/(-64))/(31785/(-20)). Is y greater than 1?
False
Let n be 6/4*16/6. Suppose n*c - c + 3*c = 0. Suppose 0 = -4*g + 2*l - 22, -4*g - l = -c*g + 13. Which is bigger: -3 or g?
-3
Let q = -111/220 + 1/220. Let j(r) = -2*r + 17. Let i be j(15). Let s = i - -11. Which is greater: q or s?
q
Let m = 3901 + -3901.22. Let f = -6.006 - -0.006. Which is smaller: m or f?
f
Let h(v) = v**3 + v**2 - 7*v + 10. Let o be h(-6). Let m be (o/(-36) + -4)/1. Let k be (-10)/(-12)*9/(-10). Do m and k have different values?
True
Let r = -183 + 139.3. Let j = r - 2.3. Let u = -45.9 - j. Which is smaller: u or 5?
u
Let p = 50 + -29. Let x be (-3 + 3*p)/(-1). Let j = 3803 + -3864. Which is greater: j or x?
x
Let v be -3 - (-4 + 152/212). Let r = v - 781/2385. Is 1 at least as big as r?
True
Let l = -4573 + 3358. Which is bigger: l or -1216?
l
Let j be 6/88 + 9/12. Let q(l) = 5*l + 1150 - 1148 - 4*l. Let m be q(-1). Which is bigger: j or m?
m
Let n be 15 + -2 - 2/((-3)/3). Let r(x) = -15*x. Let v = 1 - 2. Let f be r(v). Is n equal to f?
True
Let y = -349.29 - -351. Let c = 5.71 - y. Is c <= -1/5?
False
Let m = 37.08 + -8.08. Let r = -570 - -598.96. Let a = m - r. Which is greater: a or -2/7?
a
Let q = -0.3983 + 3.3983. Which is greater: q or -1870/9?
q
Suppose -9 + 21 = 3*u. Suppose 0 = 3*f + 3, f = -u*x + 3 + 4. Let o be (x/3)/(0 + 2). Is o greater than 0.04?
True
Let p = 0.063 + 62.937. Let l = p + -8. Let a = -56 + l. Do -0.31 and a have the same value?
False
Let f be 248/3 - 8/(-6). Suppose -4*j + q - 66 = 3*q, 2*q + f = -5*j. Let i = -73/4 - j. Is -6 at least as big as i?
False
Let b = 6951262 - 991062277130/142573. Let y = b - -3559192400/998011. Let l = -3572 + y. Which is greater: l or -6?
l
Suppose -2296*a + 2326*a = -20370. Is -679 not equal to a?
False
Let d be 4/(-12) + 2/3. Let a = 1/8247 + -1025378/8247. Let k = a + 125. Is d > k?
False
Let f be 3/4 + 17/68 - 61. Let r = f - -105. Let j be (-6)/10 - (-699)/15. Is j not equal to r?
True
Suppose 19*o + 4*o - 736 = 0. Suppose -b + 5*k - 7 = -o, 4*k = 2*b - 20. Is -2/299 > b?
False
Suppose 0 = 3*a + 5*y + 18, 0 = 4*a + y + 11 - 4. Let d(s) = s**3 - 2*s**2 - 4*s - 2. Let h be d(a). Which is greater: 3/508 or h?
3/508
Let b(o) = o**3 + 25*o**2 - 21*o + 123. Let i be b(-26). Let q be -1*530/((-30)/(-6))*i. Which is smaller: 743 or q?
q
Let v = 816 + -6515/8. Let m be 2*(-8)/(-64)*4. Which is smaller: m or v?
m
Let m be (1 + 6 + -2)*9/15. Suppose 200 = -o - m*o. Let q be o/(-15) - 4 - 1/3. Which is smaller: q or -3/4?
q
Let a be ((-52)/(-182))/(18/(-28))*-9. Suppose -5*r - 2*y - 14 = 0, -y - 13 = 8*r - a*r. Is r at least as big as -22/5?
True
Suppose -45*s + 58*s + 8613 = 475. Which is greater: -2/15 or s?
-2/15
Let t be -2 - (6 - 7) - -186. Let u = 1109/6 - t. Which is smaller: -4 or u?
-4
Let a = 1508 + 501. Which is smaller: a or 2008?
2008
Let r = -1479 + 1610. Is r at least as big as 5?
True
Let m = -14.5119 - -0.5119. Let a = -40.9 - -27. Let u = a - m. Which is smaller: 1/36 or u?
1/36
Let w = 0.7 + 0.3. Suppose 265*t + 2791 = 103*t - 8101 - 9034. Is t >= w?
False
Let x be 2/(-1) + -25 + 27. Suppose x = -313*z + 316*z - 48. Let i(r) = r**3 + r**2 + r + 11. Let k be i(0). Is k >= z?
False
Let l be (-143532)/(-21735) + -7 + 2/(-14). Is -1 equal to l?
False
Suppose 3*x = 8*k + 128, 5*x + 1161 = 1201. Suppose -3*c - 61 = 4*q, -2*q + 2 - 31 = c. Are k and q nonequal?
False
Let h(r) = -r**3 + 13*r**2 + r + 6. Let s be h(13). Suppose 3*b + 28 = s. Let x = b + 45. Do -1/4 and x have different values?
True
Let f = 622/1513 - -19149083/31773. Let p = f + -603. Let y = 0.4 + 6.6. Is p equal to y?
False
Suppose -10*a = -12 + 32. Let u = 19 + -13.1. Which is smaller: a or u?
a
Let a = -44.2 - 76.58. Let r = 121 + a. Let d = 0 + 0. Which is smaller: r or d?
d
Let t = 4062 + -2575. Do t and 1485 have the same value?
False
Let s = -2494 + 2496.8. Is s >= -13?
True
Suppose -619*g = -648*g + 27405. Which is greater: g or 950?
950
Let k be -10 + -1 + (2 - 3/1). Let y be (1 + -1)/1 - 24/k. Suppose -r - 56 = y*h, 43 = 5*r + 4*h + 305. Which is bigger: -49 or r?
-49
Suppose -4*x - d = -4, 5*d + 2 = -x - 16. Suppose x*u - 21 = -123. Let r = -50 - u. Are 2/21 and r unequal?
True
Let z(l) = 7*l**3 + 12*l**2 - l - 8. Let p be z(5). Which is bigger: 1161 or p?
p
Let d = -5.5 + -18.5. Let q =