 - 7*u(m). Let x be j(6). Which is smaller: v or x?
x
Let y(d) = d**2 + 5*d - 25. Suppose -5*s + 3*z - 43 = 6*z, z + 33 = -4*s. Let c be y(s). Let i = 3125/14714 - -2/1051. Is c at most as big as i?
True
Let d = -6139/52 + 118. Suppose 4 = -5*n + n. Is d smaller than n?
False
Suppose 5*v - 5*h = 10, 2 = -4*v + 3*v - h. Let n = -3050.1 - -3048. Do v and n have the same value?
False
Suppose 5*a + 0*a = -45. Suppose 4*t + 5*i = 19, -2*t - 4*i - 3 = i. Let p = t + a. Is p at most 1?
False
Let l(k) = k**2 - 16*k + 4. Let m be l(16). Let o be (((-16)/4)/m)/5. Let n(r) = r**2 - 8*r + 9. Let j be n(6). Are j and o equal?
False
Let x be -1 + (4 - -5) - -4. Let q be -3*(1 + 20/x). Which is smaller: -7 or q?
q
Let x(n) = n**3 - 59*n**2 - 773*n + 155. Let w be x(70). Let r = 131 + -186. Is w equal to r?
True
Let b(q) = -q**3 - 11*q**2 + 12*q - 8. Let x be b(-12). Let d(k) = k + 2. Let v be d(2). Let t = v + x. Which is smaller: t or -5?
-5
Let n = 4.0618 + -0.0618. Is n bigger than -10?
True
Suppose 12 = -4*n, 3*k + 2*n + 214 + 26 = 0. Let w(q) = -4*q**2 - 38*q - 11. Let r be w(-11). Does k = r?
False
Let x = -37/143 - -2/11. Let o = x - 28/143. Is o != 0?
True
Suppose -216 = 124*u + 528. Is -37/6 greater than or equal to u?
False
Suppose -2*d - 2*b + 4*b - 6 = 0, 4*b + 15 = -5*d. Is d > -11?
True
Let x = 499 + -519. Are -14 and x equal?
False
Suppose -4*z - 2*f - 174 = 0, 0*z - 2*f = 3*z + 132. Let d be 17/51 - (-122)/z. Which is bigger: -2 or d?
-2
Suppose -3*k - 2*l - 71 = 35, -4*l = -3*k - 112. Let h = 29 - 20. Let b be (24/h)/((-8)/k). Is 11 not equal to b?
True
Let f be ((-2430)/264)/9 - (-2)/2. Which is greater: 0 or f?
0
Let h be (-9480)/35 - (4/28)/1. Which is greater: h or -273?
h
Let x = 76.7 - 52. Let c = -9.7 + x. Is c >= 2?
True
Suppose -2*n = 2*i - 2, 3*i - 4*i = -2*n + 17. Let p be (-5)/n - (-8 + 7). Is 13 at least as big as p?
True
Let k = -232 - -296. Which is greater: k or 0?
k
Let w = 677/892 + -2/223. Which is smaller: 9/8 or w?
w
Let v be (-6)/((-45)/20*1/(-3)). Let f be 6/v - (-15)/60. Which is bigger: 2 or f?
2
Suppose -5*f - 260 = -4*u, 8*u + 2*f = 3*u + 325. Let m be (-21)/(-63) + u/3. Is 22 > m?
False
Let a = -1005/7 + 144. Let q(r) = r**2 - r + 1. Let f(j) = 4*j**2 - 12*j + 10. Let t(h) = f(h) - 2*q(h). Let c be t(4). Is c greater than a?
False
Let v = 2 + 5. Suppose v*p - 33 = 2*p + 3*o, -3*o - 21 = -3*p. Let b = -4 + p. Does b = -7?
False
Suppose -21 = y - 5. Let s = -1.59 + 1.59. Which is smaller: y or s?
y
Suppose 4*p + 8 = -2*m, -2*p = 2 - 0. Is m at least as big as -8?
True
Let z = 73 + -62. Suppose 0*c - z = -11*c. Do c and -2/11 have the same value?
False
Suppose 281 = -c - 147. Which is bigger: c or -429?
c
Let r be (8/6 + -2)*(-372)/(-4). Is -426/7 at least as big as r?
True
Let x(t) = 2*t + 10. Suppose 4*c - 2*c - 6 = 0, 2*f + 4*c = 0. Let a be x(f). Let i(m) = m**2 + 6*m - 10. Let y be i(-7). Are y and a non-equal?
True
Let g = 87 + -97. Suppose -y + 0*y + 5 = 0. Let i be (-56)/g - 3/y. Which is greater: 4 or i?
i
Suppose 4*c + 11 = -13. Let z be (-4)/c + (-4)/(-12). Let n = 2 - z. Is -1/10 greater than n?
False
Let z be -2*(-1)/(-4) + (-18)/4. Let f be z/(5/(1 + 4)). Which is greater: -10 or f?
f
Let d(y) = 28*y - 2. Let f be d(-1). Let w be (f/(-4))/(-3)*-2. Let g = 13 - w. Which is greater: g or 6?
g
Let q = 644 + -644.1. Is 521 less than or equal to q?
False
Let u = -22 - -22. Suppose -3*r + 9 + 6 = u. Suppose r*p = 4*p. Which is bigger: 2/5 or p?
2/5
Let u = -0.1 + 0.4. Let v = 0.04 + 0.16. Let t = v - u. Is 3 greater than or equal to t?
True
Let x be (-147)/126*20/49. Is -1 < x?
True
Suppose 16*h = -2315 + 651. Let b(n) = -3*n**2 + 34*n + 8. Let g be b(14). Do h and g have different values?
False
Let n be -3 + 4/1 + -1. Let c = -250/3 - -84. Which is greater: c or n?
c
Let y be (116/(-6))/((-12)/18). Suppose -142 = -3*g - 2*g - 2*z, 5*g - 138 = -3*z. Is g less than y?
False
Suppose -5*j + 4 = -j. Which is bigger: j or 15?
15
Let p(x) = -5*x**2 - 25*x - 59. Let r(w) = 11*w**2 + 50*w + 119. Let k(c) = 13*p(c) + 6*r(c). Let n be k(27). Is n smaller than 2/45?
False
Let b be (8/(-10))/((-16)/(-80)). Let r be 2*2 - (b - (-4 - 5)). Which is smaller: -7/9 or r?
r
Let w = 0.1509 + 111.8491. Which is smaller: w or 0.2?
0.2
Let z = 6934.954 + -6942. Let a = 0.046 + z. Is -1/4 at most a?
False
Suppose 15*x - 13*x - 3 = -5*n, -5*n + 9 = -4*x. Which is smaller: n or -2/351?
-2/351
Let q be 1100/46 + 24/276. Suppose -86 + 14 = -3*b. Is b bigger than q?
False
Let q(j) be the first derivative of j**3/3 + j**2 - 7*j + 7. Let p be q(-4). Suppose -4*t = m + 9, -4*m + 5*t + 26 = -p. Which is smaller: 16/9 or m?
16/9
Let r be 6*(-3)/(-18)*-611. Is -611 greater than r?
False
Suppose 36 = -2*s + 36. Let n be 1 + -10 + 4 + s. Let k = 0.3 - 0.1. Is n equal to k?
False
Let g = -5.184 + -0.116. Let o = g + 6.3. Which is smaller: o or -5?
-5
Suppose -4*o - 35 = -3*v, -10*o - 2*v = -5*o + 61. Which is bigger: 2/17 or o?
2/17
Let y be ((-32)/(-12))/(292/(-6)). Which is smaller: y or -1?
-1
Suppose -1 = -v + 38. Let c = v + -49. Which is smaller: c or -9?
c
Suppose -5*p = -5*h - 15, -2*h = -0 - 6. Let f be (2/p)/(5/30). Suppose 5*x - l + 0*l = -7, f*x = -4*l - 16. Which is smaller: -4 or x?
-4
Let c = 114 + -114. Suppose c = -6*a - 34 + 238. Which is greater: a or 32?
a
Suppose 30*p = -1943 + 6443. Which is smaller: 0.2 or p?
0.2
Let o be -2*(-2 - -1 - -2). Is -5 >= o?
False
Let w be (-4*8)/(2/(-6)). Suppose 5*g - 3 = 5*h - 6*h, -4*h = -g - w. Is h <= 24?
True
Let t = 3 + -1. Let f be -1*(-9)/(-3) + 4. Let s(m) = m**2 + 3*m - 2. Let q be s(f). Do q and t have the same value?
True
Let v be (-50)/(-40)*(-5)/13*4. Is -2 at least as big as v?
False
Suppose -50*p = -39*p + 1980. Is -179 less than p?
False
Suppose -4 = 4*k, -3*w - 3*k - 55 = -5*k. Which is bigger: w or -15?
-15
Suppose -2*b - f + 17 - 6 = 0, 0 = 2*b - f - 9. Suppose -b*r + r = r. Is 0 <= r?
True
Let p(f) = 39*f + 1004. Let c be p(-21). Which is greater: 189 or c?
189
Let g be 1*(-10)/18*6. Suppose 0 = -4*w + 12, k + w - 23 = 2*k. Let i = -24 - k. Is g not equal to i?
True
Let k(x) = 5 + 9*x - 3*x - 25 + x. Let h be k(8). Let w be (-46)/h + (-2)/9. Which is smaller: -3 or w?
-3
Let w(u) = 0 + 3 - 2*u - 1 - 4. Let s be w(-6). Suppose s = -2*c - 0. Is c bigger than -4?
False
Let d = -283.8 - -249.8. Let f = -2.8 + 3. Are f and d nonequal?
True
Let q(y) = 7*y**3 + y**2 - 3*y + 1. Let z be q(2). Suppose 0 = -4*c - c - z. Is c greater than -8?
False
Let j = -1694 + 1693. Which is smaller: j or 43?
j
Suppose -4*x = -2*v + 308, -2*v = v + x - 490. Let w = v - 651/4. Which is greater: 0 or w?
0
Suppose -50*y = -44*y + 612. Is y equal to -103?
False
Suppose 35 = -2*r - 71. Let d = r + 36. Let b = d - -15. Is b smaller than -2?
False
Let f(k) = k**2 - 3*k - 62. Let b be f(10). Which is greater: -6 or b?
b
Let d(f) be the first derivative of -7*f**2/2 - f + 78. Let a(m) = m**2 + 5*m + 5. Let w be a(-4). Let t be d(w). Are -8 and t non-equal?
False
Let v = -12.072 + 0.072. Which is bigger: v or 0.8?
0.8
Suppose -13 = 5*g + 2*c + 16, -2*g = -c + 17. Which is bigger: -62 or g?
g
Let f = 36 - 31. Let a(w) = -w + 11. Let p(h) = -h**2 + 6*h + 5. Let j be p(6). Let c be a(j). Which is smaller: c or f?
f
Let b(f) = 6*f - 5. Let h be b(0). Which is smaller: h or -84/13?
-84/13
Let a(k) = k**2 - 1. Let i(z) = -z - 1. Let b be i(1). Let h be a(b). Suppose 6*l = l. Is h < l?
False
Let m = -1.05 + 1. Let j = -0.25 + m. Let k = j + 0.2. Which is smaller: 5 or k?
k
Let r be (-10)/20 + (-1)/((-2)/77). Let q = -50 + r. Do -13 and q have different values?
True
Let j be 3*1546/(-9288) + 3/6. Which is greater: j or 1?
1
Let y = 22/7 + -6681/2128. Let n = -3027/3952 - y. Which is greater: -1 or n?
n
Suppose 17*o = -377 - 303. Is o <= -38?
True
Let r = -11 - -11. Suppose 0 = 4*t - 20, r = 2*u - 6*u + 5*t + 59. Is 22 at most u?
False
Let c be 2440/(-16)*(-4 + (-2080)/(-525)). Which is smaller: c or 5?
5
Suppose 4*i = 3*i - 2*f, 4*f = 4*i - 60. Let c be (2 - (-5)/i)*-4. Is c equal to -14?
False
Suppose 5*v - 13 = -a, 0 = 3*a - 0*v + 4*v - 6. Suppose 4*t = 3*t - 10. Let q be (-7)/(-140) + a/t. Is q >= -5/7?
True
Let z(g) = g**2 - 5 - 4*g - 1 + 5*g - 6*g. Let i = 66 + -60. Let a be z(i). Is a > -4/9?
True
Let w(