
Suppose 5*p - 3*v + 3 = 0, 0*p + 3*p = -v + 1. Suppose 5*n - n + 5*j - 16 = p, n = -4*j - 7. Let o = 422 + -414. Is o != n?
True
Let j = -75117000 - -7586727616/101. Let q = -885 - j. Which is bigger: 1 or q?
1
Let b = 565578/61 - 9272. Which is smaller: -1 or b?
-1
Suppose -2*w - r - 2*r = 0, 11 = 3*w - r. Suppose -p = -c + p + 61, -2*c + 94 = w*p. Let a = -211/4 + c. Does a = 1/6?
False
Let h(o) = 497 + 8*o - 497. Let c be h(1). Let b be 2/c*252/45. Which is greater: 1 or b?
b
Let n(b) = 292*b + 586. Let a be n(-2). Suppose 5*h + 14 = -z, -5*z = -0*h + 5*h - 10. Which is greater: a or z?
z
Let a be 1 + ((-48)/20)/2. Suppose 2*c + 6 = -3*t, -c - 5*t - 10 = -0*c. Is c smaller than a?
False
Let g be -8*(-2)/(-28) + 1054/1869. Which is bigger: g or 1?
1
Let x = 37.43 - 38. Let p = -0.87 - x. Which is bigger: 2 or p?
2
Suppose o = -3*z - 13, 74 - 82 = 4*o + z. Is o equal to -28/103?
False
Suppose -s + 5*g = 36, -6*g = 4*s - 2*g + 24. Is -14 <= s?
True
Let q(j) = j - 2. Let v be q(3). Let o(p) = -4*p**3 + 5*p**2 + 3*p. Let b be o(4). Let i = b + 496/3. Is i at most as big as v?
False
Let q be (-8)/(-3) - 8/12. Let b(l) = 3*l - 2. Let z be b(q). Suppose -3*j + 5*i - 9 - 2 = 0, z*i = -2*j. Is j less than or equal to -5?
False
Let t = 215 + -217. Which is smaller: 7/13 or t?
t
Let k be 1*(1 + 0 + 0). Let x = -38 + 38. Let s be ((-10)/(-15)*-3)/(x + -41). Which is bigger: k or s?
k
Suppose 6*z = 334 + 608. Which is smaller: z or -0.1?
-0.1
Let p(n) = n**3 + 14*n**2 + 14*n + 14. Let l be p(-13). Suppose -b - 4 = -t - 4*b, b = l. Let j(f) = -f**3 - 6*f**2 - 5*f. Let i be j(-5). Is t < i?
False
Let h(z) = 8*z - 2. Let t be h(2). Let n = -17 + t. Let p = -11 - -7. Which is bigger: n or p?
n
Suppose -8*v + 2*v - 18 = 0. Is v less than -38/21?
True
Suppose 9 = -2*n + 2*x + 79, 2*n = x + 75. Let j = 37 - n. Which is greater: -4 or j?
j
Suppose -w + 2*w + 4 = 0. Suppose 12*v + 27 = 15*v + 5*l, 8 = -v + 4*l. Suppose 244*r - v = 245*r. Do r and w have the same value?
True
Let p = -34972/185 + 936/5. Is -3 greater than or equal to p?
False
Suppose -2*k - 3*k - 15 = 0. Is k greater than -27/8?
True
Suppose 5*o - l = -606, -263 = 5*o + l + 341. Is o at least as big as -122?
True
Let i = 16.6 + -17.4. Are i and -29 equal?
False
Let d = -0.27 + 51.27. Let p = 0.0673 - 0.0673. Is p at least d?
False
Let x(i) = -4*i + 25. Let o be x(6). Is o less than or equal to 0?
False
Let n = 1.65 + 0.35. Is n less than -135?
False
Let p = -33/4 + 243/28. Let z(g) = g**3 - 2*g**2 - 3*g. Let x be z(3). Let f be x + (-1 - 8/(-6)). Which is smaller: p or f?
f
Let t = 148 + -98. Suppose 52*l = t*l. Which is smaller: l or 1/51?
l
Suppose 3*a + 12 = 4*o, -2*o + 0*a - a = 4. Let y(g) = -g**2 - 10*g - 21. Let p be y(-6). Let w be 23/21 - 1 - 2/p. Which is greater: w or o?
o
Let s = -8 + -6.7. Let d = s + 15. Let h = d - 0.34. Which is smaller: -1/5 or h?
-1/5
Let f be (0 + 4 + 0)*353/4. Which is bigger: f or 354?
354
Suppose w - 108 = -0*w. Suppose 92 = 112*y - w*y. Is 23 < y?
False
Let c = -164 - -9677/59. Let r = c - 299/236. Suppose -44 = -12*b + 34*b. Are r and b non-equal?
True
Let s = -2362 + 2361. Is 5/113 bigger than s?
True
Let k(r) = r**2 + r + 1. Let q be k(0). Let v = q + 3. Suppose 17*i - 13*i + v = 0. Is i at least as big as 0?
False
Suppose 2*n + 2*h - 20 = 3*h, 0 = -2*h + 8. Let t(a) = 2*a**2 + 13*a + 31. Let j be t(-3). Let k = n - j. Is k greater than 2?
False
Let y = -1847 + 4429. Let k = y - 348568/135. Is -1 greater than or equal to k?
False
Let d = 43 + -39. Suppose 15 = -d*g - 5. Does -5 = g?
True
Suppose 2*o + 5*t - 10 = 2*t, 0 = 2*o - 4*t + 4. Let g be o/(-8) - 31/4. Which is smaller: g or -6?
g
Suppose -4*t + 56 = 20. Suppose d - 32 + t = 0. Which is smaller: d or 22?
22
Let y be 15074/31434 - 1/3. Let z = -8/169 - y. Are -1 and z equal?
False
Suppose 3*i = n - 13 + 2, 0 = 3*n + 12. Is i greater than 52?
False
Let t be (-34)/(-221) + (-63)/(-13). Is t < 60/13?
False
Let r = 5 - 2. Suppose 2*u = 4*f - 8, -f + 2 = -r*u - 5*f. Let i = 0.02 - 1.02. Which is greater: u or i?
i
Let u be 4/10 - 5611/(-35). Let h = u - 4017/28. Which is smaller: h or 16?
16
Let x = -0.049 + 1.049. Is x <= 0.433?
False
Suppose -3*h = 5*o + 904, -o - 197 = -h - 21. Which is bigger: -183 or o?
o
Let n = -508 - -12701/25. Is n at least 0?
True
Let t = -204 - -205. Are -2/339 and t equal?
False
Let d(z) = 2*z**2 - 3*z. Let s be d(2). Suppose -4*a = s*a. Which is smaller: a or -2/27?
-2/27
Let m = -1835 - -1835. Let j = -6/41 - 28/369. Is m bigger than j?
True
Suppose 5*a = c + 2, -4*a - 3*c - 16 + 29 = 0. Which is smaller: a or 2/287?
2/287
Suppose -4*m = 453 - 305. Is -36 >= m?
True
Let u be (-2)/(1 - (-6)/(-4)). Suppose -k + u*h = -0*k - 6, 4*k - 3 = -5*h. Which is smaller: 3 or k?
k
Let x be (-4)/8 - 665/540. Let k = -14/27 + x. Let h = -5/3 + 1. Which is smaller: k or h?
k
Let h be ((-12)/15)/((-10)/25). Suppose -h*a - 19 + 19 = 0. Is 3/74 at most a?
False
Suppose 13*u = 12*u + 3. Let c be 0 + (-1 - -1) + -1. Let y = c + u. Is 12/7 <= y?
True
Suppose 2*v + 403 = -17. Let m be (-104)/v + (-12)/30. Let t(z) = z**2 + 5*z - 5. Let n be t(-6). Which is bigger: n or m?
n
Suppose -5*q + 591 + 189 = 0. Do 155 and q have the same value?
False
Let c = -6921/35 - -987/5. Which is bigger: -1 or c?
c
Let k be (-4 + 1)/((-12)/8). Suppose -3*b - 43 = -9*v - 82, -4*b = -4*v - 12. Which is smaller: v or k?
v
Let u be 20/6 - (-4)/6. Let v(j) = j**2 - 1407 + 712 + 704 + 2*j - 3*j**2. Let g be v(u). Is -15 >= g?
True
Let x = -88.04 + 0.04. Let q = x + 87.9. Which is smaller: -0.39 or q?
-0.39
Suppose -7*t = -4*t. Let z(w) = w**3 - 4*w**2 + 2*w + 1. Let s be z(4). Which is bigger: t or s?
s
Let h = -5 + 7. Suppose 18 = -2*g - h. Let s be ((-2)/(-6))/(6 - (-398)/(-66)). Does g = s?
False
Let u = 21 + -20. Which is smaller: -0.45 or u?
-0.45
Suppose 6*a - 2*q + 5 = 3*a, -2*a + q - 3 = 0. Is -1/346 != a?
True
Let x be 4/(-10) - 52/(-105). Let k(c) be the second derivative of -c**5/20 + 3*c**4/4 + 5*c**3/3 - 3*c + 8. Let y be k(10). Which is smaller: x or y?
y
Let c = 297.6 + -166.7. Let v = c + -131. Which is greater: v or -51?
v
Let w(o) = -4*o. Let j be w(2). Let b be (-1)/(((-3)/1)/(-168)). Let g be (-3 + 1)*b/(-16). Which is bigger: j or g?
g
Let c be -1 + 55/21 - (-14)/(-49). Let w be (-4)/((2 - 4) + 0). Which is bigger: w or c?
w
Suppose r - 4*r = -12. Let w = -18 + r. Let m = 15 + w. Is m greater than 2/19?
True
Suppose 0 = -5*a, -4*a + 2 = -4*j - 2. Which is smaller: -0.066 or j?
j
Let i be 2/(-6) + 0 + 2112/18. Let x = 78 - i. Are -37 and x non-equal?
True
Let f = 21.19 + -21. Let b = 0.28 - f. Let j be 56/(-24)*4/14. Which is greater: j or b?
b
Suppose 3*i = -2*z - 7, -4*z = -0*z + 4*i + 4. Suppose 5*v - 3*s - 7 = 0, z*v + s = 6*s + 16. Let b = 275/6 - 46. Which is greater: b or v?
b
Let u = 25 + -22.5. Let h = 2.5 - u. Is h greater than 2/7?
False
Let v = -142 - 44. Let s be v/47 - (-5)/(-5)*-4. Which is smaller: s or 0?
0
Let r(g) = 4*g + 74. Let f be r(17). Which is smaller: f or 141?
141
Let w(y) = -2*y**3 + 8*y**2 - 9*y + 1. Let f be w(6). Is f <= -198?
False
Let z be 18/12 + 2 + (-6)/4. Let b be z/(-54)*-4*63/(-6). Is b at most -1?
True
Suppose -7*q - 4*q = 5*q. Do -7/115 and q have different values?
True
Let n be 21/24 - 1/2. Let f = -209 + 105. Let x = 105 + f. Which is greater: n or x?
x
Suppose -d + 10 = 6. Suppose 0 = h + d*l - 10 + 2, l = 4*h + 53. Which is smaller: -11 or h?
h
Let k = -331/686 + -6/343. Let w = -0.1 - -0.06. Let s = w - 8.96. Which is greater: s or k?
k
Suppose 5*p - 55 = -5*d, 1 = 3*d - 7*d + 5*p. Is d < 1?
False
Let f(b) = -b**2 + 18*b - 20. Let n be f(17). Let p = n - -3. Is -1/12 less than p?
True
Let n be (-8)/(-28) - 131/(-7). Is n at most 27?
True
Let g be 4/14 + 6/(-21). Suppose -18 = 3*s + 3*i, s + 2*i - 3*i = g. Let f be 3/(-9) - 3/s. Is f <= 2?
True
Suppose 5*w + 2*p + 3 = 0, -8 = p + p. Which is smaller: 2/41 or w?
2/41
Let l(r) = r**2 + 14*r - 12. Let z be l(-14). Let q be (0 - -3)/(10 + -11). Which is bigger: z or q?
q
Let r be 4 + 13/3*32/(-12). Let g = -1771/234 - r. Which is greater: -1 or g?
g
Let x = -261 + 260.55. Which is bigger: x or 3?
3
Suppose -5 = i + 2*y, -2*i - 2*y + 4 = 2*i. Suppose 0 = b - 5*f + 15 - 43, 3*b - 24 = i*f. Let q be (-13)/((