 w?
-81
Let p be (1080/42)/(1/21). Suppose 0 = 23*c - 13*c - p. Which is greater: c or 57?
57
Let j(h) = -h**2 + 2*h**2 + 2 - 17 + 8*h + 2*h**2. Let u be j(7). Is u greater than or equal to 189?
False
Suppose 0*u - 2*g = -3*u - 11, 5*u + 21 = 2*g. Let i = -399 - -2074. Let b = 10025/6 - i. Is b not equal to u?
True
Let w = 485 + -503.66. Let h = w - -19. Let v = -1.51 - -1.41. Which is bigger: v or h?
h
Let f be (12/(-66) - (-5998)/1166) + -5. Let o be ((-12)/(-105))/(-1 - (-26)/14). Which is bigger: f or o?
o
Suppose -3*y + 2*u + 46 = 0, -u + 31 = -0*y + 3*y. Suppose 16*q = y*q + 184. Suppose 92 = -2*j + 4*j. Is q greater than or equal to j?
True
Let k = -5485 + 5485.14. Is k <= -8.5?
False
Let u be 21/(-6)*(-2)/3. Suppose -2*o - 2*g + 12 = -0*o, 4*o = -5*g + 27. Suppose 0*x - 3*k = -o*x - 12, -4*k = 4*x - 24. Is u < x?
False
Let k = -187 - 8. Let p = k - -201. Is p equal to -4/5?
False
Let g = -345 - -229. Let h = 115.932 + g. Let f = -0.088 - 0.012. Which is smaller: h or f?
f
Let p be 9425/3 - (-3)/9. Do p and 3142 have different values?
False
Let u = -108 + 221/2. Let p be 2/(2/(-3))*-1. Suppose 2*w = -3*m + 19, 0 = -2*m + p*w - 4 - 5. Which is smaller: u or m?
u
Let h(r) = 106*r + 325. Let f(l) = -36*l - 109. Let k(n) = -17*f(n) - 6*h(n). Let y be k(-31). Do 648 and y have different values?
True
Let o be (-2008)/251 - 1*(375 - -2). Are -383 and o equal?
False
Let l be 10/45 + 200/(-9). Let k = l + 38. Suppose 2*s + 2 = 0, -3*o - 139*s + 134*s = -37. Which is smaller: k or o?
o
Let t be -2*2/9 - 784/(-144). Suppose 3*a - 4*a = -2. Suppose -t*q = -4*q + a. Which is bigger: q or 0?
0
Let l = 111.93 + -107.93. Is l > -566?
True
Let p = -1045.9 + 1105. Let y = -58.02 + -0.98. Let c = y + p. Which is smaller: -0.04 or c?
-0.04
Let d = -3388258/27 + 125464. Let z = d + 15974/459. Is 8 > z?
True
Suppose -6*n = -4*n + 12024. Let k be -4 + n/(-1485) + 2/15. Which is smaller: k or -0.07?
-0.07
Let j = -15.27 - -15.21. Which is greater: -382 or j?
j
Let l(z) = -z**3 - 62*z**2 + 62*z - 62. Let c be l(-63). Is c equal to 1/3956?
False
Let f = -17.9 - -18. Let n = 2.63 + 0.67. Let b = 29.7 + n. Which is smaller: f or b?
f
Let l be ((-3)/(-2))/((-3)/(-6)). Let v be 6068/369 - (2 + 28/(-18)). Which is bigger: v or l?
v
Suppose -300761 = 15*l - 35456. Is -17687 at least as big as l?
True
Suppose -3*q = -2*q. Let u(a) = -217*a - 9. Let i be u(-1). Let x be i/816 - 1/6. Which is bigger: x or q?
x
Suppose 0 = -68*y - 22*y + 145 + 35. Suppose -d + 6 = -0*d. Let l be ((-3)/(-2))/(d/10). Which is smaller: l or y?
y
Let h be (-4)/(-8) + ((-276)/(-160) - 2). Let y = h - 5/8. Is -190 at most y?
True
Let u(o) = 66*o - 131. Let p be u(2). Is -119 less than p?
True
Suppose -3*r - 2*z - 3347 = 0, 2*r - 406 + 2633 = 3*z. Is -1115 equal to r?
True
Let m = 5678 - 5686. Which is greater: m or 915?
915
Let i = -2461 + 1404. Is 0.3 < i?
False
Let o = -10.285 - -16.553. Is o not equal to -1?
True
Let m = 249 + -261. Let x be m/27 - 204/27. Are -4 and x nonequal?
True
Let m be -12421*(-3)/(-18)*36/52. Let c = 1433 + m. Is c equal to -1?
False
Let f(s) be the second derivative of -s**5/20 - s**4/12 - s**2/2 + s. Let t be ((-1)/(-8 + 7))/(3 - (-14)/(-4)). Let y be f(t). Is 1 greater than y?
False
Let z be (-1)/3 - (-130)/(-6). Suppose 5*q = -4*b + 28, q + 21 = -3*b + 6*b. Suppose -b = -9*k - 214. Is k <= z?
True
Let t = -1484 - -34050/23. Is -3 <= t?
False
Let t(i) be the second derivative of i**3 - 17*i**2/2 + 6*i. Let s be t(4). Let k be 15/12 - (s - 6). Is -36 <= k?
True
Let f(v) = 4*v**3 - 5 - 2*v**3 - 3*v**3 + 5*v**2 - 4*v + 5*v. Let o = -74 - -80. Let b be f(o). Which is smaller: b or -34?
b
Suppose 2*v + 2*f = -8, 2*f - 4*f - 8 = -2*v. Suppose 6 = -7*m + 5*m - 2*s, -3*m + s + 7 = 0. Suppose 26*n - 27*n + m = v. Is -1/45 < n?
True
Let w(p) be the third derivative of -p**5/60 - p**4/12 + 5*p**3/3 - 5*p**2. Let v be (-4 + 2 - -5) + -3. Let u be w(v). Is 10 not equal to u?
False
Suppose -4*m - 44649 = -3*f, 4*m + f - 12164 = -56801. Let l be m/2914 - 4/(-1). Which is greater: l or 0?
l
Let f be (-9 - -2) + 7 + -4 + (-248348)/(-62084). Is f smaller than 0?
False
Let w = -3326 + 202888/61. Let v(q) = q**2 + 1. Let d be v(0). Let o be (6 + -3 - 3)/d. Which is greater: o or w?
w
Let n(w) = 18*w - 2 + 19 + 43 - 11. Let r be n(-4). Is r less than -23?
False
Let q = 209 - -293. Let x = 417 - q. Is 0 >= x?
True
Let q = -150 + 161. Suppose 6*z = -q*z + 187. Which is smaller: z or 13?
z
Suppose w + 3*i - 15 = 0, i = -i + 2. Let g(k) = -k**2 + 11*k + 12. Let z be g(w). Let a = 1997 + -137791/69. Which is smaller: z or a?
z
Let d(c) = -c**3 - 3*c**2 + 2. Suppose 73 = 4*u + 81. Let s be d(u). Let o be -4 - s*2*(-204)/216. Which is smaller: -8 or o?
-8
Let r = -8468 - -3700503/437. Which is smaller: 1 or r?
r
Let q = 13573 - 176407/13. Which is greater: q or 3?
q
Let l be 1670993/(-108680) - -15 - (-3)/8. Is l >= 0?
False
Let k = -200 - -206. Let f be 16/k*(5 - 0) + -2. Is 12 bigger than f?
True
Suppose -575*s + 38*s + 74 + 463 = 0. Which is bigger: 4/10711 or s?
s
Suppose 0 = 19*s + 3*s + 66. Let l be (-2)/s*(-15)/(-2). Which is smaller: l or 56/9?
l
Let n be (39/(-78))/((-1)/286). Let m = n + -143. Which is smaller: 7/46 or m?
m
Let t = -350 + 533. Let v = -209 + t. Which is smaller: 2 or v?
v
Suppose -12*t = -72 - 36. Suppose 4 = -2*r + 5*i, 4*r - 5*i - t - 3 = 0. Let l be ((-9)/(-6))/((-9)/r). Is 2/5 > l?
True
Suppose -5*d - b + 9 = 0, 2*d - 5*b - 9 = -0*d. Suppose -d = -5*a - 7. Which is smaller: a or -4/79?
a
Suppose 48 = 250*t - 248*t. Let a = -10 + t. Suppose 13 - 1 = h. Is h < a?
True
Let v(p) = 58 + 18*p**2 - 20*p**2 + 6*p**2 - 3*p**2 + 14*p. Let i be v(-6). Is 15 greater than i?
True
Let d(i) = 27*i + 2 - 2*i**2 - 14 + i**2. Let c be d(25). Suppose 0 = 46*f - 47*f - c. Is 0.1 > f?
True
Let h = -1553131/108 - -14380. Are h and 0 unequal?
True
Let r = -654 + 666. Which is smaller: -3 or r?
-3
Let m = 199 + -147. Suppose 23*q + m = -109. Is q not equal to -40/7?
True
Suppose -t = -2 + 8. Let o(r) = 1 + 5*r - 10*r + r**3 + 4*r**2 + 3*r**2 + 2*r**2 - 4*r**2. Let j be o(t). Which is smaller: j or 1?
j
Suppose 0 = -3519*o + 3475*o. Which is smaller: o or -0.2538?
-0.2538
Let l(w) = w**3 + 15*w**2 - 38*w - 64. Let j be l(-17). Suppose 0 = 3*y - 4*i + 154, 5*y - j*i + 153 + 101 = 0. Is y greater than -48?
False
Let p be (-77)/(-70)*-32*5. Let i = p - -8. Which is smaller: -169 or i?
-169
Let x = 5 + -6. Let d be (-9)/(-18)*(-2)/4 + (-2)/(-11). Which is smaller: d or x?
x
Let s = -49 + 51. Let d(z) = 4*z**2 - 3*z**2 - 13 - 2*z**s - 10*z. Let o be d(-5). Which is greater: o or 14?
14
Let s = -20949 + 20902. Which is greater: -162 or s?
s
Let d(k) = -10 + 5 + 7*k - 5*k. Let s be d(4). Suppose -s*a + 15 = 3*j - 0*a, j = -5*a + 25. Which is bigger: j or -32?
j
Let z be (-4 - (-770)/189) + (-98)/(-135). Suppose 4*f - 8 = -0, 4*w - 3*f = 38. Let b = w - 11. Which is bigger: z or b?
z
Let y = -46876 - -46867. Are -822 and y nonequal?
True
Let l be ((-3)/(-4) + 0)/(105/(-81564)). Are -584 and l non-equal?
True
Let s = -819.106 - -818. Let v = s + 0.106. Do v and 11 have the same value?
False
Let c(k) = -k**2 + 2*k + 3. Let j be (-15)/(-6) - -3*5/30. Let z be c(j). Which is greater: -2/117 or z?
z
Let l be 376 + (-5 + 4)*(-30)/(-10). Which is smaller: l or 1867/5?
l
Let o = -473791634/40269 - -35297/3. Is o bigger than 1?
False
Let z(p) = p**2 - 71*p - 296. Let d be z(-4). Suppose 0 = 2*t + 2*v + 22, 20 = d*v - 0*v. Let r = 10 - 25. Is r at most t?
False
Let n = -12/877 + 84900/51743. Which is bigger: 3 or n?
3
Suppose -8*q + 3*q - 2*y = 56, -q + 15*y - 42 = 0. Which is bigger: q or 85.6?
85.6
Let m be (-31)/(2635/(-612))*((-53)/(-4) + 2). Let r(p) = -28*p - 3. Let b be r(-4). Is m less than or equal to b?
False
Let h = 577 - 578. Suppose -16*o + 13*o = -441. Let t = o - 208. Which is smaller: h or t?
t
Let j = 1285/24 - -14179/24. Let d = 645 - j. Which is smaller: -263/5 or d?
-263/5
Suppose -1 - 13 = 3*b - 5*r, -4 = b - r. Let p be b - (3 - -1 - 10). Let a be 120/54 + (-4)/p. Is 0 at most a?
True
Let f be ((-22)/132)/(2/12). Let z(o) = o**3 - 7*o**2 - o + 4. Let j be z(7). Let l be -3 - -4 - (j - f). Is l <= 18/11?
False
Let q be (-70628)/(-113220) + 3/18*-4. Let m = q - 1/629. Is m > 5/6