2*v + 23*v + 455 = -5*m. Do -483 and v have the same value?
False
Let q = 957 - 1032. Let l = -87.8 - -13.8. Let g = q - l. Which is smaller: 1.6 or g?
g
Let s(h) = h**3 - 43*h**2 + h - 43. Let l be s(43). Suppose l = g - 4*z + 55, 3*g + 154 = -0*z + z. Are g and -3/4 non-equal?
True
Suppose 0*j = 4*j + 16, 5*j = -4*v - 4. Suppose -4*x - 3*b + 0*b + 72 = 0, -v*b = 16. Suppose 28*g - x*g = -35. Is g > 3/2?
False
Let g = 126.4 - -1356.6. Are g and 1 unequal?
True
Let k(l) = 3*l**2 - 17*l + 7. Suppose -30*o + 23*o + 35 = 0. Let x be k(o). Is x at least 24?
False
Let n = 1597.52 - 14.52. Do n and -2/7 have different values?
True
Suppose -207*r - 94317 - 25652 - 46666 = 0. Is r > -807?
True
Let p be ((-4)/156)/((-8)/240). Suppose 3 = -86*q + 89*q. Is p < q?
True
Let b(o) = -o**3 - 10*o**2 - 16*o - 2. Let d be b(-8). Let w be (-4)/d*(14 - 12). Let i be ((64/(-52))/w)/((-4)/(-30)). Which is greater: i or -2?
-2
Suppose -3*x + 40*s - 45*s = -13, 3*x - 4*s + 5 = 0. Suppose 0*n - 4*n = -32. Let b be 1 + 4/n - 1. Is b at most as big as x?
True
Suppose -2*w + 1 = c, 2*w - 3*w = 3*c - 3. Suppose s + 42 = 3*s. Let v = 28 - s. Which is smaller: v or c?
c
Let f(t) = t**2 + 10*t - 103. Let d be f(20). Let v = d + -12919/26. Let k be (-1)/2*(-6)/(-3). Is k less than v?
True
Let v = -5099 - -5232. Which is bigger: v or -1/6?
v
Let h = 920 + -272. Let y = -652 + h. Which is bigger: y or 9?
9
Let j = 10.72 - -0.28. Let h be (9/270*10)/((-1)/(-163)). Let g = 164/3 - h. Which is smaller: j or g?
g
Suppose 0 = 4*o - 8*q - 22168, -4*o + 263 = -5*q - 21911. Is 5546 != o?
False
Let m(l) = l. Let n be m(-1). Let y be (25/(-10))/5*(2 + n). Let u = 0.042 - 20.042. Which is bigger: u or y?
y
Let r(n) = 4*n - 15. Let k be r(3). Let c be (k/(-2))/(12/4 - -3). Which is smaller: c or -0.099?
-0.099
Let t = 0.9 + 7.1. Let j(i) = -i**2 + 4*i. Let k be j(4). Suppose -5*d - 10 = -k*d. Which is greater: t or d?
t
Let z(p) be the first derivative of -p**2/2 + 6*p + 4. Let b(w) = w - 1. Let l(k) = 3*b(k) - z(k). Let a be l(6). Is 14 greater than a?
False
Suppose 23 = y - 20. Suppose 2*p - 348 + 10 = 0. Let j = 211 - p. Which is greater: y or j?
y
Let s be ((-3)/(-2))/((-21)/30). Let z be 4698/(-1740) - (-3)/(-10). Which is smaller: s or z?
z
Let c = -5563 + 14857. Which is smaller: 9295 or c?
c
Suppose 26*o + 12*o = -19*o + 184737. Is 3244 greater than o?
True
Suppose -4*v - 1015 = v. Suppose u = 5*a - 173, 3684*u - 3689*u - 1021 = a. Is v less than u?
False
Let t = 183.59 - 187.59. Let i = -43/7 + 3039/497. Which is smaller: i or t?
t
Let o = 178 + -889/5. Suppose 2*q + 5*z = -1, -4*z = -3*q + 7*q - 28. Which is smaller: o or q?
o
Suppose 4*a + r + 9 = 0, 0 = -5*a + 7*a + 4*r + 8. Let s = 315.01 + -319. Let h = 4 + s. Is a >= h?
False
Suppose 31*p - 35*p + 12 = 0. Suppose p*n - 9 = 0, -k = 4*k - 3*n + 14. Which is smaller: k or 1/190?
k
Let k = 22.51 + -24.44. Is k at least as big as -2/41?
False
Let y(t) = -t**3 + 14*t**2 - 13*t + 21. Let j be y(13). Suppose 3*w - 2 = -5, j = 2*p - 5*w. Suppose p*l - l = -4*l. Is -2/13 > l?
False
Let t = -0.4 - -0.2. Let p = -0.3 - t. Let z = 7546 + -7545.92. Which is smaller: z or p?
p
Let i be (4/(-16))/(6/1432). Let c = 1250/21 + i. Let x = 1 - 0. Is c <= x?
True
Let m = 1.25 + -12.363. Let z = m + 13.08. Let a = -0.033 - z. Does a = 3?
False
Let b = -3 - -11. Let f be 48/15 + b/(-4). Let z(t) = t**3 - 6*t**2 - 3*t + 19. Let q be z(6). Which is greater: f or q?
f
Let t be (729 - (6 + -9))*(-21)/(-228). Which is smaller: 1/3 or t?
1/3
Let p = 11592 + -23263/2. Let h = -91 - -50. Are p and h nonequal?
True
Suppose 3*k + a = 2, 2*a - 62 + 66 = 2*k. Which is bigger: 18/85 or k?
k
Let n be 6/(1*((-32)/(-20) + -1)). Let k be (-21824)/18445 + 12/n. Is 0 less than k?
True
Let s(l) = 4*l - 41. Let k be s(15). Let t = k - 14. Suppose t*m = -7 + 12. Is m > -3/13?
True
Let q be 133/57*132/(-56)*-4. Which is smaller: q or 233/10?
q
Suppose 2*x - v + 4*v = 392, 3*v - 585 = -3*x. Let i be (-56)/(-16) + 3/(-2) + x. Let t be ((-6)/10)/(i/26). Which is greater: t or -2?
t
Let b = -109628.029 - -109628. Let j = 0 - -3. Which is smaller: b or j?
b
Suppose -7*d = 9475 + 1090 + 5045. Which is smaller: d or -2228?
d
Let f = -59 + 60.89. Let g = -0.24 + -0.87. Let v = f - g. Is v at least -0.06?
True
Let n be (-2)/24 - 9/(-12)*924/(-756). Which is smaller: 1/6607 or n?
n
Let q be -46*(0 + (-18)/4). Suppose 5*h - 1055 = -2*m, -5*h + 20*m = 17*m - 1005. Is h equal to q?
True
Suppose -612 + 112 = 25*x. Let g = -56 - -40. Let q = g + -2. Which is smaller: x or q?
x
Let f = -945/62 + -8/31. Suppose -4*s - 82 = -3*d + 154, 5*s = -3*d + 218. Suppose -5*v - y - d = 0, -2*v + 5*y - 4 = 21. Is f less than or equal to v?
True
Let a be ((-12)/(-15))/((308/(-680))/7). Let s be (2 - (-15)/(-2))*(246 + -244). Is s not equal to a?
True
Let d be (-2 + 4 + 3)/((-33)/(-4785)). Is 720 <= d?
True
Let d(g) be the first derivative of g**2 - 23*g - 8. Let v be d(14). Let u be (-160)/8 + (v - 1). Which is bigger: -14 or u?
-14
Let r be -3*(-18)/(-189) + (-154855)/21. Let h = r + 7209. Is -166 at least h?
False
Suppose 11*s + 27*s = -18582. Let b = -490 - s. Is b at least as big as -2/523?
False
Let h be 384/8*(7 + (-3222)/12). Does h = -12552?
True
Let o = 3111 + -3137. Does 27 = o?
False
Let w(l) = -1 + 0 - 22*l**2 + 26*l - 10*l + l**2 + l**3 + 22*l. Let b be w(19). Which is smaller: 5/188 or b?
b
Let z = 23441 - 24542. Is z bigger than -1119?
True
Let x(d) = -2*d**2 + 2*d + 2. Let b be x(-1). Let u(p) = 7*p**2 + 5*p + 4. Let r be u(-2). Suppose -c = c - r. Which is bigger: c or b?
c
Let v be 1*(3 - 5) - -91. Let k = 4898/55 - v. Let x = k + -94/715. Which is smaller: x or 0.1?
x
Let m be (0 + 20/8)*(-784)/(-20). Let c be 35/(-168)*m/105. Is c greater than or equal to -1?
True
Let l(i) = 10*i - 244. Let g be l(25). Let u be (-4)/(-1)*g/(96/20). Is u greater than 27/7?
True
Let l be 702/4 + 1/(-2). Suppose 58*x = 53*x - l. Let i = -242/7 - x. Is i <= -0.7?
False
Suppose -j - 3*v + v = 2, -4*j = 4*v. Let h(y) = -8*y + 8. Let p(q) = -7*q + 7. Let r(m) = 5*h(m) - 6*p(m). Let g be r(j). Which is bigger: 5/7 or g?
g
Let b = 815 - 814. Is -2102 != b?
True
Suppose 0 = -2*z - v + 9, -4*z - 9*v + 24 = -5*v. Suppose x - 2*b + z = 13, 5*x - b = 5. Is 9/125 < x?
False
Let w be (-7)/5 - (-2)/5. Let l = w - 1. Let c = -141931 - -993512/7. Which is bigger: l or c?
c
Let f(u) = u**3 - 5*u - 5. Let y be f(-2). Let p be (y - -3)*(-2 + 1). Let g be (-1)/3 + p + 121/3. Is g at least as big as 39?
True
Let t(b) = b**2 + 40*b - 79. Let k be t(-43). Suppose 39*n - k*n = 693. Is -66 greater than n?
False
Let r = 3420 + -3436. Is r >= 50?
False
Let v = 4969 + -4896. Which is bigger: v or -1?
v
Suppose 0 = 4*i + 5*b + 936, 3*i = -3*b - 688 - 14. Let l be 9/(i/(-1096)) + 4/(-26). Which is greater: l or 41?
l
Let t = 2462 - 2460. Let v = -34 + 31. Which is greater: v or t?
t
Suppose -7*x = 5*x + 288. Let m be (56/14)/(4/(-25)). Which is smaller: x or m?
m
Let i = 212 + -47. Suppose -7*l - i = 17. Let h be (3*-2)/(351/l). Which is greater: -1 or h?
h
Let n = -45229/49 + 923. Let g be (-1 - 1)/(-6 + -6 + 11). Suppose 2 = -w, g*w - 5*w - 9 = -3*z. Is z greater than n?
True
Let x(w) = -39*w - 352. Let g be x(-9). Let o be 15 + -16 - (0 - g)*-1. Is 4/183 greater than o?
True
Suppose 17*s + 40*s - 14222 - 2536 = 0. Is s less than or equal to 2/5?
False
Let b = 738 - 751.08. Let x = b + 0.08. Let g = x - -4. Is -1 smaller than g?
False
Let b = -220 + 220.13. Is 2/441 at most as big as b?
True
Let q be (0 - 6/14) + (-24)/(-7). Suppose -13 = -4*y + 3*s, s - 55 = -5*y - q*s. Suppose -4*j = -y + 3. Which is smaller: 34 or j?
j
Let i = -1475 - -1474.59. Is -1/10 bigger than i?
True
Suppose 0 = j - 43 + 40. Suppose 8 = j*h - b, b = 2*h + 2*b + 3. Let d = -7 + 531/76. Which is smaller: d or h?
d
Let j be -17 - ((-2322)/6120 - 16). Let m = -14510/17 - -854. Let h = m + j. Which is smaller: h or -1?
-1
Let v = 45 + -44.84. Suppose -5*l - 4*l = 9. Is v bigger than l?
True
Let g = -37 - -112/3. Let p(t) = 2*t + 70. Let k be p(-32). Let q be 2/7*k/4. Is g equal to q?
False
Let p(k) = -4*k**2 - 51*k + 15. Let z be p(-13). Suppose 2*j = 4*n - 62 + 290, -5*j = z*n + 90. Are -58 and n equal?
False
Let t be 19/57 - 2 - (-2285)/1317. Which i