. Do 4/25 and f have the same value?
False
Let n be 50/40 - ((-2)/(-8) - 1). Let g(x) = -x**3 + 4*x**2 + 5*x + 2. Let y be g(5). Let s = n + y. Which is smaller: s or 5?
s
Let c be -3 + (200/15 - 5). Let l = 2102/393 - c. Which is greater: -1 or l?
l
Let z be 240/75 - 12/10. Is z > 23/10?
False
Let p be ((-4 + 7)/(-3))/(-1). Suppose -4 = -2*m + 3*d, -5*m - 8 = 2*d + p. Is m > -1/5?
False
Suppose -7*d + 40 = -3*d. Let g = -263 + 263.3. Is g > d?
False
Suppose -2*t - 6*t - 128 = 0. Let s = t - -12. Are s and -3 non-equal?
True
Suppose 4*p = -g - 1161, -g = 4*p + g + 1162. Let n be p/(-35) - (-2 + (-48)/(-21)). Are 2 and n nonequal?
True
Suppose 2*t + 64 = -2*t. Let j = -17 + 34. Let c = t + j. Does c = -7?
False
Suppose 0 = 4*i + 4*i - 480. Suppose 5*p = -3*x + 168, 2*x + x - 171 = -4*p. Which is bigger: i or x?
x
Let y = -2.97 - 0.03. Let g(o) = -o**3 - 6*o**2 - 4*o + 9. Let i be g(-5). Let h be ((-1)/(32/12))/((-6)/i). Is h equal to y?
False
Let b = 7512 - 7512. Let s = -610331/570 - -20917/15. Let w = s - 647/2. Is b at most as big as w?
True
Let i be 8/120*5 - 7/12. Which is smaller: i or -33?
-33
Let i = 23411 - 515177/22. Is i not equal to -5?
True
Let w = 50 - 51. Is 2/827 smaller than w?
False
Let j = -337 - -8761/26. Let d(x) = x**2 - 7*x + 11. Let i be d(5). Which is smaller: j or i?
j
Let c = -15 + 14. Let l = 0.9 + c. Which is smaller: l or 6?
l
Let y(r) = 2*r**3 - 8*r**2 + 6*r + 1. Let b be y(3). Let p be (12/40)/((-1)/((-15)/72)). Is p greater than b?
False
Let t be -1 + (-5)/(-4) - -1. Let v = 1.23 + -1.19. Let f = v + -0.04. Do t and f have the same value?
False
Let m be (468/27)/(((-39)/(-18))/13). Is m != 209/2?
True
Let w(d) = d**2 + 14*d + 9. Let n be w(-9). Let j be 5/10*n/(-3). Suppose 0 = c - j*c + 25. Is -1/2 greater than c?
False
Let p(v) = 3*v**2 - 6*v. Let k be p(2). Suppose 11*m + 120 + 12 = k. Which is smaller: m or -11?
m
Let i(z) = -z - 2. Let k be i(6). Let u = -9 - k. Suppose x - 6*x = 0. Is x at most as big as u?
False
Suppose -2*z - 4*f + 5 = -7, -5*z - 5*f + 15 = 0. Let b = -403/7 + 57. Which is greater: z or b?
z
Suppose -l - 129 + 130 = 0. Let y be ((-15)/3*1)/(-1). Let t be (-3)/y*2/4. Are l and t equal?
False
Let n = 0.4 + -0.3. Let p be (-1380)/12 + 2/4. Let f = p - -3889/34. Which is smaller: n or f?
f
Let f = 0.1 - 0.1. Let v = 453 - 454. Which is greater: f or v?
f
Let u = -16 + 20. Suppose u*o - 4 = -12. Which is bigger: o or -8?
o
Suppose -x = 3*x. Suppose x = 6*d + 157 - 49. Is -17 smaller than d?
False
Let w = -3668 + 817966/223. Which is smaller: w or 0.2?
w
Let v be (-66)/34 + 4 + -2. Do 0 and v have the same value?
False
Suppose -3*v = -4*u + 8, -3*u - 1 = -4*v - 0*u. Let p(x) = -1 + 7*x - x**2 - 2*x - v. Let j be p(4). Which is bigger: -1/3 or j?
-1/3
Suppose 5*w + 4*l = 23, -2*w - 5*l = 3*w - 25. Let z be ((-2)/(-18))/(w/6). Which is smaller: -0.06 or z?
-0.06
Let r = -9 - -14. Let t(p) = 2*p - 10. Let b be t(r). Suppose -3*f + 5*f = -5*c - 7, -f - c - 11 = b. Is -16 < f?
False
Let d(r) = r**2 - 7*r + 9. Let i be d(5). Let z = 12.89 + -13. Let l = z + 0.03. Which is bigger: l or i?
l
Let s(i) = 4 - i**3 + 3 - 5. Let c be s(2). Is -6 <= c?
True
Let g = 1 - -1. Suppose 0*k - 2 = g*k. Which is smaller: k or -2/49?
k
Let p be 2/(0 - -1) - 1. Suppose l - 2 = -p. Let a = 10 - l. Which is greater: a or 8?
a
Let u be (45/(-21) - -2) + 2481/(-126). Which is bigger: -0.1 or u?
-0.1
Let u = 2781.1 - 2669. Let j = 112 - u. Which is smaller: -80 or j?
-80
Let o = 0.5 + 1.5. Let f be 8/6 - (-630)/(-108). Which is bigger: f or o?
o
Let p = -41/12 + 131/12. Which is bigger: 7 or p?
p
Let l = 1 + 0. Let o = 415.87 + -414. Let w = 2 - o. Is w greater than or equal to l?
False
Let n(r) = r**3 - 9*r**2 + 6*r + 11. Let f be n(8). Let s be ((-3)/2)/(f/(-2)). Suppose -5*u - x + 1 = -2, 12 = -3*u + 4*x. Is u less than s?
False
Let h = -311 - -311.2. Let c = -340 - -338.03. Let v = -0.03 + c. Which is smaller: h or v?
v
Let g be 738/(-40) + -4 + (-21)/(-5). Which is smaller: g or -17?
g
Suppose 0 = -4*n + n + 3. Let l = 708 + -6364/9. Which is bigger: l or n?
n
Suppose 0 = -8*r + 3*r - 5. Let k be (-1608)/(-1170) + (-4)/(-20). Let j = -8/5 + k. Is j bigger than r?
True
Let i = 42 + -50. Let h(q) = q**3 + 7*q**2 + 5*q - 1. Let a be h(-6). Suppose 3*y - 14 = a*y. Which is smaller: i or y?
i
Let f(n) = 35*n**3 + 3*n**2 - n + 7. Let q be f(2). Is -1 less than q?
True
Suppose 7*a - a + 96 = 0. Let s be a + 0 + (4 - (-30)/(-5)). Let m be (-414)/22 - 14/77. Which is bigger: m or s?
s
Let q(j) = j**3 - 16*j**2 + j - 11. Let z be q(16). Let y = z + 0. Let n(o) = -o**2 + 5*o - 3. Let f be n(y). Which is smaller: f or -9/4?
f
Let q be (-8540)/25980 - 3/(-9). Do q and 0 have different values?
True
Let t = 104 - 105. Let h(u) = -140*u - 4. Let q be h(t). Does q = 136?
True
Let r = -43.67 - 0.33. Let w = r + 42. Which is bigger: 0 or w?
0
Let l = 0.45 + 7.5. Let o = 8 - l. Let c = -0.15 + o. Is -0.1 less than or equal to c?
True
Let g(a) = 2*a - 1. Let k be g(2). Suppose 9*p - 2*p + 105 = 0. Let n be (10/p)/(5/(300/(-8))). Is k at least as big as n?
False
Suppose 5*m - 36 = -3*s, 2*m - 22 = -2*s - 2*m. Let a = 17 - s. Suppose 5*h - 3 = x - a*x, 12 = 4*x + 4*h. Is x bigger than 3/5?
True
Let o be ((-12)/9)/(4/(-30)). Suppose -o = -3*s - 1. Suppose -6*j + 2*j + 4 = 2*y, 0 = -y - 3*j + 1. Is y not equal to s?
True
Let i be 7 + 568/(-40) + 8. Is -0.07 less than or equal to i?
True
Let b = 2/387 + -784/1935. Let w(t) = t + 1. Let u be w(4). Suppose -u*s - 2*s = 4*s. Which is smaller: b or s?
b
Let q be 4/18 - (-1337)/(-5733). Let g be 4/10 - 4/10. Which is greater: q or g?
g
Let g = -729 - -730. Let t = 1 + -3. Let z = g + t. Is z at most as big as -0.02?
True
Let i = -15 - -24. Let r be (i/12)/((-91)/(-56)). Which is smaller: r or 1?
r
Let i be 1/7 + 459/119. Suppose 5*f = i*f. Suppose 3*x - 2*h - 2*h - 20 = f, -3*x + 5*h = -25. Is 1/2 at least x?
True
Let t(j) = j**3 - 23*j**2 + 35*j + 6. Let l be t(21). Which is bigger: l or -143?
l
Suppose -3*j = 9, 0 = -3*b + 50*j - 47*j + 291. Are 94 and b unequal?
False
Suppose 5 = 6*j - j. Let i = j - 8. Is i at most -7?
True
Suppose -2*p - 14 = 4*q, q = 2*p + 3 - 9. Suppose -1 = -2*j + p. Which is bigger: j or 1/21?
j
Let c = -358 - -3226/9. Suppose -3*y = 3*h + 3, -4*y - h = -0*h - 11. Let z be y/((-3*4)/(-3)). Is z greater than c?
True
Let u be 6/(-4) + (-3204)/(-2232). Which is greater: u or 0?
0
Suppose -1 = -m + 2, 3*w = 5*m - 69. Let f be (-8)/(-10) + w/(-90). Which is smaller: 2/3 or f?
2/3
Let f be (-63)/18*12/7. Let j be (32/(-2))/(3/f). Which is bigger: 29 or j?
j
Let v be (-27)/(-6) - (-1 + (-3)/(-2)). Suppose 4*w + v = -0. Which is greater: -2 or w?
w
Let i = 0.7 - 1.4. Let o = -4 + 3.5. Let y = i - o. Is -0.3 bigger than y?
False
Let c(v) = 31*v**2 - v - 1. Let t be c(-1). Let f = 23 - t. Which is bigger: -7 or f?
-7
Let p = 3.4 + -24.4. Let g = 11 + p. Let z = -4 + 5. Is g <= z?
True
Suppose 20 = -0*m + 5*m. Suppose -6*g = -g + 4*y + 7, -g = -m*y - 13. Let p be 48/15 + g/(-5). Which is smaller: p or 1/3?
1/3
Let c = -38/35 + 20/21. Are c and -0.1 non-equal?
True
Suppose -3*i + 180 = -4*d, 4*d + 308 = 22*i - 17*i. Is i != 64?
False
Let f(c) = -2*c**2 - 24*c - 5. Let s(d) = -11*d**2. Let j be s(-1). Let g be f(j). Is g less than 0?
False
Let s be 663/(-9) + (-1)/3. Is s bigger than 0.2?
False
Suppose -5*j - y = -2, 2*j + 13 = -0*j - 5*y. Let l be 0*j/4*1. Which is smaller: l or -1/2?
-1/2
Let w = 248.77 - 260.7. Let c = w + -0.07. Which is smaller: 0 or c?
c
Let m = 0.796 - 4.796. Which is greater: -0.6 or m?
-0.6
Let n = -2.76 - -2.86. Let y = 6 + -32. Which is bigger: n or y?
n
Let w = -15 + 13. Is w less than or equal to -46?
False
Suppose -104*w + 3*y - 6 = -101*w, 4*y - 20 = 2*w. Let b = 0 + 1/4. Is w at most as big as b?
False
Let u be 1/(-3) + (-1)/(-3). Let z be 2/(-76)*-3*(-112)/(-42). Which is greater: z or u?
z
Suppose -12 = -4*u, 4*t - 4*u + 10 = -2*u. Suppose 0 = -3*n - 9 - 0. Which is greater: t or n?
t
Suppose o - 27 + 3 = 0. Let r = -10 + o. Which is greater: 13 or r?
r
Let y = 1.426 + -69.126. Let k = y - -68. Which is bigger: 21 or k?
21
Suppose 1 = 2*u - m, m - 25 = -4*u - 8. Suppose -k = -0*k + u. Let s = -629 - -629. Is k > s?
False
Let b = -0.0557 + 0.1557