7. Let z(t) = -t**3 - t**2 + t. Let m be z(0). Suppose m = -4*x - 4*r + 4, 0 = -3*x + 4*r + 3. Is i != x?
True
Let u be 7/21 + 132/9. Suppose -u = -5*p + 4*a - 3, 3*p + 9 = -3*a. Does p = 1/64?
False
Let m = 44 - 43. Let s = m + -32. Does -1/3 = s?
False
Let o be -1 + (-2)/1 - (-7 + 474). Is o less than -470?
False
Suppose 180 = 5*o - 5*w, -4*o + 48 = 5*w - 51. Suppose 30*a = o*a - 2. Suppose -24 - 12 = a*g. Which is bigger: -17 or g?
-17
Let t = 30 + 63. Is t at most as big as 91?
False
Suppose i + 404 = 3*t, 37*t + 139 = 38*t + 4*i. Is 136 != t?
True
Let q(i) = -6*i + 4. Suppose -10 = -17*v + 12*v. Let u(z) = 13*z - 9. Let l(b) = v*u(b) + 5*q(b). Let g be l(-5). Is 23 at least as big as g?
True
Let g be 10/2 - (0 - 1). Let t = -209 - -214. Let w be t*(-1)/g*-1. Is 1 not equal to w?
True
Let x = 271 - 3517/13. Which is bigger: -1 or x?
x
Let u = -89.06 - -88.56. Let n = 112/11 + -104/11. Which is bigger: u or n?
n
Suppose 129*v + 25 = 134*v. Suppose -v*a = 16 + 64. Are a and -9 equal?
False
Let l be -1 - 11 - (-7 - -9). Which is bigger: l or -10?
-10
Suppose -2*k = 2*k. Suppose -5*b + 4*y + 34 = 0, -4*b - y + 23 = -0*b. Suppose b*l - 4*l + 2 = k. Which is bigger: -2/49 or l?
-2/49
Let p be (-1)/3*(-18)/2. Suppose -p*d - 16 = 5*v, 4*d + 7*v = 2*v - 18. Let m be d/4*(-6)/1. Is 3 less than m?
False
Let s = -608 + 607. Is s at least 11/227?
False
Suppose 26*j - 24274 = 79*j. Is j bigger than -458?
False
Suppose 22 = 5*g - 3*a - 10, -4*g + 24 = -2*a. Suppose o + 3*o - z = 32, -g*z = 3*o - 5. Which is smaller: o or 8?
o
Let a = -537 - -537. Which is bigger: -17.6 or a?
a
Suppose v - 3*f - 13 = -5*f, -v = f - 9. Suppose v*t = 5*x + 50, 0*x = -4*x + 3*t - 35. Is x at least as big as -6?
True
Let i(m) = m**2 + 6*m + 2. Let u(o) = o**2 + 2*o + 5. Let h be u(5). Suppose h = 3*n - 6*n - 5*k, 3*k = 3*n. Let w be i(n). Is -3 not equal to w?
False
Let q = 31 + -25. Let v = q + -32. Let n = v - -23. Which is smaller: -9/5 or n?
n
Let j = 20 + -22. Let a(t) = -4*t - 7. Let l be a(j). Suppose 0*v = -2*v + 3*h - l, -4 = -v + 3*h. Are -5 and v equal?
True
Let g = -0.16 - 0.02. Let o = g - 7.82. Is 0 bigger than o?
True
Let g = -2.2 + 3. Is g != -0.05?
True
Suppose 4*k + 130 = -3*l - 90, 0 = -3*k - 5*l - 176. Is k <= -40?
True
Suppose -5*a = -3*t - 10, a - 2*t + t - 4 = 0. Let g = -78 + 65. Let v be -10 + 10 + (-3)/g. Is v smaller than a?
False
Let c be (-4)/(-34) - (-5 - -5). Let g = 23/51 - c. Suppose 1 = z - 2*z + 2*d, -2*z - d - 2 = 0. Is z bigger than g?
False
Let a(o) = 3*o**2 - 5*o. Let c(k) = -5*k**2 + 6*k. Let g(d) = -4*a(d) - 3*c(d). Let m be g(-1). Let y = -49982/51 + 980. Does m = y?
False
Let n = 932 - 933. Which is smaller: 1/403 or n?
n
Let a(l) = l**2 - 40*l - 175. Let r be a(44). Are -131 and r non-equal?
True
Let b be (2 - -4)*(-56)/2499. Which is greater: b or 0?
0
Let z be (9/(-18) - -1)/(1/766). Which is smaller: 1 or z?
1
Suppose 5282 = 10*b - 1168. Which is smaller: b or 646?
b
Let w = 135 + -135.81. Which is smaller: w or 0.1?
w
Let b be ((-190)/20 + 8)/(-3). Let s = 9 - 5. Suppose s*o - 4 = -0*o. Which is bigger: b or o?
o
Suppose -2*x = -4*c - 42, 0 = 4*x - 5*c - 65 - 16. Let s = 8 + -4. Suppose s*u = -u + 90. Is u <= x?
True
Let a = 42128 + -464602/11. Does -108 = a?
False
Let k(t) = 5*t**3 - t + 1. Let j be k(1). Suppose h - 81 = 4*v - 20, -h + j = 0. Which is bigger: v or -11?
-11
Suppose -3*n - z - 2*z = 6, 5*z = 5. Let d be (n/(-60)*-6*-4)/4. Is d bigger than -1/2?
True
Let h be 1122/(-4) - (-2 - 1). Let f = h + 286. Suppose u - 11 = -3. Which is bigger: u or f?
f
Suppose 0 = 2*m - 0*m - w + 13, m - 1 = -2*w. Which is smaller: -19 or m?
-19
Suppose -5*b + 38 = 2*y, 3*y = -5*b + 2*y + 39. Let p = -26 + b. Let f be 8/(-36) + 2/p. Which is smaller: f or 0?
f
Suppose -3*b + 2*b = 0. Let y = -21 - -21. Let q = b + y. Are q and -2 non-equal?
True
Suppose -17 = 4*v + a, -5*v + v + 5*a = -13. Suppose 0 = 19*k - 12 - 26. Let t be (1 - k - v) + -2. Which is greater: 12 or t?
12
Let h = 2027/770 - 5/154. Is h smaller than 1?
False
Suppose -4*k + 4*m = -44, 23 = k + 2*k + 2*m. Let f be 2/2*k/3. Let r = -3 + f. Which is smaller: -4/3 or r?
-4/3
Let j = 32 + -32. Let x be 4/24*15/2. Does x = j?
False
Let n be 15/(-18)*(-2)/(-130). Let s be (-1 + (-9)/(-2))/((-4446)/(-228)). Let p = s + n. Which is bigger: -0.01 or p?
p
Let v be 0 + (-3 + 2 - -3). Suppose -v*k = 5*i - 169, 4*i - 4*k = k + 122. Let m = i + -32. Which is smaller: m or -2/9?
-2/9
Let y(q) = -2*q - 2. Let k be y(-5). Suppose -k*m + 6*m = 0. Which is greater: 10 or m?
10
Let q be (-4)/(-3) - 4/12. Let w be -4 + q + 1/((-3)/(-39)). Suppose -5*r = 3*p - 9, -4*r - 1 = -p + 19. Which is greater: p or w?
w
Let w(a) = -a**2 + 10*a + 2. Let u be w(8). Let d = -6 + u. Suppose 3*c + 0*c + 2*h - 26 = 0, 3*h = 2*c - 26. Is d equal to c?
False
Let k be ((-240)/(-42) - 6)/(1/(-49)). Suppose 0*l + l = -38. Let y be l/k + -11 + 14. Is 1 less than y?
False
Suppose -12 = 5*o + 2*f + 3, 4*o - 3*f = 11. Which is bigger: 2/43 or o?
2/43
Let c = -6 + 3. Let f = c - -3. Let i = -1369/6 + 229. Which is smaller: f or i?
f
Let d = -25.6 - -25.7. Is 960 less than d?
False
Let j = -3 + 9. Let p(c) = -c + 3. Let q be p(2). Let i be q/((j/15)/(-2)). Which is smaller: 0 or i?
i
Suppose -70*t = -61*t + 18. Let z = -5 - -2. Is z greater than or equal to t?
False
Let i(h) = h**2 - 10*h - 11. Suppose 0 = 2*g - 4*u - 34, -5*u + 1 - 16 = 0. Let m be i(g). Which is smaller: m or 4/7?
m
Let o be -1 - (-7)/9 - (-302)/(-18). Let t be 22/(-66) - o/(-3). Is -36/7 bigger than t?
True
Let u = -1010 + 1211. Are u and 198 non-equal?
True
Let n be 0 + 3 + 40/5. Let b = n + -4. Suppose -4*w = -b*w. Is w at most -4/5?
False
Let l = -3329 - -9892/3. Let w = -31 - l. Which is smaller: w or -11/3?
-11/3
Let q be 4*65/(-52) - 798/(-158). Is q less than or equal to 1?
True
Let r = 51 + -49. Let b = 0 + r. Which is greater: b or -0.3?
b
Let k(q) = q**3 + 6*q**2 - 3*q + 3. Let y be k(-5). Let v = y + -68. Does -25 = v?
True
Let w = 1411.6 - 192.6. Which is smaller: 0 or w?
0
Let l be (-6)/(-292)*(-28)/42. Which is smaller: -1 or l?
-1
Let i = -12128 - -4645027/383. Is i bigger than 1?
False
Let b(o) = o**2 - 59*o + 27. Let i be b(58). Is i > -222/7?
True
Let d = 44 + -39. Suppose 9 = d*w - 3*v - v, 4*w = -5*v - 1. Is -1/3 less than w?
True
Suppose 0 = -m - 4, -m - 18699 = -3*i + 4*i. Let y = i - -112619/6. Let q = y - 75. Which is smaller: -1 or q?
-1
Suppose 0 = 4*o + o - 245. Which is smaller: o or 50?
o
Let c = 8.1 + -15.4. Let b = 6.63 - -0.37. Let w = c + b. Which is greater: 0.04 or w?
0.04
Let s = 3389.99 - 3365. Let d = s - 1.19. Let n = -23 + d. Which is smaller: n or 0.1?
0.1
Let r = -47 + 139/3. Suppose -3 = 2*b - 1. Let k be 0/(0 - b) + 2. Which is bigger: r or k?
k
Let z = -618010193/122 + 5065704. Let u = -17/244 - z. Let j = -47 - u. Is j equal to -13?
False
Suppose 53*q = 54*q + 156. Which is smaller: -157 or q?
-157
Let i = 713 - 712.8. Is i bigger than -257/5?
True
Let o = 7096 - 7152. Let n = 56 + -113. Is o less than or equal to n?
False
Let h be (-1230)/(-189) + ((-32)/18)/8. Suppose -u + 6 = -0. Which is bigger: u or h?
h
Let p = -1/587 - 8801/2348. Let s = -5606 - -5604. Which is smaller: p or s?
p
Let c be (-3)/((-9)/5) + (-400)/(-30). Is c < 6?
False
Let u be 3 - -12*12/(-72). Let j = 345.97 + -348. Let g = j + 0.03. Is u less than g?
False
Let p = -0.8012 - 0.1988. Let r = -4 + 5. Let k = 2 + r. Which is smaller: p or k?
p
Let p(h) = h**3 - 33*h**2 + 32*h - 16. Let u be p(32). Let z(d) = -d**2 - 18*d - 40. Let r be z(u). Is r greater than 3?
False
Suppose -3 = 3*r + 33. Let l = 24 + r. Suppose m - l = -m. Which is smaller: 3 or m?
3
Suppose 4*y + 4 - 24 = 0. Let h be (-8)/(-5)*25/((-25)/y). Which is smaller: h or -6?
h
Let n be 6 + -1 + -2 + (1 - 6). Which is greater: n or -2/17?
-2/17
Let k = 9816 - 716533/73. Which is smaller: -1 or k?
-1
Let w(n) = -5*n**2 + 2 - 1 - n - 8 + n**3. Let f be w(5). Let p = f + 10. Which is bigger: p or 0?
0
Suppose -r + 92*l = 95*l + 3, -3*r - 4*l = 9. Is -54/35 at least r?
True
Let o(j) = j**2 + j - 8. Let a be o(-4). Suppose -4*m - 16 = -a*r, -m + 5*m - 2*r = -10. Suppose -4*s + 9*s + 5 = 0. Do s and m have the same value?
True
Let o(a) = -5*a**2 + 2*a - 8. Let k be o(-4). Le