igger than 8/25?
False
Let v = -189 + 188.98. Which is smaller: 2 or v?
v
Let t(s) = s**2 - 12*s + 7. Let p = 12 - 7. Let c be 0/2 + 2*p. Let g be t(c). Are -13 and g unequal?
False
Let p = 12314/5135 + 2/1027. Which is smaller: p or -7?
-7
Suppose 221*r = 222*r + 1. Which is smaller: 1/70 or r?
r
Let k = -45 - -63. Let u be (-6)/k - 3/(-9). Suppose 4 = 5*m - 16. Is m less than u?
False
Suppose -f + 2*f + 26 = 2*b, 3*f = 4*b - 48. Suppose 3*a = -5*k - b, -5*a - 25 = -k + 3*k. Is a > -4?
False
Let o(h) = -h + 11. Let i be o(-8). Let d = 17 - 0. Are i and d unequal?
True
Let h = 1734 + -1736. Which is bigger: -41/15 or h?
h
Let i be -21 + -6*20/(-24). Which is smaller: i or -122/7?
-122/7
Let z be 3/(-6)*(-8 - 4). Suppose -6*b - z = 24. Which is greater: -6 or b?
b
Let j = -23 + 25. Suppose 4*q = 3*q + j. Let s = q - -1. Which is bigger: s or 2?
s
Let v be (44/(-6))/(3/(-9)). Suppose 6 = -3*q - 3, v = 4*c - 2*q. Which is smaller: c or 2?
2
Let z(c) = -144*c**3 - 2*c**2 - 10*c - 9. Let l be z(-1). Is 142 >= l?
False
Let g = 14 + -9. Let i = 607 + -616. Is g less than i?
False
Let b = -0.1 + 0.3. Let j = -1178.92 + 1199. Let w = 20 - j. Is w >= b?
False
Suppose 4*p + 2*t = 6 - 2, 4*t = 5*p - 18. Suppose -u = 9*u - 790. Let b = 83 - u. Which is smaller: p or b?
p
Suppose -9*z - 39*z = 1920. Which is greater: z or -38?
-38
Let g = -0.546 + 2.546. Are -46 and g equal?
False
Let a be ((-2)/1 - -3) + (-36)/(-9). Let j(s) = -6*s**3 + s**2. Let q be j(1). Let r = q - a. Which is greater: r or -11?
r
Suppose -4*t + 2*a - 56 = 0, -a + 2 + 11 = -t. Is t >= -17?
True
Let k(b) be the first derivative of -b**3/3 + 4*b**2 - 11*b + 11. Let z be k(5). Is 4 at most z?
True
Let t = -395/22 + 82/11. Is t less than -11?
False
Let a be (-1 - 0)/(2/(-10)). Suppose -a*k - 3*s = s + 55, 4*k + 44 = 5*s. Let n(h) = h**3 - 35*h**2 - 34*h - 83. Let g be n(36). Is k less than or equal to g?
True
Let x(i) = -i - 5. Let m be x(-7). Let s be -18*(m/4 - -1). Let b = 2406 + -2406. Does b = s?
False
Let j = -6 - -8. Let h(u) = -j + u + 3 + 0. Let x be h(-1). Is x <= -2/5?
False
Let l = 32.97 + -33. Let d = -17 + 19. Is l != d?
True
Let s = 8404/3 + -2838. Let m = s - -37. Is m greater than -57?
True
Suppose 3*s + 2*l = -4, -s + l = -l + 4. Do s and -134 have the same value?
False
Let h = -414 + 465. Which is bigger: 53 or h?
53
Let t = 0.0442 - -0.0558. Which is greater: 61 or t?
61
Suppose -5*g - 60 = -g. Let s = 18 + g. Suppose -4*p = -s*t - 9, -4*p + 2*p + 1 = -5*t. Is t smaller than 1?
False
Let g be (0 + -88)/(6 + (-38)/6). Is g != 266?
True
Let s be (-207)/27 + 8 - 230/6. Which is smaller: s or -3?
s
Suppose 20 = 3*m - 4*h, -4*m - 10 = -6*h + 8*h. Is 8/455 less than or equal to m?
False
Suppose 2*p - 10 = -2*m, -2*p - 3 = 3*p - 2*m. Let b(g) be the first derivative of -2*g**3/3 - 3*g**2/2 + 4. Let n be b(-3). Which is smaller: n or p?
n
Let i(l) = -l - 1. Let a be i(-2). Suppose -w = j - 2, 5*w + 3*j - 5 - a = 0. Suppose -4 = -2*d - w*d. Is d >= 3/2?
True
Let u(o) = -32*o + 4. Let z be u(-2). Let f be -4*(z/16 - -1). Let m = -41/2 - f. Which is greater: m or 5?
5
Let z = 920 + -1839/2. Which is bigger: 379 or z?
379
Let t be -2 - -1 - 134/6. Let x be 0 - ((-24)/36 + 70/(-3)). Let j = x + t. Do j and 1/5 have the same value?
False
Let k = -327 - -327.3. Which is greater: k or 3.3?
3.3
Suppose -2*p - 76 = -4*n + 136, 3*n = 2*p + 216. Which is greater: p or -112?
-112
Let j = -11 - -2. Let v = -57 - -110. Let o = v + -52. Is j at most o?
True
Let w = -178 + 55. Let b = 119 + w. Which is smaller: -11 or b?
-11
Let u(q) = q**2 - q + 22. Let k be u(0). Suppose p - 4*p - 72 = -4*y, -p + 46 = 2*y. Is k > y?
True
Let u = 4.1 - 2.1. Let o = u + -2. Suppose 0*m - 4*m = 4, 2*m = 4*i - 6. Is i at least as big as o?
True
Let g(h) = 3*h**2 + 57*h - 59. Let d be g(-20). Let v be (-6)/21 + 19/(-7). Let u(m) = m**2 + 2*m - 3. Let j be u(v). Is d equal to j?
False
Let k(z) = -7*z + 4. Let v be k(-8). Let a(t) = 19*t + 5. Let w be a(4). Let q be (w/v - 1)*4. Which is greater: q or 0?
q
Let f = -732 - -1191. Is -1/4 <= f?
True
Let k(m) = 16*m - 70. Let f be k(4). Which is greater: -5 or f?
-5
Let x = -47 + 48. Let f be x/(-12)*-1*9/3. Let a be (-3 - -4) + 0 + 0. Which is smaller: f or a?
f
Let x = 2/13651 - 3126097/122859. Let c = -73/3 - x. Which is greater: 0 or c?
c
Let n be 34/8 + (-11)/44. Let s be n + (-9)/(6/2). Let r be -1 + -1 + s + 6. Which is smaller: r or 6?
r
Let b = -85/93 - -5/62. Suppose y + 5*i - 4 = 4*y, -y + 3*i - 4 = 0. Suppose -4*l - y*q = -2, 5*q = -5*l + 5 + 5. Which is smaller: l or b?
l
Let n(m) = -m**3 + 9*m**2 + 12*m - 15. Let j be n(10). Let b be (110/125)/(6/j). Let s = -2/5 + b. Do 5 and s have different values?
True
Let s be 18 + -15 - 45/11. Suppose -4*b + 12 = -5*t, 6 = t + 4*b - 6. Is s != t?
True
Let p = 4 - -1. Let a = -16 + 12. Let n = a - p. Which is smaller: 1 or n?
n
Let g(f) = -f**3 + 4*f**2 + 4*f + 7. Let i be g(5). Let o(p) be the second derivative of p**3/6 + 21*p**2/2 + 15*p. Let m be o(-18). Is i smaller than m?
True
Let k = -6214 - -6215. Suppose 0 = 3*u + u + 4. Is u less than or equal to k?
True
Suppose -t - 4 = 0, 0 = 3*x + x - 5*t - 8. Is x != 32?
True
Let o = -81.78 - -81. Let v = 0.22 - o. Which is smaller: v or -1/3?
-1/3
Let w = 3.34 - 382.34. Are -1 and w unequal?
True
Let v be (-10)/18 - (-2)/9. Let n = 631 - 638. Which is smaller: n or v?
n
Let v be 3102/22*-3*1/(-108). Is 4 at most as big as v?
False
Suppose 5*l = -0*l + 20. Suppose 3*i - 3*s = 15, -i - 7 = s + l*s. Suppose -b = i*b + 24. Is -4 not equal to b?
True
Let p = 33 + -25. Let j be 289/18 - p/16. Let q = j - 1147/72. Is q smaller than -1?
False
Let a = -11/8 + 7/4. Which is greater: 63 or a?
63
Let l = -45 + 77. Suppose -2*k - s + l = 3*k, -s - 3 = 0. Suppose j - 2*n + k*n = -16, -3*j + n = -32. Is 10 < j?
False
Let i be (2/(-10))/(88/(-110)). Which is greater: i or -48?
i
Let p = -1517 + 16573/11. Is p less than -11?
False
Suppose 0*j + 4*r + 17 = j, -5*j + 115 = -5*r. Which is smaller: -0.1 or j?
-0.1
Let c = 7461/17 - 439. Which is greater: c or 0.31?
0.31
Suppose 3*s - 8 = -5*y + 4*s, 5*y = -s + 12. Suppose 0 = 5*d - y*n - 16, -3*d + 3*n = d - 10. Suppose -d*f = f. Which is bigger: f or -2?
f
Let s = 2.77 - 2.97. Which is greater: s or 2/41?
2/41
Let h be 5/(-4)*2/(-20). Let b(q) = -q**3 - 13*q**2 + q + 18. Let u be b(-13). Suppose -x - u*x = 0. Is x smaller than h?
True
Let w(x) be the third derivative of x**6/120 + x**5/12 + x**4/12 + x**3 + 10*x**2. Let n be w(-5). Let k = 7 + -12. Which is greater: n or k?
n
Let h = 26 - 26. Let t = 8 - 5. Let m = 3 - t. Is h bigger than m?
False
Let k be (8/(-10))/(7/(-35)). Let o be (-2)/(-14)*(k - 3). Let i = 9 + -8. Which is greater: o or i?
i
Let i be 42/(-162)*(-1)/1. Let v = -2/27 - i. Let h = v + 0. Is 9 > h?
True
Suppose 0 = 5*c + 10 + 5, -5*p - c + 22 = 0. Suppose 0 = 3*o, p*o - 30 = -2*a + 5*a. Let k = a - -12. Which is smaller: 3/4 or k?
3/4
Suppose -2*h + 70 = 3*h. Let z(d) = -d**2 - 11*d - 20. Let p be z(-9). Let j be p/h - (-187)/(-847). Is 0.1 < j?
False
Let a be (-1)/4*2*0. Let p be (-6)/(-63)*(-24)/(-208). Is p greater than a?
True
Let p(x) be the first derivative of -x**4/4 - 2*x**3/3 - 3*x**2/2 - 3*x - 12. Let i be p(-2). Suppose -o + 3*d = 4*d - 7, 1 = -o + i*d. Does 6 = o?
False
Let y(t) = -4*t + 26. Let l be y(-15). Which is smaller: l or 88?
l
Let o be (-2 - 0)*(1 - (-900)/66). Is -28 at most o?
False
Let u be 133 + (-1 - 0/(-5)). Let j = u + -663/5. Let n(p) = p**3 + 2*p**2 - 2*p + 2. Let m be n(-3). Which is smaller: m or j?
m
Suppose -8*d + 3177 = 3049. Is d at least as big as 30?
False
Let v(f) = f**2 - 15. Let x be v(-16). Is x <= 242?
True
Suppose -3*h + 57 = -6*h. Let o = 21 + h. Is 4/3 > o?
False
Let p = 1629 + -17904/11. Let u = p + -19/22. Let m be ((-20)/15)/(2/(-3)). Are m and u equal?
False
Suppose -49*k - 96 = -37*k. Let z be -1 + 2 - (-2 + 10). Is z != k?
True
Let a = 1290 - 9046/7. Let g = a + 247/105. Is 2 less than g?
False
Suppose -5*r - 296 = -301. Is 1/48 > r?
False
Let m be 1036/(-2740) + 4/10. Let s = 369/1918 + m. Suppose v + 26 = -i + 25, 2*v + i = 0. Is s at least as big as v?
False
Let d = -83087/9282 + -3/3094. Let l = -58/7 - d. Let x = -3 - -3. Which is smaller: l or x?
x
Let j =