 -39128/2965. Let v = 9839/745 + z. Which is bigger: 1 or v?
1
Let a = 398 - 381. Suppose 5*f - 95 = -3*q, -54 + 179 = 3*q - f. Suppose 3*l - 5*t - 55 = 0, 5*l + 5*t = 25 + q. Which is smaller: a or l?
l
Let a = 93662/5 - 18436. Which is bigger: 297 or a?
297
Let z be (-3)/2 - (-18)/12 - 14. Let f(g) = g**3 + 7*g**2 - 6. Let k = 81 - 88. Let m be f(k). Is m < z?
False
Suppose -9*z + 26*z - 10*z = 0. Suppose -30*h + 18*h - 48 = z. Is h bigger than -3?
False
Let t = 669973/160412 - 1/9436. Which is smaller: t or 5?
t
Let u(f) = 50*f + 16. Let v(r) = 23*r + 9. Let l(m) = 6*u(m) - 13*v(m). Let s be l(21). Is s >= 4?
False
Let h = -50.9 - 5.1. Let i = h + 55.9. Which is smaller: i or -17.8?
-17.8
Suppose -n = n + 2. Let g be 3/(n - (5 + 2)). Let d be 3/((-312)/(-10)) + 194/1261. Which is bigger: d or g?
d
Let z = -0.0229 + 2.5929. Let q = -4.12 + z. Do q and 0.1 have the same value?
False
Let u = -589 - -655. Let l = -367 - -432. Is l >= u?
False
Let y = 116 + -74. Let r = 4992.06 - 5034. Let n = r + y. Which is greater: n or -2/3?
n
Let n be 162696/(-648) + 12/162. Which is greater: n or -220?
-220
Let g = 6 - 6. Let n be 38/(-8) - -5 - 1268/1360. Let u = n - 2/17. Which is greater: u or g?
g
Let y(z) = -z + 8. Let r be y(0). Let l(s) = r*s + 11*s - 27 - 17*s. Let q be l(7). Which is smaller: -14 or q?
-14
Let w be (-1 + -7*5)/(-52 - -51). Let q = 42 + -72. Let t = w + q. Is t at most 6?
True
Let h = 95979/1045 - -6/95. Is 91 less than or equal to h?
True
Let g(c) be the second derivative of -2*c**3/3 + 11*c**2/2 - 7*c. Let q be g(5). Let a = -104 - -96. Which is smaller: a or q?
q
Suppose 31908*l - 31930*l = 5170. Which is bigger: -4466/19 or l?
l
Suppose -162 = -9*n + 18. Let r be ((-45)/n)/(-3)*8/(-12). Let h = 1 - 1. Is h >= r?
True
Let x be ((-204)/(-85))/((-60)/2000). Is x less than 13?
True
Let h = 994 + -951.3. Let a = h + -38.7. Which is bigger: a or -0.95?
a
Let c = -4/1501 + 728013/10507. Let u = c - 70. Let q(h) = h**2 + 4*h + 1. Let w be q(-4). Which is smaller: w or u?
u
Let l(k) = 5*k**2 + 1187*k - 10698. Let h be l(9). Is h greater than 395?
False
Let d be (-115)/1 + (-92)/23. Let w = -33 - -32.9. Is w > d?
True
Let j = 143 + -141.58. Let p = j + -1. Let i = p - 0.72. Which is smaller: i or -6?
-6
Suppose -64430 = -96*x + 181*x. Which is greater: x or -750?
-750
Let q be (-670)/80 + 9 - (-15)/40. Which is bigger: q or -3/37?
q
Let k(d) = -10*d**3 - 3*d**2 - 2*d + 2. Suppose 5*b - 4*o - 5 = 0, -2*o = -3*o. Let u be k(b). Which is smaller: u or -0.7?
u
Let y be (-816)/(-90) + -9 + 0 + 2/6. Are -24 and y non-equal?
True
Let l be 361/5 + (-15 - (-1554)/105). Is l less than or equal to -53?
False
Suppose -4*l = -11*l - 98. Let k be (-1128)/(-33) - l/(-77). Is 31 at most as big as k?
True
Let y = -3/292 + 115/4088. Suppose 82 - 86 = -c. Suppose -c*l + 3*s = -10, 2*l - 6*s = -s + 12. Are y and l equal?
False
Let w = 3486 - 3488. Let o = 134 + -130.6. Which is greater: o or w?
o
Suppose -4 - 2 = -3*l. Let w(b) = 23 - 10 - b**l + 14 - 13*b. Let n be w(-17). Is n greater than -1?
False
Let s = 6816 - 6722. Which is bigger: s or 137?
137
Let u(l) = -l + 10. Let z be u(8). Suppose 5 + 7 = -z*b. Let g be (b + 8)/((-26)/(-24) - 1). Which is smaller: g or 25?
g
Let h be 3 - 11 - 13404/36. Which is smaller: -380 or h?
h
Suppose -2*v - 5*u - 19 = 0, -2*v - 7 = -3*v + 3*u. Let q be v/16 + (-2916)/(-160). Let s = q - 35/2. Is -5 bigger than s?
False
Let a = 1/41401 - 8363045/1780243. Which is greater: a or -6?
a
Let l = 2177 + -1945. Which is smaller: l or 230?
230
Let k be ((-103308)/40)/((-9594)/26) - 7/1. Is 2/3 equal to k?
False
Suppose -21 = 23*w - 44. Suppose 215 = -5*j - 315. Let o be (5 - (2 + w))/((-4)/j). Which is smaller: o or 54?
o
Let v = -1.133 + -78.737. Let d = 115.5 - 35.5. Let g = d + v. Which is bigger: 1 or g?
1
Let i be 0 + (-1 + 3)/(-2). Let z be ((-2)/28)/((-18)/153 + 2793/(-102)). Is i less than or equal to z?
True
Let d be 8/(-132)*((-29791)/82 + 1). Let a = d - 2/41. Let h = -22 + a. Which is smaller: 0 or h?
h
Let s(y) = -y**2 - 52*y - 24. Let l be s(-10). Let n = 408 - l. Which is bigger: 19 or n?
19
Let h = -2156 + 2022.9. Are -1/3 and h equal?
False
Let o = 218743/99 - 2211. Is o greater than or equal to 0?
False
Suppose -w + 2*m + 4 = 0, -4*w + m + 8 = 27. Let o be 1/2 + (-9)/w. Suppose -5 = -7*f + o*f. Is 0 smaller than f?
True
Suppose x + 4*c + 16 = 0, -4*x + 8*x - 4*c = 36. Let q be 9308/(-2072) + x - 1/(-2). Is q less than 0?
False
Let r = 1.0197 + 2253.9803. Are r and 0 nonequal?
True
Let i = -43 + 127. Suppose -179*z = -180*z - i. Is -2 equal to z?
False
Suppose -78*j + 16*j - 4697 = -853. Is j <= -2/119?
True
Suppose 2*h = -h. Suppose 0 = -4*k + 6 + 10, -17 = -t - 3*k. Suppose 3*n - 2*l - 2 = h, n + 4*l + 4 = t*n. Is -4.1 equal to n?
False
Let h = -523.6 + 523.08. Which is smaller: 18/11 or h?
h
Let n = 317.7 - 311.6. Which is smaller: -7 or n?
-7
Let k = -142 - -144. Let p be k + -2 + 2 + 46/(-4). Which is greater: p or 4?
4
Let k = -243 + 108. Suppose 685 = -5*s - 2*u, -497*s - 2*u = -498*s - 125. Is k at least s?
True
Let c(i) = 4*i**2 + 2*i - 1. Let g be c(1). Suppose g*y - 289 = 221. Suppose -y = -8*s + 18. Is 11 >= s?
False
Let i = -1.7 - -0.7. Let j = -0.8 - i. Let d = 27359/154 - 1955/11. Which is bigger: d or j?
j
Let h = 3 - 4. Let c = 120 + -520. Let o = c + 362. Which is bigger: o or h?
h
Let g be ((-24770)/175)/(12/(-15)). Let h = 177 - g. Is -3 at most h?
True
Let l(n) = 3*n - 9. Let i be l(3). Suppose r + g - 2*g = 0, r - 4*g - 3 = i. Let u be (-3)/(-20 + r)*18. Are u and 4 nonequal?
True
Let g = -171482/9 - -19054. Which is bigger: 863 or g?
863
Let q = -9 - -5. Let p be q/22 + (-316)/(-44). Suppose j = 3*u - 26, 3*u - 3*j - 29 = u. Are u and p equal?
True
Suppose 0 = -125*o + 22*o - 205 - 1. Which is greater: 613 or o?
613
Let l be (70/8)/((-1)/(-4)). Suppose 5*x = 5*i, 15 = 4*x - 2*i + 7. Let p be (5 - (x + 2))*-37 + -1. Which is bigger: l or p?
p
Let s be (-1000)/320 - (3 + (-50)/16). Which is bigger: 847 or s?
847
Suppose 5*u + 0*v - 3*v = -3, 4*u - 2 = -2*v. Suppose 68*c - 72*c + 980 = u. Which is smaller: c or 246?
c
Let o be 3/21 + (-5677)/(-49). Let x = o - 111. Suppose 4*z = -x*h - 58, h + 18 + 11 = 5*z. Which is greater: 1 or h?
1
Let v be 112/(-32)*42/(-147). Let i = 2/8167 + 114300/155173. Which is smaller: i or v?
i
Let s = 333/572 + -29/44. Is s at least 688?
False
Let w(j) = -j**3 + 8*j**2 - 4*j + 8. Let o be w(7). Suppose -o*q - 12 = -41. Is -2 less than or equal to q?
True
Let x be ((-2464)/64)/((-3)/6). Which is smaller: 15 or x?
15
Let i be 7 + 0 + (-42 - -272) - -4. Are 256 and i unequal?
True
Suppose -5*n = 2*t - 173, 25*t + 38 = n + 22*t. Which is smaller: 21 or n?
21
Let n be (-10)/(-845)*403/93. Which is greater: 1 or n?
1
Let c = -9 - -29. Let y be 3*16/(-2) + (-29 - -25). Let j = c + y. Which is bigger: j or -6?
-6
Let p(h) = h - 26. Let a be p(29). Let y be 428/(-96) - a/9*2. Is y >= -5?
False
Let s = -414 - -417. Suppose 546 = 21*q - 26*q - 2*m, 0 = -s*q + 4*m - 312. Which is bigger: q or -111?
q
Let n = -1.09377 + 0.19377. Which is smaller: 4.12 or n?
n
Let j = -11 - -10. Let s(c) = -8*c**3 - 3*c**2 + 3*c. Let l be s(2). Let p be (28/l)/(9/(-5)). Is p less than or equal to j?
False
Suppose -25817*p = -25863*p - 25760. Is p at least -542?
False
Let a(f) = -11*f**2 + 3*f + 7. Let c be a(7). Let z be 4 + 2/(4/c). Let h = z - -5549/22. Which is bigger: 0 or h?
h
Let u be (672/(-10))/(18/(-24)). Let m = u - 90. Let j = 382/5 - 77. Which is bigger: m or j?
m
Let h(w) = -4*w**3 + 4*w**2 - w - 2. Let r be h(2). Let d = 13 + r. Let x be (-2 + (-12)/(-15))*50/10. Is d < x?
True
Let y = -3183 - -3182.64. Let p = 0.441 + -16.801. Let j = y - p. Do 0.3 and j have the same value?
False
Let s be 11 + -18 + (-146935)/(-20991). Does 0 = s?
False
Let y = 56/43 + -5320/387. Are -12 and y unequal?
True
Let g be (-4)/8*(0 + 6224/110). Let n = g - -141/5. Suppose -3*k + 3 = -0. Is n greater than or equal to k?
False
Suppose 167*c + 923 = -1568 - 14. Let o = 5 + -5.02. Which is greater: o or c?
o
Let d be 9/6 + 9/18. Suppose -d*r = 4*n - 3*n - 7, -4 = -5*r + 2*n. Is 118 less than or equal to r?
False
Let n(g) = -451*g**2 - 253*g + 10. Let y be n(2). Is 0.3 at most y?
False
Let w = -9.1 