 Let m be f(10). Do 72 and m have different values?
True
Let l be (-498)/(-8) + 56/(-224). Let q = -80 + l. Which is smaller: q or -10?
q
Suppose -299 = -k - p, 32*k + 3*p - 1192 = 28*k. Is 302 equal to k?
False
Let l be (6/(-5) + 2)*-10. Suppose 5*s = -81 + 101. Suppose -5*v + 5*t + 0*t - 10 = 0, 3*v + 2 = s*t. Which is smaller: v or l?
l
Let o = -4050/11 + 8577/44. Let z = -173 - o. Is -120 greater than z?
False
Suppose 2*o + 19*g - 23*g - 30 = 0, 4*o = -g - 12. Which is bigger: 23/150 or o?
23/150
Let s = -53194.3255 + 53210. Let g = 0.0355 + s. Let v = g + 0.29. Is v greater than or equal to 0?
True
Let l(y) = -y**3 - 131*y**2 - 1322*y - 17. Let g be l(-11). Is g > 156?
False
Suppose 2*j + 118 = 3*c, 14*c + 158 = -3*j + 9*c. Let s be 4 + 609/j + 8. Which is smaller: s or 0?
0
Suppose 5*r = 4*s - s - 4, 3*s = 3*r - 6. Let u be (0 - -14) + (3 + s)/2. Let g(f) = 12*f**2 + f + 2. Let m be g(-1). Which is smaller: m or u?
u
Let x(n) = n + 1. Let w(m) = 11. Let a(g) = -w(g) + 5*x(g). Let k be a(2). Let c be -2*(150/k)/(-5). Is 15 less than or equal to c?
True
Let w = -273 + 275. Let z be 8554/(-141) + w/3. Which is smaller: z or -63?
-63
Let c = 188 + -154. Let k = -34.045 + c. Are k and 1 equal?
False
Let u(a) = -a**3 + 5*a**2 + 16*a - 47. Let q be u(6). Which is smaller: 167/14 or q?
167/14
Suppose 15*p + d = 10*p + 1570, -1550 = -5*p + 3*d. Let a = 313 - p. Is 2/49 smaller than a?
False
Let v be 4 + 5/(30/1338). Suppose -p + 224 = v. Which is smaller: p or 1?
p
Suppose 3*u = 8*u + 875. Let m = u - -81. Suppose 4*l = 28, 627 = -11*g + 2*l - 432. Is g != m?
True
Let v(y) = -y**2 - 103*y + 1129. Let z be v(-113). Which is bigger: 48 or z?
48
Suppose -2*o = o. Suppose -12*z + 88 = -32. Let s be 4560/(-11775) + z/25. Which is bigger: s or o?
s
Let j = 3002/15 - 200. Suppose 3*i - 2*u = 7, -4*i + u - 100 = -101. Is i equal to j?
False
Suppose -1246 - 7742 = -6*w. Is 1497 less than w?
True
Let b = 2.5 + -0.5. Let q = 0.1605 + -960.1605. Let w = q - -1002. Is w at least as big as b?
True
Suppose -30*t = 82*t - 16912. Is 158 less than or equal to t?
False
Let h(v) = v**2 + 43. Let b be h(0). Suppose -3054*o + 528 = -3042*o. Which is smaller: o or b?
b
Let q(b) = -4*b + 75. Let v be q(19). Suppose 5*u = -3*s - 3144, -4*u + 0*s - 2524 = -2*s. Let r = u + 18272/29. Is r greater than v?
True
Suppose q = -0*q + 4*r + 2388, 4*r = -13*q + 30820. Which is greater: 2370 or q?
q
Let v(n) = -5*n**3 + 3*n**2 + 5*n - 26. Let a be v(4). Do -300 and a have different values?
True
Let t(s) = -s**2 - 15*s + 8. Let a(x) = -2*x**2 - 31*x + 18. Let h(r) = 6*a(r) - 13*t(r). Let f be h(-8). Is -2/27 greater than f?
True
Let r = -11651 - -11336421/973. Does 0.3 = r?
False
Suppose -5*t - 103 = y, 5*t + 36*y + 135 = 31*y. Are t and 13/4 equal?
False
Let y be 18/63 - 4/14. Suppose 6*r - 36 = -y*r. Does 9 = r?
False
Let l = -22 + 27. Suppose 0 = 4*o - 11 - l. Let s = 53 + -48. Is s at most as big as o?
False
Let a = -403 - -825. Are a and 423 equal?
False
Suppose 0 = -1308*w + 1306*w + 108. Is 68 greater than w?
True
Let c(j) = j**3 + j**2 - 33*j - 4. Let l be c(11). Is 1086 less than l?
False
Suppose 0 = -6*f - 0*f - 654. Let i = -152 - -321. Let j = f + i. Is 0.1 bigger than j?
False
Let d = -202 + 210. Let j(a) = 3*a**2 - 22*a - 11. Let g be j(d). Do g and -5 have the same value?
False
Let p(v) = 2*v - 6. Let c be p(4). Let w(n) = -2*n**3 - 209*n**2 + 315*n - 290. Let s be w(-106). Let z be (7/(-28))/(c/s) + 3. Which is greater: -1 or z?
z
Let p be (-3)/97*(70/(-12))/(-5). Let m = -2241/8342 - p. Is 1 > m?
True
Let a = -14592 - -14717. Which is smaller: 19 or a?
19
Let h(z) = -z**3 - 13*z**2 - 10*z + 24. Let y be h(-12). Suppose 4*o + 12 + 0 = y. Let l = -38/5 - -103/30. Which is smaller: l or o?
l
Let w = 91/400 + -3/16. Let z = -11605 - -1160529/100. Let v = w - z. Does v = 24?
False
Let j be ((-1)/4 + 1)*(704 - 364). Let k = 276 - j. Is k <= 21?
True
Let f = -40755/14 + 4112811/1414. Are -2 and f equal?
False
Suppose 0 = 2*c - 41*c - 14703. Which is bigger: -379 or c?
c
Let s = -9 + 16. Suppose -s*m = -2*m - 10. Let p be 6/((-255)/68 + 6). Which is smaller: m or p?
m
Let n be (25/(-60))/(175/(-140)). Which is smaller: n or 45/58?
n
Let j be ((-9)/3 - -13)/2. Suppose j*q + 40 = 5*i, q = -i + 4*q + 16. Let l be (0 + -1 + i)/(-2). Which is bigger: -1 or l?
-1
Let a = 14842 + -14924. Which is smaller: a or 0.15?
a
Let l = 34 - 39. Let b(r) = 2*r + 16. Let o be b(l). Let t(k) = k - 5. Let w be t(o). Is w less than or equal to -3/65?
False
Suppose -361 = -4*b - 229. Are b and 19 non-equal?
True
Let r be 1 - 1 - 12/4. Let p = r - -6. Let a = -1232 - -1230. Which is smaller: a or p?
a
Suppose 24*z + 5*z - 145 = 0. Suppose 3*t - 190 = -z*n, -5*t + 11*n - 12*n + 302 = 0. Which is greater: 59 or t?
t
Suppose 3*o + 1055 = -4*a + 3275, 0 = -4*o. Let k = 2199/4 - a. Which is greater: k or -5?
-5
Let t = -7 - -6. Let n be 5/(-40)*58 + 7 - (-3)/(-84). Which is smaller: n or t?
t
Let g be ((-10)/(-20)*-22)/(1/(-2)). Let y be (-29)/(-1) - 2 - -1. Suppose 4*w = 60 + y. Do g and w have different values?
False
Let w be ((-1)/12)/((-294)/2688). Let r = w + -331/462. Let z = -0.7 - 0.3. Which is greater: r or z?
r
Let x be -10 + 35 + (0 - 3). Suppose j = -3*j + 4, 3*h + 2*j = 71. Which is greater: h or x?
h
Suppose -1 = -692*x + 693*x. Let p be 51/(-54) + (0 - -1). Which is greater: p or x?
p
Suppose 8 = t - 3*k, 6 = 2*t + 5*k + 1. Let a be ((-15)/t - -3) + 32. Suppose -2*c + 74 = 2*y - 0*y, 0 = -5*c + 2*y + 157. Which is smaller: a or c?
a
Suppose -399*t = -380*t. Are t and 16/11 nonequal?
True
Let x = 32118 + -32110. Do x and 457/54 have the same value?
False
Let n be (-6)/14 - (-420)/(-49). Let w be 1560/n*(66/12 - 4). Is 1 > w?
True
Let r be (2*(-3)/(-16674))/((-16 + 9)/(-7)). Which is greater: r or 0?
r
Let h = 1/5 - 79/370. Let d(w) = w**2 - 4*w - 21. Let a be d(-3). Suppose -4*g - 4*x + 9 + 3 = a, 2*x = 5*g - 1. Which is greater: h or g?
g
Let h(z) = 4*z + 37. Let p be h(-10). Let s be (-1143)/810 - (p/27 + 0). Are s and -1 unequal?
True
Let k(g) be the first derivative of 15*g**2/2 - 214*g + 18. Let t be k(14). Which is smaller: t or 25?
t
Let p be (-204)/18*6/4. Let v be (-6)/(-10) + p/85. Are -316 and v non-equal?
True
Let i(r) = -r**3 - 10*r**2 - 9*r - 28. Let o be i(-9). Let l be (8/(o - -4))/(1/3). Which is smaller: -1/34 or l?
l
Let d = -2.2 + -8.8. Let p = -28 + d. Let h = p - -35.6. Is h greater than -0.1?
False
Suppose 5*r - 7*a = -5*a + 2102, 0 = -3*r - 2*a + 1274. Let o be r - (-4 - (-5 + 3) - -3). Is 421 greater than or equal to o?
True
Let q(c) = c**3 - 11*c**2 - 11*c + 18. Let d(v) = 4*v**2. Let y be d(1). Suppose y*j = 8, -5*j - 26 = i - 4*i. Let h be q(i). Is h smaller than 29?
False
Let j(u) = -3*u. Let d(f) = f + 1. Let x(h) = 5*d(h) + j(h). Let a be x(-6). Let b(r) = 26*r - 471. Let w be b(18). Which is bigger: a or w?
w
Let d be (2 - 7) + -9 + 437. Let i = 210470471/36 - 5846825. Let m = i + d. Which is bigger: -1 or m?
m
Let g = -26 - -35. Suppose -10*p + 11*p + 301 = 0. Let c = -874/3 - p. Do g and c have the same value?
False
Let f be -10*(-2)/2050*(-175)/60. Which is bigger: f or -0.3?
f
Let k = 227 - 73. Let w = -138 + k. Suppose -5*r - 75 = -5*o, -r - 4*r + 69 = 3*o. Which is smaller: o or w?
w
Let x = -29.9 - -30. Let q = 3064597/11 + -278395. Let m = -205 + q. Which is smaller: x or m?
m
Let f be 2/125*(-13 + 18). Let j(b) = -b**3 + 3*b**2 + 5*b - 4. Let w be j(4). Suppose 3*k = -w*k. Which is bigger: f or k?
f
Let a be (2 + (-7)/((-7)/(-351)))*1. Let l = a + 532. Let o = l + -1279/7. Is 3 smaller than o?
False
Let t = 7064/5 + -565113/400. Is t equal to 0?
False
Let h(s) = 2*s**2 - 122*s - 1109. Let c be h(-8). Which is bigger: c or 3.51?
3.51
Let f = 8/59 - 227/1239. Let a(b) = b**2 - 10*b + 20. Let o be a(8). Suppose o*v + 12*v + 16 = 0. Is v >= f?
False
Let m be (-8)/(-10) - 28/70. Is m < -7/24?
False
Let m(x) = -5*x - 35. Let c be m(-15). Let q be c/6 - 1/(-3). Let g(b) = -b**2 - 7*b - 5. Let l be g(-4). Are q and l non-equal?
False
Suppose 469 = -810*h + 812*h + j, 5*h = j + 1148. Is 219 smaller than h?
True
Let h(a) = 2*a - 19. Suppose -24 + 19 = c. Let q be h(c). Which is bigger: -25 or q?
-25
Suppose -124*o - 327643 = 524053 - 1056. Is -6861 at m