. Let n = 25 + -23.7. Let g = n + 0.7. Which is greater: d or g?
g
Let z be (11/33)/((-2)/(-24)). Suppose z*k + 6 = 14. Is 2 smaller than k?
False
Let y = -3 + 24. Let a = y - 20. Which is smaller: a or -2/9?
-2/9
Let m = -1481/15771 + -1/751. Let h(f) = f**2 + 6*f - 1. Let c be h(-6). Is m at most as big as c?
False
Suppose -4*n + 72 = y + 3*y, n + 4*y - 27 = 0. Which is bigger: 16 or n?
16
Let m be (-70)/(-280) + (0 - (-54)/(-88)). Is m >= -0.3?
False
Let x be ((-6)/(-18))/((-4)/(-3)). Does -3 = x?
False
Suppose 0*g = -2*g + 4. Suppose -5*c = -2*q - 10, 4*q + 91 = -q - 4*c. Let d be q/(-36) - 3/(-12). Which is smaller: g or d?
d
Let q(t) = t**3 + 7*t**2 - 8*t + 4. Let i be q(-8). Let d be ((-7)/((-28)/6))/(-6). Which is smaller: d or i?
d
Let p = 66 + -407/6. Let r(l) = -2*l**3 + 16*l**2 - l + 7. Let s be r(8). Which is smaller: p or s?
p
Let m be 730/(-45) - -5 - 4/(-18). Is -3 at least m?
True
Let c = -6 - -5. Let l be 2 - (-5 + 3)*c. Suppose 2*x = -l*f - 3*f - 11, -3*f + 1 = -x. Which is bigger: 2/5 or f?
2/5
Let c(q) = -2*q. Let o be c(-2). Suppose u + 11 = i, i + 4*u = 3*i - 26. Let k be 3/i*3 - -2. Is k bigger than o?
False
Suppose 0 = -4*b + 3*b + 46. Is 47 less than or equal to b?
False
Let h = 7 + -3. Let u = -4 + h. Let s be (-6)/(-9) + (-1 - u). Which is smaller: s or 0.1?
s
Let m be 1/(-1)*(-7 + 3). Suppose -m*f + 3 = 15. Which is greater: -5 or f?
f
Let q(w) = w**2 + 2. Let n be q(0). Suppose n*r + 14 = -2*i, -5*r + r + i = 23. Let v be (r/30)/(2/5). Is v < -1?
False
Suppose 0 = h - 2*h + 6. Suppose 8*c = h*c. Is 0 != c?
False
Let o be (-58)/(-92) - (-3)/(-6). Let n = o + -159/161. Which is smaller: n or -2?
-2
Let l = -817/5 + 163. Is -5 bigger than l?
False
Suppose 0*w + w = -3. Let l be (2 - 2)/(w - -4). Let y = l - 1. Is -3/2 greater than y?
False
Let u = -136349/6 + 22799. Let n = u + -74. Is n bigger than -1?
True
Let m(h) = h**3 + 8*h**2 - 9*h - 1. Let a be m(-9). Which is bigger: a or -96?
a
Suppose 3*i - 14 = -d + 5*i, 0 = -2*d - 3*i. Let g be (-2 + 2)*(-2)/d. Which is smaller: -1 or g?
-1
Let o = -19 - -244/13. Which is bigger: o or 1?
1
Let m be 2/(-3) - (-16)/42. Which is bigger: m or 1?
1
Let p = -0.9 + -5.1. Let y = -5.9 - p. Let h = y + -0.4. Is h != -1/3?
True
Suppose -t = t - 52. Let j = t + -23. Do j and 5 have different values?
True
Let r = 15 + -20. Is 0.1 smaller than r?
False
Suppose -5*x - 4*j + 5 = 0, -3 = 2*x - 5*x - 5*j. Let p be ((-2)/10)/((-3 - -5)/(-10)). Do x and p have different values?
False
Let o(t) = -5*t + 3. Let x(m) = m + 1. Let j(a) = -o(a) - 6*x(a). Let c be j(-7). Let h be (-4)/(-3) + 2*-1. Is h greater than c?
True
Let a = 2 - 1.9. Suppose 3*z - 3*g - 60 = 0, 2*g - 2 - 63 = -5*z. Suppose -5*x = z, 0 = -5*d - 3*x - x - 2. Is d <= a?
False
Let t = -959191302/11059 + 86734. Let y = -2145410/99531 - t. Let f = y - -3316/153. Which is smaller: f or 0?
0
Let u = -2 - 6. Is -7 less than u?
False
Let k = -2/13 + 17/26. Let x(u) = -u**2 + 9*u - 7. Let i be x(8). Which is greater: i or k?
i
Let w be ((-7)/(-12))/(1/(-3)). Are w and -2 equal?
False
Let k(m) = m**2 + 16*m - 9. Let q be k(-16). Let d be -4 - -3*(-12)/q. Does -1/9 = d?
False
Let m be 3/5 + 9/(-15). Let p be (-1 + 3/6)*m. Let b = -59/35 + 9/7. Which is bigger: b or p?
p
Suppose -8 = 11*q - 9*q. Is -4 at least q?
True
Let f = -4 + -33. Are 1/2 and f equal?
False
Let h = 11 + -10.9. Let v = h + -3.1. Do 2/7 and v have the same value?
False
Let c = 257/5 - 51. Let t = 0.01 + 0.21. Let p = t - 0.02. Is p greater than c?
False
Suppose b + 1 = -4*k, -4*b = 4*k - 5*b + 7. Which is smaller: -3/4 or k?
k
Let k = -24.9 - -25. Suppose 0 = s + s. Which is smaller: s or k?
s
Let j = 65 - 64.63. Let a = j + -0.07. Let z = a - 2.3. Is -2 bigger than z?
False
Suppose -q - 12 = -4*f + 25, f + 2 = -2*q. Let z = 8 - f. Suppose 0 = 4*g - 3*g. Is g > z?
False
Let n = 8.15 + -0.15. Let y = -7 + n. Which is smaller: 1/2 or y?
1/2
Let g = -5/288 - -4375/3168. Which is greater: g or 1?
g
Let a(z) = -4*z**3 + 2*z**2 + 2*z + 3. Let n(k) = -11*k**3 + 5*k**2 + 5*k + 8. Let t(r) = -8*a(r) + 3*n(r). Let j be t(0). Is -2 >= j?
False
Suppose -2*k - k - 10 = -5*o, 3*k - 5 = 2*o. Suppose q = k*q. Which is smaller: q or -2?
-2
Let v(p) = 8*p - 42. Let a be v(7). Which is smaller: 1/5 or a?
1/5
Let r = 3 - 1. Let h = -3 + r. Let c = -22 - -64/3. Which is smaller: c or h?
h
Let w = -3.1 + 0.1. Let a = 4 + w. Let h = -3.5 - -3. Are a and h equal?
False
Let h be (3/6)/(3/(-12)). Let i = h - -3. Which is greater: 2/5 or i?
i
Suppose -i = -0*i + 4. Let d = -3 - i. Which is greater: 4/5 or d?
d
Let f = 0.3 - 0.4. Let m = -0.05 + 1.25. Let c = m - 0.2. Are f and c equal?
False
Let l = 25 + -16. Let m = l - 7. Is m >= 1?
True
Let v(r) = r**2 + 9*r + 2. Let i be v(-4). Is i < -18?
False
Let b(n) = -n**2 - 6*n + 7. Let t be b(-7). Let p be (-1 - 3)*1 - t. Let z be 1/p + 5/4. Which is greater: -1/7 or z?
z
Let f = -2994/11 - -272. Is 0 bigger than f?
True
Let l = 2 + -6. Let i be (12/10)/((-6)/l). Is i smaller than 0?
False
Let s = -5 + 6. Let x = 5 + -13. Let f = 13 + x. Is s < f?
True
Let f = 9 - 13. Is f != -0.1?
True
Let f = 7 + -27/4. Suppose 5*d + i = 4*i + 7, 0 = -3*d - 2*i + 8. Is f bigger than d?
False
Let t = 37/4 + -10. Does t = -1?
False
Let l(n) = -7*n**3 - 3*n**2 + 5*n + 6. Let r be l(-3). Let d be 69/r - 6/51. Which is bigger: -0.3 or d?
d
Suppose -d + 2 = 3. Is d less than 2/5?
True
Let z = 0.3 - 0.5. Let d = -13 - -12.2. Let x = d - -3.8. Which is smaller: x or z?
z
Let f be (-1)/4 + (-37)/(-4). Do f and 8 have different values?
True
Let q = 485 + -1438/3. Which is greater: q or 5?
q
Let b = 4 - 5. Let z = -690971/13395 + 2885/57. Let l = z - -8/47. Which is smaller: b or l?
b
Let h be ((-6)/4)/(9/(-3)). Let f = -13 + 12. Do f and h have the same value?
False
Let s be (-15)/10*-2*1. Let j be (s/2)/((-9)/(-18)). Is 2/7 greater than j?
False
Let r = -12560/13 + 2899241/3003. Let x = 3/77 + r. Which is bigger: 0 or x?
0
Let a = 15 - 15. Which is bigger: 1/25 or a?
1/25
Let p be -4 - (-10)/(-18*24/(-171)). Which is greater: 0 or p?
0
Let s = 57 + -48. Is 7 bigger than s?
False
Let c = -28 - -30. Suppose -h = 2*b + c*h + 25, h = -3. Which is greater: -9 or b?
b
Suppose -1 - 3 = -4*s. Suppose 4*d - 2*z - 4 = 0, -s = -5*d - z - 3. Let v be d - ((-18)/4)/3. Which is greater: v or 1?
v
Let h be 0/1 - (1 - 1). Let r = h - -5. Let w = r - 4. Which is smaller: w or -2/7?
-2/7
Let t = 0.19 - -2.01. Let c = -2.1 + t. Is c at most as big as -0.05?
False
Let u be 1/((-2)/(-1)*2). Suppose 0 = 2*y - c - 7, 3*y - 17 = -3*c + 7. Which is greater: u or y?
y
Let p = -97 + 77. Is p >= -20?
True
Let j = -0.05 + 0.05. Does j = 6?
False
Let p = 0.4 + 0.6. Let r = -2 + 1. Let v = p - r. Is 2 at least v?
True
Let w be ((-20)/(-25))/(2/10). Let g be ((-1)/2 - 0)*-6. Suppose -7 = -w*v - g. Do 2/3 and v have different values?
True
Suppose -3 + 1 = 2*t. Which is bigger: t or 2/13?
2/13
Let q(r) = 4 + 6*r - 9*r**2 - 15*r**2 + 23*r**2. Let j be q(7). Which is smaller: j or -0.5?
j
Let z = 19 - 20.1. Let v = 1 + z. Let h = 0.03 - -0.97. Which is greater: v or h?
h
Suppose 6 = 2*c - 2. Let g be 10/6 - c/6. Which is bigger: -1 or g?
g
Let w = -92 - -102. Which is smaller: 11 or w?
w
Let j be 1 + -1 - (11 - 8). Which is bigger: j or -10/3?
j
Let o = 21 - 16. Is o smaller than 10?
True
Suppose 3*o - j - 5 = 0, -o - 2*j = 15 - 5. Suppose -2*y = f + 8, -3*f - 2*y - 2*y = 26. Let n be 6/8*f/15. Are n and o equal?
False
Let v = 6 - 0. Suppose 0*w + v = w. Suppose -3*a = 3 - w. Which is smaller: 0 or a?
0
Let m be (5/(-155))/(1*-1). Let g = m - -59/93. Let b be (-2)/(-10) + (-4)/(-5). Is g less than b?
True
Let u(a) = a**2 - 10*a + 7. Let h be u(9). Let m be (-4 + h)*10/(-12). Which is bigger: 4 or m?
m
Let v(m) = 2*m + 3. Suppose -k - 4*o - 14 = 0, 2*o = -2*k - 11 + 1. Let i be v(k). Does i = 0?
False
Suppose -2*c = -2*j + 7 - 17, 3*j + 15 = -2*c. Suppose c = -2*p - 2*p - 8. Which is smaller: -5 or p?
-5
Let a = 7 - 7. Let y(n) = n + 8. Let p be y(-5). Suppose -3*q + p - 6 = 0. Which is smaller: a or q?
q
Suppose -17 + 5 = -4*w. Suppose a - w*x + 9 = 0, -2*x + 3 = 4*a - 17. Let n(c) = -c**3 - 2*c - 1. Let h be n(-1). Which is bigger: h or a?
a
Let g(y) = -y**3 + 7*y**2 + 10*y - 11. Let v be g(8). Let m b