+ 193. Suppose -5*m + 25 = 6*d, -d - 3*d = -4*m + 20. Let s be (-76)/z + d + -1 + 2. Which is smaller: 0.07 or s?
s
Let j = 1569 + -2545. Is -974 greater than j?
True
Let f be (83105/(-33))/(2 + 33/(-9)). Is 1509 != f?
True
Let u(r) = -9*r + 4. Let q(c) = 2. Let s(z) = 3*q(z) + u(z). Let x be s(3). Which is smaller: x or -21?
-21
Let a = 699 - 1553. Let i be 1*824/(-2982) - 244/a. Which is smaller: 1 or i?
i
Suppose -w + 4*x + 49 = 2*x, 63 = 2*w + 3*x. Suppose w = 3*j - 15. Let o be 4/j*(3 - 6). Which is bigger: o or 0.27?
0.27
Let a be (6/3)/(4/5*19). Let t = a - 355/532. Which is bigger: t or 0?
0
Suppose v - 26 = -v. Let g = -13 + v. Let p be (-99)/(-88)*2/9. Which is greater: p or g?
p
Suppose 194 = 586*w - 585*w + 2*m, 3*w + 4*m - 578 = 0. Which is smaller: 200 or w?
w
Let y = 292 + -328. Let r = y + 35.9. Let n = -24.51 - -0.51. Is r greater than or equal to n?
True
Suppose -27 = -9*c - 0*c. Suppose -133 - 953 = -3*p + 4*j, -2*j - 1086 = -c*p. Do 362 and p have the same value?
True
Suppose 4*u + 132 = 204. Let i be (28/u)/(10/15). Let p(x) = x**2 - 12*x + 3. Let v be p(12). Is i greater than or equal to v?
False
Suppose g + 2*i = 17, i + 1 = 3*g - 50. Let b = -594 - -314. Let a be (-2)/(-4) + b/(-16). Which is greater: a or g?
a
Let p = 2447312/22915 - -2/4583. Let f = -105 + p. Which is smaller: 13 or f?
f
Let j = -0.842 - -45.542. Let x = -0.7 + j. Let i = -44.1 + x. Which is smaller: 0 or i?
i
Let d = -6025 + 30121/5. Let j(i) = -i**2 - 5*i. Let c be j(-5). Which is bigger: d or c?
c
Let i = 10.7 + -1.7. Suppose -10*r + 21 = -19. Let t be 48/(-14) + (r - (-1 - -1)). Which is bigger: i or t?
i
Let l be (-238)/357*(-315)/(-8). Is l at most -1/10?
True
Let k(i) = -2*i**2 - 8*i - 16. Let d be k(-11). Suppose y + 338 = -2*w, 2*w - 2*y = -5*y - 330. Which is smaller: d or w?
w
Let t = -60 - -62. Suppose -t*s + 52 = -14. Let z be ((-8)/(-6))/(286/s). Is -3/11 greater than or equal to z?
False
Let k = -3904 - -3905. Which is bigger: k or -1/1245?
k
Suppose -2*z + 109 = 801. Let k = z + 488. Suppose -5*s - k = -12. Is -24 less than s?
False
Let c = -0.5188 + 0.4728. Are 1.2 and c non-equal?
True
Let v(b) = 4*b**2 + 2*b - 9. Let t be v(4). Let z = 79 - 16. Is z at most t?
True
Let o be ((-320)/(-225))/8 - 6/(-27). Let j = -245 - -232. Is o > j?
True
Suppose 0*h = 4*o - 2*h + 32, 4*h = o + 1. Suppose -u + 12 + 0 = 0. Let z be 3 + u/o*(-213)/16. Is 20 > z?
False
Let r be 18/(-14) + ((-1)/(-21))/((-64)/768). Which is greater: -27 or r?
r
Let l be (7/(147/(-18)))/((-15)/70). Suppose 4*k - 2*o = 1460, o = -l*k - 2*o + 1480. Are 366 and k nonequal?
True
Let b = 787 - 749. Let v = -46 - -83. Is b > v?
True
Let d(i) = 5*i**2 - 17*i - 12*i + 38*i + 7. Let v be d(5). Are v and 178 unequal?
True
Let g = -0.09 - 5.91. Let q = -34.482 - -26.482. Is q at least as big as g?
False
Let z(m) = m + 73. Let s be z(0). Suppose s = 8*f - 23. Let u be f/(-5)*(-40)/3. Is u bigger than 32?
False
Suppose 0 = -4*a + 8*a + 40. Let x = -31 + a. Which is smaller: -36 or x?
x
Let f(k) = k**3 - k**2 + k + 15. Let q be f(0). Let v be (4 - 140/34)/(q + -14). Let d(u) = u**3 + u**2 - u - 1. Let l be d(-1). Which is greater: l or v?
l
Let u = -142 - -142. Let c be (-8)/(-158)*9/(-6). Which is smaller: c or u?
c
Let a be 12540/64 + (-5)/(-80). Which is greater: 191 or a?
a
Suppose -y - 318 = -329. Is y less than 11?
False
Let o = 3686 - -50. Is -2/9 greater than o?
False
Suppose -26*b - 30*b + 43*b = 6864. Which is smaller: b or -524?
b
Let l = 1.1 + 9. Let u = l + 9.9. Which is smaller: u or -1?
-1
Suppose -3*a + 5*a = -3*v + 29, 3*v = a - 1. Suppose 0 = 4*t - 2*i - 86, -t + 2*i + 10 + a = 0. Is t at least as big as 22?
True
Let n = -1368 + 1348.001. Let y = n - -20. Let r = y + 0.019. Is -1/2 at most as big as r?
True
Let o = 29769.83 - 30282. Let i = o - -512. Is i at most -6/5?
False
Let u(o) = -o**3 - 4*o**2 + 5*o + 1. Let v be u(-6). Let x be (-350)/10 - (1 - 6). Let z be 1*22/x*-6*10. Which is smaller: z or v?
v
Let s(i) = i**2 - 15*i - 17. Let f be s(13). Let t = f - -53. Let g be 2/(-4)*(t + -10). Is -2/65 less than or equal to g?
True
Suppose -3*b - 2*w + 3*w = -63, 0 = 5*w + 15. Let i be (-6)/7*-3 - b/35. Is -2/239 at most as big as i?
True
Let b be 15/(-636)*(-96)/1590. Which is smaller: b or 1?
b
Let x be ((-280)/(-250))/(1/(-3)). Let g = x + 638/175. Suppose 0*s + 4*s + 4 = 0. Which is smaller: g or s?
s
Let m = 223/24 + 14635/264. Which is greater: 66 or m?
66
Let p = -7.81 - -5.91. Which is greater: p or -79?
p
Let f(s) = s**2 + 6*s - 55. Let r be f(5). Let w be r*(-1 - -2) + 42/511. Which is bigger: w or -1?
w
Suppose 0 = -101*z + 6945 - 1895. Let k be 4/14 + 35/49. Let j be ((3 + -53)/(-1))/k. Is j equal to z?
True
Let o = 102.92 + -105. Let a = o - 13.92. Which is smaller: 0.1 or a?
a
Let m = 1073/13 - 83. Let p be (-3 + -15)/((4 + 2)/(-3)). Suppose -1 = p*o - 10. Which is bigger: o or m?
o
Let b = 16198 + -12446. Is 3754 bigger than b?
True
Let p be 0 + 1831 + -37 + 42. Suppose -116 + p = 10*c. Is 172 smaller than c?
False
Suppose -6*z + 2*z + 2*m = -18, 0 = 3*z - 4*m - 21. Suppose z*a + a = -16. Suppose -4*k + h + 4 = 0, 7*h - 3*h = 3*k - 16. Are k and a unequal?
True
Let l be ((-12)/(-2) - (-59772)/(-34)) + 3. Do -1749 and l have different values?
False
Suppose 3*w - 484 = 8*k - 10*k, 1215 = 5*k + 5*w. Let p be (k/(-25) + 3)*-5. Which is smaller: p or 33?
33
Let b = -9497/3 + 3165. Which is smaller: -127 or b?
-127
Let d = 3683.4 - 4999.4. Are d and -4 equal?
False
Let p(n) = 6*n - 35. Let a be p(7). Suppose 9*y - 38 = 8*y. Suppose 2*b + y = 52. Is a < b?
False
Let v = 5883 - 5664. Which is bigger: v or 218?
v
Let j(t) = 3*t**2 + 15*t - 15. Let q be j(-9). Suppose h - 4*c = q, 2*h - 2*c = -5*c + 153. Which is bigger: h or 77?
h
Let u(q) = -q**3 + 30*q**2 + 64*q - 6. Let v be u(32). Let a(z) = 4*z. Let k be a(-7). Let x be v/k*56/21. Is 2 smaller than x?
False
Let q(t) = t**2 + 2*t - 70. Let k be q(-18). Suppose -4*d = -4*w + 324, 5*w - 202 - k = 2*d. Is 0 at least as big as w?
False
Suppose 40341 = -1538*n + 1559*n. Is n > 1920?
True
Suppose -4*r + r - 102 = -5*r. Which is smaller: r or 942/19?
942/19
Let d(x) = 312*x**2 + 2*x + 79. Let m be d(6). Do 11325 and m have different values?
True
Let s = -3112 + 3061. Which is smaller: s or -33?
s
Suppose 11*v = 9*v + 20. Let r be (6/4)/((-12)/(-376)). Let w = r - 36. Is w greater than or equal to v?
True
Suppose -v + 52 = -2*d, -3*v - 3 - 91 = 4*d. Let u = -24 - d. Is u at least 3/41?
True
Let a = -1127.648 - -1124.1. Is a less than 0.1?
True
Suppose m - 357 = -x + 906, 4*x = 5*m - 6351. Let r = 829 - m. Do r and 1 have different values?
True
Suppose -o + h = -341, -3*h - 4*h = -o + 371. Is o smaller than 338?
True
Let g be 1/((-104)/(-120) - 6/(-45)). Let z = 239110/4459 + -697/13. Are g and z nonequal?
True
Let f(r) = 36*r**2 - 147*r - 8. Let q be f(4). Which is bigger: 12 or q?
12
Let z(r) = -r + 4. Let t be z(3). Let j = 434903 - 169177271/389. Which is smaller: t or j?
j
Suppose 3*q = 5*a - 7, -2*q - 2*a + 2 = -4. Let g be (-32)/80*(q + 4). Let w be (-1)/((-5)/g)*1*5. Which is greater: -14/5 or w?
w
Let r = -43 - -42. Suppose -7*i + 1088 = -9*i. Let t be 4 + i/92 - (-2 - 0). Which is smaller: t or r?
r
Suppose 10*k + 33*k = -86. Which is bigger: -280 or k?
k
Suppose 2*m - 3 - 9 = -q, -5*q + 8 = -3*m. Let v be (1 + 0/(-1))*0. Is v at least q?
False
Let u(c) = -2*c**3 - 16*c**2 - 5*c - 55. Let y be u(-11). Suppose 0 = -2*s + 4, 167 = 5*l - s - y. Which is bigger: 178 or l?
l
Suppose 5*x - 7*y = -6*y + 6633, 4*y = -32. Do 1325 and x have different values?
False
Suppose 11*v = 48*v - 11507. Is 1/6 bigger than v?
False
Let x be 402*(1 - -2 - 14/6). Let p be 1707/(3/((-252)/x)). Let q = p - -535. Which is smaller: 1 or q?
q
Let d(g) = g**3 + 3*g**2 + g - 1. Let o be d(-3). Suppose -2*s - 1 = -5. Suppose -j + 2*j = a - 6, -4*j - s*a = 0. Which is bigger: j or o?
j
Let x(b) = 116*b - 39 - 113*b + 11. Let o be x(14). Let w(j) = -j**3 + 9*j**2 - 6*j. Let c be w(8). Is c at least o?
True
Suppose -2210*s = 8864 - 24. Let l = 32 - 59. Is l >= s?
False
Let k(i) = -i**2 - 5*i + 52. Let f be k(-10). Let z be (-2)/(-1) + (0 + 2)/f. Suppose -m = 2*s + z - 2, -s = 2*m + 2. Which is smaller: s or -2/221?
-2/221
Let u be 2290