 -9*b - 462 - 528. Let d be 4/10*b/(-33). Is d bigger than s?
True
Let w(d) = 3*d**2 - 1. Let v be w(1). Suppose v*z - 625 = -3*z. Let b be z/(-20) + 2/8. Are -6 and b equal?
True
Let d = -283 + 72. Which is smaller: -213 or d?
-213
Let a = 469 - 354. Is 115 at most as big as a?
True
Let b = -54335/23 + 2362. Which is bigger: 0 or b?
0
Let x(w) = -4 + 0 + 0*w**2 - 3*w - 5*w**2 - 6*w. Let f(q) = -2*q**2 - 3*q - 1. Let h(m) = -11*f(m) + 4*x(m). Let v be h(4). Which is greater: -1 or v?
v
Let f = 38 - 38. Let s be (-2 - 2/(-7))*1. Which is bigger: s or f?
f
Let i = 381 + -431. Is -52 less than i?
True
Suppose 0 = 3*p - 4*q + 38, 0*p - 37 = 2*p - 5*q. Let a be 126/27 - (-1)/p. Let z = a + -23/4. Which is greater: z or -2?
z
Let v(w) = 6*w + 154. Let a be v(-6). Is a equal to 0?
False
Suppose z - 1 = 2*i - 4*i, 0 = 4*z + 4. Let x = 9.72 + 81.08. Let y = -91 + x. Which is smaller: i or y?
y
Let o be 5/((-15)/(-12)) - -1. Suppose o*m = -3*x, 4*m - 5*x - 8 + 45 = 0. Are m and -6 equal?
False
Let a = -4599 + 878405/191. Do 0 and a have the same value?
False
Let r = -91 + 84. Let q be -5 - (r - (-6)/(-6)). Which is bigger: 0 or q?
q
Let s be (4 - 3942/581) + 3. Let g = s + -6/83. Are g and -3 unequal?
True
Let y = 8/259 - 1465/22274. Let t be (-6)/9 - 5270/(-6708). Let v = t - y. Which is greater: 1 or v?
1
Suppose 65 = 3*f - 8*f. Let l be (-10)/(-35) - 300/21. Is l bigger than f?
False
Let b be ((-1)/(-1))/(7/(-35)). Suppose -2*n + 8 = -5*g, 0 = g - 5*n + 1 - 4. Do b and g have the same value?
False
Let z be (4/22)/((-4928)/6776). Let j = 1271 + -77529/61. Which is smaller: z or j?
z
Let a(t) = t**2 + 4*t + 30. Let h be a(-10). Let k = -82 + h. Which is bigger: k or 5?
k
Let y = -209.5 - -205.5. Which is bigger: 1/49 or y?
1/49
Suppose -6 = q + 5*p, -5*p + 1 = -q + 5. Suppose -2*v + 1 = -v, -5*v + 33 = 2*j. Let m be (-1)/(4*j/16). Is q greater than or equal to m?
False
Let q = -10 + 16. Let j be (4/q)/((-2)/30). Let m be 6/((-126)/77)*3 - 0. Which is bigger: m or j?
j
Let v be -11*(-72)/3036*(-1)/(-51). Which is bigger: v or 1?
1
Let f = -131/492 - 3631027/3444. Let b = -1058 - f. Which is smaller: b or -3?
b
Let j = -116/11 + 497/44. Is j bigger than 1?
False
Suppose 10*o - 5*o = 485. Let q = -395/4 + o. Let z(n) = n - 10. Let f be z(7). Are q and f equal?
False
Let w(s) be the second derivative of 13/2*s**2 + 0 + 1/6*s**3 + s. Let v be w(-13). Do -1 and v have different values?
True
Suppose 11 = 4*p + 3*j - 6, -j - 5 = -4*p. Let o(c) = -10 - c**2 + 8*c + p*c**2 - 6*c + 9*c. Let y be o(-11). Is y > -11?
True
Let q = -366 + 317. Which is smaller: q or -4?
q
Suppose 0 = -6*t + 82 - 70. Which is bigger: 11/19 or t?
t
Let x = 778.49 - 746.1. Let r = 32 - x. Let z = r - -0.29. Is z smaller than -5?
False
Let b(z) = 3*z**2 - 24*z + 9. Let o be b(7). Which is smaller: -49/4 or o?
-49/4
Let m = -16 - -3. Let i be (-5)/(-4) + m/52. Which is smaller: 4/7 or i?
4/7
Let w = 17.05 + -17.1. Let s = 0.1 - -0.05. Let b = s + w. Is b < -0.2?
False
Let w(p) = -p**2 - 5*p - 4. Let h be w(-4). Suppose 3*d - d + 11 = 3*c, -3*c + 23 = -5*d. Let b be (d/(-185))/(10/(-25)). Which is bigger: h or b?
h
Suppose -4*f + 8*f = -4*o - 8, 0 = 3*o - f - 6. Is 24/17 not equal to o?
True
Let x be 0 + 1*(-9 + 0). Let h be (-6)/x + (-32)/(-6). Suppose 0 = 7*d - 6*d - h. Is 5 less than d?
True
Let v = -4672 + 3247042/695. Is v bigger than -1?
True
Suppose -4*l = m - 2, -11*l + 6*l = 4*m - 8. Suppose 0 = -2*o - 4*n - 22, -6*o - 18 = -3*o + n. Let a be 2*(0 + (-2)/o). Which is bigger: a or l?
a
Suppose -6*z = 231 + 597. Let w = -218 - z. Is w at most as big as -81?
False
Suppose 96 = 3*z + 99. Let s be (-9)/3 + z + 3. Which is smaller: s or -8/19?
s
Suppose -25*i + 11*i = 30*i. Is 208 at least i?
True
Let a = 0.0238 + -0.0238. Is 3/83 <= a?
False
Suppose -5*f + 103 = -27. Suppose 2*s + 2*s - 2*u - f = 0, -3*s - 5*u - 13 = 0. Which is bigger: -2 or s?
s
Let l(v) = -v**3 - 4*v**2 - 13*v - 21. Let k be l(-2). Is -47/23 <= k?
False
Let l be (-12)/8*40/(-2445). Are l and -1 equal?
False
Let h(b) = -b + 15. Let o be h(7). Suppose z - 2*z - 7 = 0. Let v = z + o. Which is smaller: 5 or v?
v
Let p(d) = 38*d + 111. Let o be p(-3). Let s(v) = -2*v. Let k be s(2). Which is smaller: o or k?
k
Let n(o) = -o**3 + 4*o**2 + 6*o - 5. Let d be (-16)/(-2) + (-2 - 1). Let l be n(d). Suppose -5*t = -l*t. Are -4/5 and t unequal?
True
Let z = 14.026 - 0.026. Let p = z - 15. Which is smaller: 0 or p?
p
Let o = 438 - 400. Which is bigger: o or -4?
o
Let j(g) = g**3 + 9*g**2 - 12*g - 19. Let v be j(-10). Which is smaller: v or -2/151?
-2/151
Let k be ((-396)/264)/(((-111)/(-4))/(-1)). Are k and 0 nonequal?
True
Let u = -307 + 320. Are 15 and u unequal?
True
Suppose -5*t - 40 = 15. Suppose -3*j - 37 = 4*u - 2*j, -3*u - 5*j = 49. Is u != t?
True
Let i be ((-365)/(-10))/(-1 - (-9)/6). Is i >= 72?
True
Let p = -0.94 + 1. Let q = -2/4513 + 9056/67695. Which is smaller: p or q?
p
Let j = -96 - -93. Which is bigger: j or -27/7?
j
Suppose -20*m + 15*m = -15. Suppose 128 = m*o + o. Is o at least as big as 32?
True
Suppose 10*h = 12*h - 140. Let l be (4 + h/(-15))*-6. Which is greater: 5 or l?
5
Suppose -20 = -96*m + 91*m, w + m = 33. Which is greater: 303/10 or w?
303/10
Let y be 1/(-3) - (-32)/6. Suppose 4*d + y - 9 = 0. Let s be (4/(-3))/(7/21). Is s <= d?
True
Let y = 7.569 - 7.6. Let a = 13.031 + y. Is -2 != a?
True
Let i be ((-11691)/1830 + 0)/(6/8). Let m = -5/61 + i. Which is smaller: m or -10?
-10
Let p be 12/(-2) + -35 - -7. Which is smaller: p or -42?
-42
Suppose -4*a - 5 + 25 = -4*p, a - 1 = 0. Let t be p + (-2 - 1) + 4. Are t and -1 unequal?
True
Let s = -18 + 26. Let g be -4*((-14)/s - -2). Is -1 smaller than g?
False
Let x = -1 - 0. Let o(v) = -10 + 2 + 9 + v**2 + v. Let p be o(x). Is 1/5 smaller than p?
True
Let g be ((-6)/(-9))/((-4)/(-90)). Let c(a) = -a**2 + 14*a + 13. Let d be c(g). Is -20/7 less than d?
True
Suppose 157 = 10*y - 693. Which is greater: y or 592/7?
y
Let d be (-36)/(-24)*(-3)/(18/496). Let k = d - -137. Is k smaller than 17?
True
Suppose 2*z + v - 5 = -69, z - v + 38 = 0. Do z and -33 have the same value?
False
Let s(o) = o**2 + 14*o + 52. Let w be s(-5). Is w less than 9?
True
Let f = 8 + -18. Let j = f + 15. Suppose -5*h - 4*b + j = 0, h - 2*b + 0 = 1. Which is bigger: -4 or h?
h
Suppose -5*v + 2 + 3 = 0. Let p = -217/970 + 12/97. Which is bigger: v or p?
v
Suppose -5*t = -8*l + 3*l + 10, 0 = -5*l + 2*t + 22. Let a be (-51)/60 - (-126)/210. Is a >= l?
False
Let u(q) = -q**3 + 6*q**2 + 30*q - 60. Let n be u(8). Is n at most 305/6?
False
Suppose 4*h = -3*w - 40, 0 = 13*h - 10*h - 2*w + 30. Which is smaller: -166/15 or h?
-166/15
Let g be -3*(-5)/3 + (6 - 9). Let v be -7 + g + (-2 - -1 - -4). Which is bigger: v or -19?
v
Let o(z) = z**3 + 1. Let u be 3/(-9) + 38/6. Let b = -7 + u. Let n be o(b). Is n at most -1?
False
Let z = 75 - 66. Let k(q) = -q**3 - 8*q**2 + 4*q + 8. Let a be k(-8). Let u = a + z. Are u and -15 equal?
True
Suppose -38*w + 780 + 1614 = 0. Let u = -0.2 - -0.2. Which is bigger: w or u?
w
Let t(d) = d**3 - 9*d**2 - d. Let q be t(0). Is q at least 14/71?
False
Let q be (-6)/39 - 942/(-39). Suppose 6*u - u + 5*g - 25 = 0, -5*g + q = 4*u. Is u >= 6/53?
True
Let o be 1/306*(-16)/(-44). Let w = -3224/119493 - o. Is w smaller than -1?
False
Let n(k) = k + 7. Let p be -51*(-3)/(-12) + (-4)/16. Let d be n(p). Which is bigger: -5 or d?
-5
Let h = 192.98 + -193. Which is greater: h or 1?
1
Let a = -89 - -77. Let q be ((-4)/(-6))/((-10)/(-3)). Which is greater: a or q?
q
Suppose 42 = -2*n + 48. Suppose -n*w - 4*w = 91. Is w greater than or equal to -13?
True
Let g = -2/25 - -41/200. Suppose r - 4*k + 1 = -4, -3*r = -3*k + 6. Do g and r have the same value?
False
Suppose -4*z - 10 = -3*c, -55 = -4*c - 4*z + 5. Suppose 0 = -29*m + c*m + 17*m. Suppose 3*b - 2*s + 7 = 3*s, -13 = -3*b - 5*s. Which is bigger: m or b?
b
Suppose 0 = -5*j - 5*q, 9 = -2*j + 4*q - 15. Let f be (-1 - 1/(-2))*8. Is j != f?
False
Suppose -3*i - o = 3*o + 713, o = 3*i + 733. Let r = i + 1221/5. Suppose -3*f + 8 = -f - 4*u, u = -5*f - 2. Is f bigger than r?
False
Suppose 0 = 4*k - 2679 - 381. Let s = 2371/3 - k. Let z = s + -457/18. Which is smaller: -1/4 or z?
-1/4
Let c be 3/(42/(-32)) + 2. Is 92 >= c?
True
Let 