r than 0.058?
False
Suppose -58*x - 856 = -54*x. Let v = x + -92. Is v smaller than -307?
False
Suppose -t - 3*i = -190, 16*t + 744 = 20*t + 4*i. Which is bigger: t or 190?
190
Let o = -6276 + 6276.07. Which is greater: -6/5 or o?
o
Suppose 11*v = 9*v + 8. Suppose 0 = 2*s - v, -5 = -w + 3*s - 6*s. Are w and -2/57 equal?
False
Let i be 25 + 9 + -18 + 8. Suppose -i*u - 86 = 178. Is -97/9 < u?
False
Let y be (12/2)/(240/16 - 12). Is 49/83 smaller than y?
True
Suppose 15*o = 352 + 8. Let x be 20/6*(-1 - 24/(-3)). Is x at least o?
False
Suppose 36*s + 1237 = -1751. Is s greater than -83?
False
Suppose 7*l = -6 + 20. Let b(k) = -k**2 + k + 5. Let v be b(l). Suppose 5*g - 43 = 7*m - v*m, 4*g = 3*m + 34. Which is smaller: g or 8?
g
Let h(z) = 9*z**2 + 141*z + 35. Let u be h(-12). Which is greater: u or -373?
u
Let n(h) = h**3 + 6*h**2 - 92*h - 26. Let t be n(11). Which is smaller: 1017 or t?
1017
Let f be (19 - 1) + ((-396)/(-12) - 38). Are 308 and f equal?
False
Suppose -5*h = -3*z - 2*z - 280, 0 = -2*h + 8. Let p = -43 - z. Let l = p + -35/4. Which is bigger: 1/16 or l?
l
Let x(w) = w**3 - 80*w**2 - 79*w - 256. Let h be x(81). Is -105 smaller than h?
True
Suppose -d - 2*c + 7 = -0*c, 0 = -4*d + 3*c - 5. Let r be 4/(-6)*-3*d. Let o = 1509482 + -1509480. Is r greater than o?
False
Let p be -1*(-2)/4*0. Let n = -39628/5 + 38376/5. Let u = n - -249. Is p at least as big as u?
True
Suppose 3*o + 84 = -0*o. Let s = 25 + o. Let d be (-28)/7 + (-50)/s. Which is bigger: d or 13?
13
Let x = 29.788911 + 0.265989. Let n = x - 0.0549. Is -0.03 greater than n?
False
Let w(y) = -y - 75. Let q(r) = -2*r - 75. Let s(j) = -5*q(j) + 6*w(j). Let i be s(19). Let v = 828/143 - 62/11. Is i > v?
True
Let r(l) = l**3 + 8*l**2 + 2*l + 17. Let y be r(-8). Let h = 2844686/271 + -10497. Which is smaller: h or y?
h
Let p = 535 + -532. Let v be 21/(-48)*(p - 31). Is 11 greater than v?
False
Let t = 40/243 + -179/1215. Is 1 greater than t?
True
Suppose -2*j = d + 14, 5*j = -4*d + 2 - 49. Let g be 4 + d/3 + 4/(-6). Let s = -1 + 1. Which is bigger: g or s?
g
Suppose q + 5*n + 6 = 0, 3*q + 0*n = 5*n - 118. Suppose 2*a - 2*y = 2*y - 98, -a - 3*y - 24 = 0. Let o = a - q. Is o < -8?
False
Let f be (-4)/(-10) - ((-110)/(-25) - 7). Suppose 0 = -2*o - 10, -115 = -k - f*k + 3*o. Let y = k - 26. Which is smaller: 2/35 or y?
y
Let r = -28.29 - -0.29. Let s = 1363 - 1334.88. Let o = s + r. Which is smaller: -1/4 or o?
-1/4
Let o be (27 + 117)/36*(-354)/(-4). Is o not equal to 339?
True
Let o = -683 - -684. Let f = -8.7 - -8.626. Let y = -63.926 + f. Is o < y?
False
Let r(o) = 11*o - 131. Let j be r(12). Suppose 5 - j = 4*w. Is 8/27 less than or equal to w?
True
Let j = 6990 - 11433. Is -4443 greater than j?
False
Let a = 311.8 + -310.8. Which is greater: a or -2455?
a
Let g(q) = 8*q. Let p be (8/10)/((-8)/20). Let f be g(p). Let i = -300 + 283. Is f at least i?
True
Let f = 24 - 19. Let c be 3 + 952/(-132) + 4. Let n = -5/11 + c. Are n and f unequal?
True
Let c(r) = r**2 + 22*r + 87. Let m be c(-18). Suppose 0 = -m*g + 138 + 267. Which is bigger: 24 or g?
g
Let a(j) = j**3 - 5*j**2 + j - 4. Let u be a(5). Suppose -56 - 25 = -64*v - 17. Is u < v?
False
Let t(k) = 464*k + 982. Let n be t(16). Is 8406 bigger than n?
False
Let h = -806 + 794. Let v be 96/16 - (-75)/h. Which is bigger: v or 2/9?
2/9
Let d = -44.9439 - 0.0561. Let w = -14 + 29/2. Is d less than or equal to w?
True
Suppose 0 = -3*r - 2*h - 1520, 3*r - 5*h - 440 = -1995. Let o = r - -460. Do -47 and o have different values?
True
Let c(l) = l**2 - 10*l - 25. Suppose -8*p = -11*p + 36. Let k be c(p). Which is smaller: 1/151 or k?
k
Let g be (3 + -6)/(-3) + -13. Let b be (g*4/20)/(2/(-5)). Let i be (-4)/3 + (b - 3). Which is smaller: 2 or i?
i
Let i be (-3 + 5/2)/(6/24). Let f be (i - 242/(-16)) + 3/(-24). Are 64/5 and f non-equal?
True
Suppose 0 = -2*y + 22 + 58. Let u(r) = 8*r + 22. Let a be u(-5). Let g be 2 - (a/(-81) - y/18). Is 13/4 > g?
False
Let x(g) = 8*g - 26. Let w be x(5). Let v be 1 + 0 + -1 + w. Suppose -n = -12 + v. Which is bigger: n or 2?
2
Let b = -57 + 61. Let c be (1 + -3)/(2 - b). Let l be (-1 - 0)/(-23)*c. Which is smaller: 1 or l?
l
Let p = -3.5 - -0.5. Let h be (-66)/((-3)/1) - (29 + -18). Is h smaller than p?
False
Let r = 869 + -701. Suppose 0 = 2*n - 5*y + 62, n + y + r = -3*n. Which is greater: -21 or n?
-21
Let l be 3587/(-680)*-605 + -23. Is 3168 at least l?
False
Let j = 21856/7 - 3124. Which is smaller: 8/5 or j?
j
Let b = -3323 - -6336. Which is greater: 3014 or b?
3014
Let k = 39.7 + 14.3. Let z = 53.9 - k. Which is bigger: 4/75 or z?
4/75
Let c = -247 - -1971/8. Suppose -16*o + 19*o = 30. Suppose -4*v = -2*f + o, 5*v + 4*f - 10 = -3. Which is greater: c or v?
c
Suppose 4*f = -3*a + 10, -12 = -4*a - a - 2*f. Are a and 23.84 unequal?
True
Let t be (85 - 81)/(7/((-7)/10)). Are t and 2/137 equal?
False
Suppose 0 = -121*a + 126*a - 125. Suppose 5 - 5 = a*u. Is u bigger than 1/16?
False
Let p = -1/113 - 5761/226. Suppose 77 = -2*q + 169. Suppose 94*f = 96*f - 2*n + q, n + 3 = 0. Which is bigger: f or p?
p
Let w = 0.114 + -189.114. Let m = w + 191. Which is bigger: 0.49 or m?
m
Suppose -2*u = d, 105 = 138*d - 144*d + 3*u. Which is smaller: -180 or d?
-180
Let v be 5 + -1 + 3527811/(-222651). Let j = v + -3/1903. Which is greater: -12 or j?
j
Let x(t) = t**2 - 13*t - 2309. Let w be x(55). Suppose 0 = -2*p + 20 - 4. Let h be ((-6)/p)/(14/(-40)). Is h < w?
False
Let j = 8.79 + -13.18. Let h = -0.61 + j. Let o = 10 + h. Is -4 at least o?
False
Let s = 4.7 - -35.3. Let u = 0.236 + -40.236. Let n = u + s. Which is bigger: n or 4?
4
Let c = 221.5 + -221.2. Is -3 greater than c?
False
Let d be 17228/438 + (-1 - (-2)/1). Do d and 0.19 have the same value?
False
Let o = -184 + 166. Let j be 15/o - 2/12. Let l = 0.3 + -0.2. Are l and j non-equal?
True
Let y(x) = 21*x**2 - 1976*x + 195. Let k be y(94). Which is greater: -137 or k?
k
Let v be ((-4338)/(-54) + 18)*(-27)/(-15). Which is smaller: 176 or v?
176
Let r = -10748.98 + 10749. Which is smaller: r or 2/535?
2/535
Suppose 5*b + 16*h = 21*h + 20, -2*h = -3*b + 6. Let t be -2 - -2 - 2 - -4. Let f be t + ((-126)/22 - -1). Which is smaller: b or f?
f
Let r(y) = 9*y**2 + 17*y + 16. Suppose -9 - 11 = -5*o, i - 15 = -5*o. Let g be r(i). Which is smaller: 158 or g?
g
Let v(u) = 5*u + 43. Let w be v(-8). Let j be w + -5 + 245/125. Are j and 1 non-equal?
True
Let o be (6*(5 - (-198)/(-40)))/((-726348)/112). Which is smaller: o or 0?
o
Let c = -8 + 7. Suppose -803 = 24*w + 205. Which is greater: w or c?
c
Let c = -23751/576724 - -4/4651. Let d(a) = a**3 + 79*a**2 - 86*a - 480. Let m be d(-80). Is c smaller than m?
True
Let y = 570 - 82. Let a = y - 335. Suppose 0 = 9*o + a + 9. Which is smaller: -16 or o?
o
Let q be 87472/98 - 5/((-70)/6). Let c = 892 - q. Is 4/43 bigger than c?
True
Let q = -19/2 + 9. Let l be (-36)/8*12/18*-8. Which is smaller: l or q?
q
Let z = -1301 - -848. Let u = z - -453. Is 1/634 less than or equal to u?
False
Let f = -633 - -634. Which is bigger: 1/2910 or f?
f
Let u be 21 + -17 - 16 - -11. Which is bigger: -1/839 or u?
-1/839
Suppose -2*j + 5*i = -3*j - 23, 1 = -2*j - i. Let z be (90/(-15))/((-16)/(-2) + j). Is 0.06 greater than z?
True
Let y = 7648 + -8481. Is y greater than 2/5?
False
Let l = 2266/7 + -10812/35. Let g = 1002/65 - l. Is -2/7 bigger than g?
False
Let l(p) be the first derivative of -p**2 + 33*p + 93. Let k be l(11). Do 7 and k have different values?
True
Let u(m) = 5*m - 44. Let z = 102 + -74. Suppose -a = a - z. Let r be u(a). Is r greater than 25?
True
Let m(q) = q**2 - 33*q + 202. Let v be m(11). Which is smaller: v or -155/4?
v
Let u = -38 - -41. Suppose 5 + 5 = -5*r - u*i, 0 = -2*r + 4*i - 30. Which is bigger: r or -6?
r
Let v = 778 + 4168. Which is greater: v or 4947?
4947
Let b = -0.5612 + -59.4388. Let x = 0.5 - 0.5. Is x at most b?
False
Let j = 51689/82939260 + 2/19995. Which is smaller: j or 1?
j
Let s = 9693 + -8098. Which is smaller: 1592 or s?
1592
Let o = -7 + 45. Let d = -6 - o. Let a be d/6 - (-14)/42. Is -7 > a?
False
Let k(a) = -5*a**3 + 10*a**2 - 30*a - 59. Let l(h) = -2*h**3 + 3*h**2 - 10*h - 20. Let x(f) = 3*k(f) - 8*l(f). Let m = 12 + -19. Let w be x(m). Is w > 4?
False
Let x(z) = z + 0 + 9*z + 0 - z**2 - 5.