). Is i less than 25?
True
Let b = -48 + 24. Let u = 24 + b. Suppose 5*i - 2 = 2*j, -2*i + 7*i - j = 6. Is i > u?
True
Let z be 3/30*-6 + 3/5. Let j be (z/2)/((-9)/(-3) - 1). Which is smaller: j or -3/28?
-3/28
Let m(h) be the first derivative of h**4/4 + 5*h**3/3 - h**2/2 - 19*h + 70. Let s be m(-5). Which is smaller: -11 or s?
s
Let x = -5678 - -6285. Is x at least as big as 610?
False
Let h = -8307 - -8308. Are -1/7224 and h nonequal?
True
Let u(h) be the first derivative of h**3/3 - 12*h**2 + 77*h + 287. Let z be u(4). Which is smaller: z or -136?
-136
Let k be -1 - ((2 - 0) + -3). Let p(r) = -4491*r + 8975. Let s be p(2). Is k > s?
True
Let y be 3/9*-1 + (-182)/273. Let j be (-5)/625*24/(-2). Which is smaller: j or y?
y
Let q(g) = -1 - 6*g**2 + g**3 + 29*g - 22*g + 4. Suppose 32 = 5*m - 4*b, 2*m - 25 = -2*m + 3*b. Let o be q(m). Is o at most as big as 1/7?
True
Suppose 5*w = 3*l - 832, -3*l + 5*l + 503 = -3*w. Let v = w - -80. Are v and -86 equal?
False
Let s = -710/11 - -2086/33. Let r(h) = -h**2 - 8*h - 4. Let w be r(-8). Let j be (3 - (-1 - -1)) + w. Are s and j nonequal?
True
Let y = 114 + -112.16. Let w = 2.41 - y. Is 1 bigger than w?
True
Let u = -229 + 200. Let g = 33 + u. Which is bigger: 37/7 or g?
37/7
Let y be 6/((-32556)/(-9)*(4/(-8) + 2)). Which is greater: y or 1?
1
Suppose -25*s + 30*s = 45. Let c be (-1)/(2/(-22))*(s + -11). Let d = -26 - c. Which is smaller: 3 or d?
d
Let f(q) = 52*q**2 + 16*q - 22. Let s be f(3). Let z = -495 + s. Which is bigger: 1/789 or z?
1/789
Let r = 3558 + -39156/11. Which is smaller: 2.1 or r?
r
Let q(z) = -14*z - 96. Let g be (9/6 - -3)*-2. Let l be q(g). Which is greater: l or 29?
l
Suppose -520 = 4*k + 320 - 204. Which is smaller: k or -14?
k
Let k(s) = s - 2. Let t be k(-6). Let p be (5/(-50))/(t/20). Is p smaller than -0.4?
False
Let u(n) = 53*n + 10. Let z be u(-4). Let c be 1/2 - (-93)/z. Is 1 greater than c?
True
Let q = 789724/31 - 25470. Are q and 4 non-equal?
True
Suppose -2*g - 5 = -18*y + 19*y, 0 = 4*g - 4*y - 20. Suppose g = 37*z + 140 + 230. Is 0.1 at least as big as z?
True
Suppose 11*m + 11020 = 11009. Which is greater: 32/71 or m?
32/71
Let l = -4379 - -4373. Which is greater: -2.24 or l?
-2.24
Let b = -20 - -25. Let f = -43 + -113. Let d = f - -152. Which is bigger: b or d?
b
Let h(l) = -l**3 - 6*l**2 + 9*l + 13. Suppose -188*n = -189*n - 7. Let k be h(n). Let o be 1526/2056 - (-6)/(-8). Which is bigger: o or k?
o
Let s(g) = -4*g**2 + 91*g - 146. Let q be s(21). Is -42/325 at most q?
True
Let f = -8 - -20. Suppose 2*w + 5*l - l = -12, 3*l = -3*w - f. Let x be (-130)/(-90)*(-3)/w. Is 1 smaller than x?
True
Suppose a = 2*b - 129 + 220, -4*b = a - 85. Is a at most -41?
False
Suppose -5*h + 20*h = 30. Suppose 3*j - b + 176 = -h*j, -36 = j - b. Which is smaller: -36 or j?
-36
Let c = -15.51 + 16. Let v = 0.008 + -0.018. Let y = v - c. Is y >= 5/3?
False
Let h = -42 + 8. Let k = -29 - h. Let p be ((-2)/(-8))/(35/84). Which is bigger: k or p?
k
Let i = -4217 - -695804/165. Is -10 >= i?
False
Let y = -0.1101 + 0.0101. Suppose 2*p + 2 = 8. Suppose 0 = -0*v + p*v + 30. Is v less than y?
True
Suppose 36*p + 30 = 26*p. Let l be p/1 + 144 - -5. Is 145 > l?
False
Suppose 27*b - 25135 + 137914 = 0. Which is smaller: b or -4181?
-4181
Let i = -121 - -73. Let f = i - -47. Let m(v) = 8*v**3 - v - 1. Let d be m(f). Which is smaller: d or -7?
d
Let x be -8 + 30/408*-284. Is x at least -29?
True
Let y = 1409 + -2052. Let g = 60441/94 + y. Which is smaller: g or 0?
g
Let h be ((-437)/(-874))/((-24)/(-16) + 1 + -2). Let o = 3 + 1. Suppose 4*i = -2*s + 23 - 5, -9 = i - o*s. Which is smaller: i or h?
h
Let o be (-2)/(-10) - (-193130)/(-525). Let y = o + 368. Let w be (2 - (-1)/(-1)) + -2. Is w at most y?
True
Let h be (186 + -12)*75/18. Is h at most as big as 6535/9?
True
Let v be (0/(-1) - 1)*-67. Let z be 67/(-7 - ((-84)/11 - (-24)/(-66))). Is z bigger than v?
False
Let j be 4/(16/7 + -2). Let y be 4/j - 16*(-5)/14. Suppose 4*v - 3*f - y = 0, 5 = -v + 2*f + 2*f. Which is smaller: 2 or v?
2
Let c(h) = -2*h**3 + 2*h**2 + 10*h - 4. Let z be c(4). Suppose 5*s + 125 = -170. Let p = z - s. Is 3/23 less than p?
False
Suppose -58*f + 8209 = -433. Is 145 > f?
False
Let q be -40 - (-30 - 9) - 9/(-8). Is q < 91?
True
Let c be 0*3/(-6) + 8/4. Let n = -7 + c. Suppose 10*r - 6 = 11*r. Which is greater: r or n?
n
Let w be (-6 + 5)*-1 - (-1 + 2 + 0). Let g = -1226901/11 + 111705. Let z = g + -169. Is w != z?
True
Suppose 4*r + 24 = 0, -450 = -2*d + 7*r - 11*r. Is d smaller than -9?
False
Suppose 3*b + 302 = 5*q, 5*q - 2*b - 66 = 4*q. Let x(y) = 3 - 6*y + 22 + 9*y. Let a be x(11). Does a = q?
True
Suppose 2*y + 3*q - 31 = 0, 2*q + 82 = 5*y + 5*q. Let r(f) = 2*f**2 - 35*f + 18. Let d be r(y). Which is smaller: -1/70 or d?
-1/70
Let p = -0.12 - -0.22. Let b = -2126 - -2159. Which is greater: b or p?
b
Suppose 8009*u = 8007*u + 2. Are 4/8249 and u equal?
False
Let k be ((-1884)/(-19625))/(-1 - (-82)/80). Is k < 5?
True
Let o = -37/153 - 65/153. Are o and 144 unequal?
True
Let k = -47 + 52. Suppose -k*s + 15 = -4*q, 5*q - 5*s = 2*q - 15. Let t = 56986/665 + -600/7. Is q at most as big as t?
False
Let o = -2492 - -2534. Is o > 54?
False
Suppose 0 = 2*v + 5*v - 189. Let y = v - 4. Let u = 24 - y. Is -1/124 < u?
True
Let l be -1*((-14 - -4) + 11). Let a be (-321427)/(-129) - (-10)/30. Let x = a - 2492. Which is greater: l or x?
x
Suppose -3*x + 18 = 0, -37*q + 42*q - x - 22269 = 0. Which is smaller: q or 4452?
4452
Suppose -21 - 9 = 2*r. Let u = -177 - -377. Let d = -217 + u. Is r at least as big as d?
True
Suppose g = -7*z - 578, 308 = -4*z + 14*g - 9*g. Are -1398/17 and z non-equal?
True
Let b = -4.89 - -48.19. Let q = b + 0.7. Let k = q + -44.3. Which is bigger: k or 1?
1
Let n = 1.013 - 1.313. Let b = 14 + -13.98. Let h = -0.14 - b. Is n less than h?
True
Suppose 9*m = 4*m. Let q be (1456/(-49))/8 - (-675)/(-525). Which is bigger: q or m?
m
Suppose 5*w - 4*a - 70 = -5, w + 1 = -2*a. Let z be (-2)/(-6) - 3/w. Is z at least as big as 7/38?
False
Let y = 17 - 62. Let t = y + 41. Let g = -266 - -272. Which is greater: t or g?
g
Let l be (-1 + 0)/(1/7). Let t(h) = -h**3 - 36*h**2 + 34*h - 109. Suppose 0 = -9*v + 16*v + 259. Let y be t(v). Is l at most y?
True
Let i(y) = -y**2 - 282*y + 82. Let l be i(0). Which is greater: l or 86?
86
Let f be (-12)/714*7 + 10933/(-36108). Let p = -2/531 - f. Suppose -2*x - 13 = -4*x - 3*i, 2*x - 5*i = -27. Is p equal to x?
False
Let u = -31385 + 31384. Let r be 22/20*512/2. Let c = r - 284. Is u less than c?
False
Suppose i - 3*b - 15 = 0, -i + 12 = 4*b - 17. Suppose -414 = -2*c - i*c. Are c and -5 non-equal?
True
Let y = 85 - 85. Suppose 73*f - 65*f - 8 = y. Is f less than 109?
True
Suppose -504 = -6*b - 2808. Let a be (-1)/(-12) + 32/b. Is -2/337 bigger than a?
False
Let r = -2635 - -2295. Which is greater: r or -2/3?
-2/3
Suppose -a - p + 1 = -3, 3*p - 5 = 4*a. Let v = 143 - 103. Let u be v/(-50)*10/(-4). Which is bigger: a or u?
u
Let c be (1 + 0)/(2/2). Let l = 6095925/116 + -1461484481/25636. Let q = 4458 + l. Is c less than q?
False
Suppose -s = s + 3*n - 159, 0 = -3*n + 15. Suppose -4*u + 4*w - s = -w, -4*u - 5*w - 72 = 0. Let a = u + 21. Are a and 0 unequal?
True
Let h(w) = w**2 - 21*w + 42. Let g be 10/15 + 55/3. Let s be h(g). Suppose 3*k + 2 = -2*t - s, 2 = t - k. Is t less than 0.1?
True
Let p be 1620/(-580) + (2 - -1). Let d(n) = -n**3 - n**2 + n - 1. Let j be d(-2). Let v = -1 + j. Do p and v have different values?
True
Suppose -a - 8 = -0*a. Suppose 6 = -4541*s + 4545*s - 2*i, -4*s = 4*i. Do s and a have different values?
True
Let l = 4750 + -4749.92. Is l greater than or equal to -1121?
True
Let n(x) = 22 + 68*x - 69*x - x**3 + 47. Let o be n(0). Suppose 2*w - o - 19 = 0. Which is bigger: 45 or w?
45
Let d(t) = -10*t + 279. Let n = 501 - 476. Let v be d(n). Is 24 less than or equal to v?
True
Suppose -g = -4, -4*n - 47*g - 2640 = -54*g. Which is bigger: -5882/9 or n?
n
Let u be 20/30 - (-197)/(-12). Let m(t) = t**3 - 95*t**2 - 293*t - 115. Let s be m(98). Is u less than or equal to s?
False
Suppose 5*k - z - 62 = 0, -5*k - 21 = -2*z - 85. Let s be (-351)/k*(-2)/(-24) + 2. Which is smaller: s or -1?
-1
Suppose 4*o = -299 + 123. Let p = 53 + o. Suppose -3*g + 8 + 8 = 2*n,