2 = -2*i. Let r be 61/(-2) + (2 - i/(-4)). Is r at least -34?
True
Let g = 2.28 + -0.78. Let m = 1.562 - g. Let q = 1.062 - m. Is 3/14 at least as big as q?
False
Let r = -15 + 21. Suppose -3*c + c + r = 0. Suppose 24 = -c*i - 15. Which is greater: i or -12?
-12
Let q(n) = -83*n + 496. Let c be q(6). Which is smaller: c or -16/9?
c
Let u be -953*(-2)/(-16) + (-133)/(-1064). Which is smaller: u or -25?
u
Let z be (-812512)/(-3720) + 12/(-9). Let f = z - -1968743/4495. Let p = f - 655. Which is smaller: p or 0?
0
Let d = 12.53 + 0.67. Let f = -64.8 - d. Let s = f + 78. Which is greater: 1/8 or s?
1/8
Let f = -11803 - -106229/9. Which is greater: 447 or f?
447
Suppose -4*i - 64 = 4*r, -r - 3*i - 28 = r. Suppose -287 = o - 969. Let a = o + -684. Which is bigger: a or r?
a
Suppose 43*g + 1156 = -7272. Do g and -195 have the same value?
False
Suppose 2 = -5*z + 7. Let h = -101570 - -101667. Is z not equal to h?
True
Let q(b) = -81*b + 811. Let p be q(10). Which is bigger: p or 73/75?
p
Let h be (-75)/(-125)*-1*28/48. Let o be -10 + 9 + (0 - -1). Does h = o?
False
Let n = 481 - 483. Let p be (819/6)/3 + 1. Let x = 137/3 - p. Does x = n?
False
Let t = 15798 + -15749.065. Let b = t - -0.065. Which is greater: 2/13 or b?
b
Let c = 0.0582 + -326.0582. Let f = c + 325.719. Let y = f + -0.119. Which is smaller: y or 0.1?
y
Let z(c) = -c**3 + 3*c**2 + c - 5. Let f(x) = x**3 - 3*x**2 + 6. Let l(o) = 4*f(o) + 5*z(o). Let h be l(4). Suppose 0*p = h*p + 45. Is -17 not equal to p?
True
Suppose k + 1 = 2*k. Let f = 12448 + -12012318/965. Is f greater than k?
False
Let k = -781 - -762. Do k and -4 have the same value?
False
Suppose -2*r + 8 + 4 = 0. Suppose -r = 3*u - 3. Let v(s) = -2*s**3 + s**2 - 2*s - 2. Let g be v(u). Which is smaller: g or 11/4?
11/4
Suppose 5*w = k + 95, -85*k + 86*k + w + 143 = 0. Let z(d) = 26*d - 4. Let j be z(-5). Which is bigger: j or k?
j
Let g = -220 + 78. Let f = -204 - g. Which is smaller: -61 or f?
f
Let v = 64734/107 - 605. Let l = -123 + 124. Which is smaller: l or v?
v
Let o be 10/95 + (-12)/1197 - 14080/(-9156). Which is greater: 2 or o?
2
Suppose -204 = 3*j - j + 2*o, o = 1. Let u = 11 + -10.9. Which is greater: j or u?
u
Suppose -4*c - 28 = 0, 3*c = -g - 99 - 72. Is -147 less than or equal to g?
False
Let y be -2 + (0 - 0) - (3 - 52680/200). Which is smaller: 258 or y?
258
Suppose 0 = -120005*b + 120008*b. Is b at least 1/5772?
False
Let u = -20289796/1203 + 16866. Let b = 6209/116691 - u. Let h = 599/1552 + b. Do -1 and h have the same value?
False
Let i be (-4)/(-1) - (-13 + 11). Let v be ((-2)/i)/((-10)/90). Suppose v*u - 16 = -u. Which is smaller: 15/4 or u?
15/4
Let y = 210 + 111. Suppose 0*j - f = 3*j - 960, -f + 1602 = 5*j. Is j greater than y?
False
Suppose -125 - 25 = 5*d. Let a = d - -53. Let j = a + -24. Is -2/99 at least j?
True
Let h = -7.068 + 7.118. Which is smaller: h or 17?
h
Let z be (-16)/4 + 1 + -184 + 177. Let j(v) = v**2 - 7*v + 8. Let a be j(6). Are z and a equal?
False
Suppose 0 = -2*x + f + 8, 6*x = x - 3*f + 9. Suppose 28*o - 15*o + 17*o - 1500 = 0. Suppose 0 = -x*z - o - 40. Which is smaller: z or -32?
-32
Let f(x) = 98*x - 413. Let a be f(10). Which is smaller: a or 557?
557
Let y = -0.147 + -0.473. Let b = -2.62 - y. Is b > 6?
False
Let k(w) = w - 7. Let b be (-3 - -3)*(2 - 3)/1. Suppose b = t + r + 2, r - 8 = -r. Let d be k(t). Which is greater: -12 or d?
-12
Let n(l) = -l**3 - 15*l**2 - 40*l - 364. Let q be n(-14). Which is smaller: q or -1/43?
-1/43
Let n(m) = -119*m - 184. Let f be n(-7). Let g = f - 699. Are g and -44 equal?
False
Let o be ((-22)/(-143))/((-42)/(-91)). Is o > -0.505?
True
Suppose -144 = -25*m - 44. Suppose -3*r + 11*s = 6*s - 333, -m*s = -3*r + 333. Is r bigger than 111?
False
Let d = -1416 - -1415.925. Which is greater: -0.9 or d?
d
Let q = -114 - -114. Let a(t) = -6*t - 1. Let w be a(q). Let u be (2/(-9) - 258/54)*w. Which is smaller: 8 or u?
u
Let y(m) = -5*m + 3. Let f be 4 - 0 - (0 - -4). Let p be y(f). Suppose 0 = -5*w + 3*r - 84, p*w + 5*r = -4 - 26. Is w greater than -17?
True
Let s(h) = -h**2 + 10*h - 17. Let a be s(8). Let m be (a/(-1))/(7/(-399)). Is m > -57?
False
Let r(z) = 92 + 0*z**2 - 4*z**2 - 88 - 3*z + z**3. Let a be r(-3). Is -49 > a?
True
Let t = 210 + -73. Let k = t + -137.18. Which is greater: k or 0.4?
0.4
Suppose l - 2*h = h - 4, 0 = -5*h + 10. Let f be (1/l)/(2*(-1)/(-284)). Let v = 613/9 - f. Which is bigger: -3 or v?
v
Let n(f) be the first derivative of -7*f**2 - 152*f + 47. Let l be n(-11). Is l smaller than -17?
False
Let i = 246 + -246.119. Let v = 0.109 + i. Let t = v - -0.11. Which is bigger: 0 or t?
t
Let z = -144834/7 + 20534. Let m = 18702/119 + z. Is m bigger than 2?
False
Let k be 12/(-15) + 1 + 1962/15. Let j be 243/6*2*2. Suppose 0 = g + 3*g - 3*p + k, -5*g - j = -2*p. Is g > -32?
False
Let n be (4/(-42))/(6*(-82)/(-27)). Which is smaller: 0 or n?
n
Suppose 5*y - 20 = -5*g, -2*y = -4*g + 3*y - 20. Is g at most as big as -42/67?
False
Let b = 10881 + -10887. Which is smaller: b or 0.036?
b
Let l(r) = -35*r - 49*r - r**2 + 100*r + 10. Let i be l(16). Suppose -i*v + 21*v + 11 = 0. Which is bigger: 10 or v?
10
Suppose 26*j - 39*j = 13689. Is -1053 > j?
False
Suppose -4*u + 54 = -2*i, -5*i - 38 = -2*u - 7. Let m be (-55)/(-6 + 1)*(-1)/1. Let x = m + u. Which is greater: x or -4?
x
Let a be (-27)/18*(-7)/46074. Are a and -1 non-equal?
True
Suppose 2*n - 3*a - 12 = 0, 4*n - 8*n = a + 4. Suppose 68 = -2*o - n*o. Let y be o/(-51) - 35/3. Is y bigger than -8?
False
Let t = 1307 + -60121/46. Is t less than or equal to -90?
False
Let c(z) = -50*z + 745. Let a be c(15). Which is greater: -228/65 or a?
-228/65
Suppose -26132 = -720*r + 164*r. Is 46 greater than or equal to r?
False
Suppose 29*z - 11*z - 108 = 0. Let o be (z/(-20))/(120/(-160)). Which is smaller: 0.137 or o?
0.137
Suppose -2*o - 5*a = -13, 3*a + 1 = o - 22. Let y be (-1)/(-5) - (-77)/o. Which is smaller: y or 7?
y
Let o = 33.24 - -22.5. Let v = 0.74 - o. Let f = 53 + v. Which is smaller: 1.9 or f?
f
Let m = 420176 + -40336483/96. Let z = -15/32 + m. Does 5 = z?
False
Let z = -962 + 894.92. Let y = -2.08 - z. Is 0 smaller than y?
True
Let u(h) = -3*h + 151. Let o be u(45). Suppose -5*f + 27 - 5 = 2*c, -5*f = -4*c - o. Is c greater than 4?
False
Let h(w) = 3*w + 8*w**2 - 7*w + 52*w**3 + 6 - 53*w**3 - 4*w. Let g be h(5). Suppose -4*i = -2*o + 70, -i - 181 = -4*o - g. Are 36 and o nonequal?
True
Let x(o) = o**3 + 36*o**2 - 43*o - 220. Let d be x(-37). Is 54/53 smaller than d?
True
Let u(c) = -11*c + 9. Let s be u(-5). Let n = s - 123. Let y = -60 - n. Is y less than -2/13?
True
Let h = 614/483 + -38/23. Which is smaller: -11 or h?
-11
Suppose 4 = 8*r + 13 - 1. Is 2/24179 > r?
True
Let t be (-2*3/3 + 1)*18. Let j be t/64*-4*1/(-48). Let u = 283/1152 + j. Which is greater: -1 or u?
u
Suppose 3*b - 17*b - 9*b = -368. Is b at least 1/3?
True
Suppose -4*a = -4*g - 4, 4*g + 3 = -3*a - 1. Suppose a = -3*c - 5*c - 336. Which is smaller: c or -44?
-44
Let j = -6792 - -8384. Is j greater than 1594?
False
Let c = -0.0288 - 3.9412. Let g = -12.03 + c. Which is bigger: -5 or g?
-5
Let p = 574.7 - 576.4. Is p less than or equal to -79?
False
Let z = -0.267 + -0.16. Let x = -0.427 - z. Do 70 and x have the same value?
False
Let f be (-3)/(-38)*(-4)/3. Let p = 58 + -26. Suppose -26*k + 6 = p. Which is bigger: k or f?
f
Suppose -117 = t - 4*t. Suppose t = -2*u - u. Suppose 0 = -7*m - 22*m - 406. Is u bigger than m?
True
Suppose -67996 = -228*n - 475432. Which is bigger: -1786 or n?
-1786
Suppose 4*d - 4 = 3*d - l, -d + 12 = -3*l. Suppose 11 = 3*k + 5*q - d, 3*k - 35 = 4*q. Suppose k*a - 13*a = -8. Which is smaller: 8/9 or a?
8/9
Let x = 39 + -21.7. Let b = x - 17.2. Let o = -49 - -35. Are o and b non-equal?
True
Let s = -855 + 879. Let k be (-36)/(-6*8/s). Is 18 greater than k?
False
Let n = -16980 + 10463. Is n at least as big as -6517?
True
Let i = -98 + 98.97. Let a = i + -0.68. Let u = -7.9 - -6.9. Is a at most as big as u?
False
Suppose y - 1966 = u, 5*u - 3*y - 6077 + 15897 = 0. Is u > -1961?
False
Let w be -2 - -5 - (-147 - 3)*207/(-46). Is w less than -676?
False
Let j = 614.6 - 561. Let s = j - 66. Let l = 12.3 + s. Is 0.6 less than or equal to l?
False
Let r(i) = -i**3 - 55*i**2 + 125*i - 2