 q = z - -677/5. Let j = 0.2 + -0.1. Do j and q have the same value?
False
Let q(z) = z**3 + 2*z**2 + z. Let f be q(-2). Suppose t = -2*p + 17, -15 - 34 = -3*t - 5*p. Let i = -15 + t. Are f and i equal?
True
Let y = 33 - 38. Let s = y - -5. Is s >= 1?
False
Suppose 0 = -2*f + 4*v - 48, -f + 2*v = 7*v - 4. Which is smaller: f or -13?
f
Let d = -140 + 114. Which is smaller: -123/5 or d?
d
Let d be (-130)/(4/(-2)) + (-144)/36. Is d at most as big as 60?
False
Suppose -3*y - 2*q - 40 = -8*y, -3*y = -q - 23. Let t(j) = j - 3. Let f(l) = 2*l - 5. Let g(n) = -2*f(n) + 5*t(n). Let o be g(y). Which is smaller: 6/23 or o?
6/23
Let i = 5/416 + 7835/40352. Is i > -1?
True
Let d = 4.7 + -2.99. Let x = -0.29 - d. Which is bigger: -13 or x?
x
Let v = -7 - -7.02. Let k = -1.98 - v. Is -0.3 <= k?
False
Let m = 20 - 18. Suppose 5*g + 14 = -5*q + q, -m*q - 4 = 2*g. Which is greater: -2 or g?
-2
Suppose -5*m + 25 - 95 = 0. Let w = m - -70. Is 56 greater than w?
False
Let u = -13043/189 + 69. Which is bigger: -1 or u?
u
Suppose -3*b + 82 + 74 = 0. Suppose -b = -2*t - 2*h, 2*t = -2*h - 3*h + 61. Let s = t - 91/4. Is 3/2 bigger than s?
True
Suppose -29 = -2*w - 49. Let c be w/(-45) - (0 - (-12)/(-189)). Does c = -71?
False
Let q = 0 - 83. Let i = 138 + q. Do i and -1/2 have different values?
True
Let n = -14 + 12. Let f be n + -1 + 54/9. Which is bigger: f or 7?
7
Suppose -5*v + j = 348, v - j + 55 = -17. Let l = v - -68. Which is bigger: -6/25 or l?
-6/25
Let i(o) = o**3 - 6*o**2 + 5*o - 1. Let f be (1 + -16)*(-2)/6. Let k be i(f). Let x be (-8 + 816/108)/(-1 - 2/(-6)). Is k at least x?
False
Let j be 138/(-42) - (-4)/14. Let t be 4 - ((4 - 2) + j). Suppose -t = -0*g + 5*g. Which is smaller: g or 1/17?
g
Let v be (1/(-3))/(-25 + 23). Do v and -0.1 have the same value?
False
Suppose -3*g + 2*g = -3. Suppose c + 7 = g. Let m = -1100 + 1094. Are c and m non-equal?
True
Let w be ((-8)/(-4) + (-2 - 0))/(-2). Is -8/173 at least w?
False
Let g = 56607/5 + -11365. Is -45 at most g?
True
Let t be 933/(-90) + 16/(-120). Are -11 and t equal?
False
Let d(o) = 7*o**3 + 9*o**2 - 2*o - 5. Let g(t) = 3*t**3 + 5*t**2 - t - 3. Let s(m) = 2*d(m) - 5*g(m). Let c be s(-7). Let b = 2 - 2. Which is bigger: c or b?
b
Let m = 0.039 + -202.039. Which is greater: m or -0.1?
-0.1
Let g = -33 - -38. Suppose -g*a - 12 = -2*c, -c - 2*a = 3*a + 9. Is -1/77 greater than c?
False
Suppose 5*g - 10*g = 0. Suppose i = -g*i. Is i != -2?
True
Let o = -669 + 669. Does -3/578 = o?
False
Suppose 0*c + c + 10 = -5*h, -5*h - 10 = -4*c. Let x be h/(-8)*(5 - (2 - 41)). Which is smaller: x or 12?
x
Suppose 7*r - 6*r = 0. Suppose 0 = 4*j - r*j - 4. Is j greater than or equal to -30?
True
Let x(p) = p**3 - 12*p**2 + 10*p + 11. Let m be x(11). Let r be 4/10 + 2/70. Do r and m have the same value?
False
Let b = 7025/2 + -3185. Is 327 at least as big as b?
False
Let m be 315/(-189) + (-5846)/(-3504). Which is bigger: 1 or m?
1
Let f be 13/(-52) + (-454)/8. Let o be 2 - (f/30 + 4). Is -0.1 bigger than o?
False
Let m = 2751537/97 + -28366. Which is smaller: 1 or m?
m
Suppose -64*v + 14*v = -5100. Is v at least 413/4?
False
Let q = 460 - 464. Let j be (-51)/(-4)*(-1)/3. Is j not equal to q?
True
Let j = 444041/124 + -3581. Which is bigger: j or -1?
j
Let k(r) = r**2 - 18*r + 35. Let q be k(16). Let w be q/(-6)*(-3 + 2 + 3). Which is greater: w or -3/16?
-3/16
Let g be (-132)/(-28) + (-2)/(-7). Let x = 5 + -3. Suppose -x = -2*o - u, -g*o = 3*u - 0*u - 5. Is 5/6 less than or equal to o?
True
Let q = -844 + 632. Which is greater: q or -211?
-211
Let l(k) be the first derivative of -k**3/3 - 2*k**2 - 2. Let h be l(-2). Let q be (1/h)/((-119)/(-136)). Which is smaller: -13 or q?
-13
Let l(x) = x**3 + 2*x. Let w be l(2). Suppose w = y - 3*y. Let d be (28/399)/(4/y). Is d at most as big as 0?
True
Let g be ((-287)/(-21) - 1)*451/(-56). Let v = g - -102. Which is greater: v or 1?
1
Let r = 5445.04 + -5336. Let u = 109 - r. Is 0.1 less than u?
False
Let q be -4*1/((-203)/(-56)). Which is smaller: 0 or q?
q
Let o = -30.301 - -1.301. Does o = 2?
False
Suppose -8*g + 4*z = -9*g - 17, -3*z = 4*g + 3. Is -1 <= g?
True
Let h be (-4)/((-8)/(-3))*-2. Suppose 0 = -t + h*t. Let k be (-13)/48 + 3/9. Is k != t?
True
Suppose 3*o + 100 = 712. Which is smaller: o or 207?
o
Suppose -333 = -4*i + 175. Is i at most as big as 128?
True
Let q = 0 - -2. Suppose q*s = -4*s. Which is smaller: 2 or s?
s
Let a = 944/166145 - -2/707. Which is smaller: 0 or a?
0
Let k = -0.4 + 0.3. Let g = -0.9 + k. Let w = 164 - 164. Which is bigger: g or w?
w
Let n be 2052/9 - 1*-2. Let z be 1437/30*48/10. Let f = z - n. Is f at least as big as 0?
False
Suppose 1 + 15 = 8*t. Suppose -3*u - 2*a - 3 = 0, -10 = u - t*u + 3*a. Which is bigger: 2/5 or u?
u
Let v(j) = 7*j + 745. Let h be v(-9). Which is smaller: 683 or h?
h
Let f = 1899 + -1960. Is f at least -69?
True
Suppose u = -k + 3, 3 = -2*k + 2*u - 3. Suppose 4*d - 5*d = k. Which is greater: d or -0.2?
d
Let o(f) = f**2 + 19*f - 120. Let b be o(-24). Let g = 451/119 + -29/7. Is g at least b?
False
Let s(n) = 9*n**2 + 682 - 683 - 2*n**2. Let z be s(-1). Let f = -11 + 15. Do z and f have the same value?
False
Let n = -522326 + 6782031/13. Let w = 631 + n. Which is bigger: w or 1?
1
Suppose 0 = 386*k - 390*k - 112. Is k bigger than 2?
False
Let t be (-2 + -2 - 2)/((-6)/26). Which is smaller: t or 24?
24
Let o = -4.898 + 2.93. Let n = o + -0.032. Which is smaller: -1.3 or n?
n
Let o(y) = -y**3 - 5*y**2 - y - 3. Let n be o(-5). Let p be (-12)/(-7) + (-10)/(-35). Suppose 0 + 2 = p*h. Which is greater: h or n?
n
Let c = -30.39 + 30.69. Let i = 2 - 0. Let d = i + -4. Which is bigger: d or c?
c
Let r be (-4)/2*(-1)/((-8)/60). Is r != -77/5?
True
Suppose 2*l + 90 = 4*a - 2*a, -2*a + 90 = -3*l. Let p = -124 + a. Is p < -78?
True
Let z be (4 - 3)/((-1)/4). Let a be z - -2*(-3 + 4). Suppose -12 = 3*g - 0. Is g smaller than a?
True
Let j = 31 + -20. Let w be j/(-3) - (-10 - -6). Which is smaller: 4/15 or w?
4/15
Suppose -q + 20 = 5*p, -5*p - q + 6*q + 20 = 0. Suppose -p*g - 3*l = -3, 0 = 6*l - 5*l - 1. Suppose -3*m - 15 = -g*m. Which is bigger: m or -9/2?
-9/2
Let h = 253 + -176. Is 79 at most h?
False
Let k be 1*-1*0/(-2). Let y = -370 - -2596/7. Which is greater: k or y?
y
Suppose 4*z - m = 12, -2*z - 3*z + m = -16. Suppose -5*f = -3 - 17. Let y be f + 3 + -2 + 0. Which is smaller: y or z?
z
Suppose 0 = -2*k + k, 2*r = -5*k + 16. Suppose 3*f = -67 + 16. Let s = 24 + f. Is s bigger than r?
False
Suppose 3*h = h + 2*n + 22, 1 = -n. Let u = 448 - 445. Is u equal to h?
False
Let u(q) = -q**3 - 9*q**2 - 9*q - 9. Let v be u(-8). Which is bigger: -2/127 or v?
-2/127
Suppose -u - 4 = -0*u. Let s be (2/u)/(2/4). Let y be (-6)/(-4) - s/(-2). Is 8/7 < y?
False
Suppose 30 = -0*k + 5*k. Suppose -70 = z - k*z. Let p be (-61)/7 - 4/z. Is -10 bigger than p?
False
Let y = 4662 + -4571. Let d(k) = 92*k**2 - 1. Let w be d(1). Is w less than y?
False
Let k = 11.2 - 11. Let a(d) be the second derivative of d**3/6 + 13*d**2/2 - 5*d. Let c be a(-10). Are c and k nonequal?
True
Suppose -322 + 46 = 3*r + h, 2*r = 5*h - 167. Is -91 less than or equal to r?
True
Let w = -597/5 - -119. Are 22.5 and w unequal?
True
Suppose 5 = -5*v, -9*v + 10*v + 1 = -4*o. Do -24/37 and o have different values?
True
Let f be 1/((5 + -10)/(-5)). Which is smaller: 3/4 or f?
3/4
Let w = -2.43 + 0.43. Let b = -7 + w. Let o = 2 + -1.9. Is b at least as big as o?
False
Let y = 664 + -712. Do -52 and y have the same value?
False
Let s = 6829/9 + -759. Is -33 less than s?
True
Let t = 2.32 - 1.92. Is t less than -0.7?
False
Let v = 7 - 19. Let m = 0.13367 - -0.06633. Which is greater: v or m?
m
Let o = -44661 + 2367103/53. Do 2 and o have different values?
True
Suppose -p = -7*g + 2*g - 15, -3*p = 0. Suppose 7*y = 2*y. Let s = -4 - y. Which is smaller: s or g?
s
Let i be (-230)/(-3) + (-6)/9. Let s = -381/5 + i. Let r be -29 - -27 - 2*(-3)/3. Which is bigger: r or s?
r
Let n be -1 + (-1 - -7) + -3. Suppose -4*j + 2 = -n. Is 33 at most as big as j?
False
Let d be 1587*(-10)/3975 - -4. Which is smaller: d or 1?
d
Let a(d) = -23*d + 5. Let w be a(-1). Let h = 28 - w. Is h at least 2/13?
False
Let o = 1 + 23. Let g be 4/o*8 - 2. Let h = -0.13 - -0.03. Which is bigger: h or g?
h
Let