ost f?
False
Suppose -6*g - g + 35 = 0. Suppose g*w + 37 = -73. Which is bigger: w or 1?
1
Let v = 196.1 - 147. Let x = -49 + v. Is x smaller than 3/2?
True
Let m be ((-10)/(-2) - 3) + (-52)/39. Is 7 smaller than m?
False
Let h be 15/60 - 3/4. Which is greater: 22 or h?
22
Suppose 0 = g - 46 + 17. Suppose 0 = 5*f - 1 - g. Let v(o) = o**3 - 7*o**2 + 7*o + 9. Let h be v(f). Are h and 15 nonequal?
False
Suppose -26 = -4*a + 2*w, 3*a + 2*a = -2*w + 10. Suppose a = 7*f - 3. Let d(j) = 4*j**2 - j + 2. Let h be d(f). Are h and 3 equal?
False
Let r = 0.04 + -0.08. Let h = r - -0.54. Which is greater: -0.03 or h?
h
Suppose 2*g - 4*s = -28, -4*g + s - 30 = 6*s. Let u = -9 - -11. Let a be (-2 - (0 - 3))*u - 11. Which is greater: g or a?
a
Let c = 1351 + -1357. Let r be ((-2)/(-6))/((-6)/99). Is r != c?
True
Let s = -2642 + 2650. Let q = 17 + -10. Is q not equal to s?
True
Suppose -3*p + 2*y = -2*y, -3*p - 5*y = 0. Let v be 6 - -1 - (-5 - -2). Let n be 10/4 - 15/v. Which is greater: p or n?
n
Suppose -9*w = -2*w + 3*n - 8052, -n = 4*w - 4599. Which is bigger: 1150 or w?
1150
Let f be 38/(-6)*2/6. Let i(n) = 129*n - 14064. Let l be i(109). Which is smaller: l or f?
l
Let k(j) = -j**3 - 4*j**2 + 4*j - 1. Let r be k(-5). Suppose -r*b + 12 = -10*b. Which is greater: -5/4 or b?
-5/4
Suppose 0 = -5*r - 10, k + 4*r = -3*k - 64. Let m be 2/(-96)*21/k. Which is bigger: m or 1?
1
Let a(d) = d**3 + 4*d**2 + 4*d - 1. Let y be a(-3). Let m be 1/y*-1 - (-14)/40. Which is smaller: -6 or m?
-6
Suppose 0 = 4*f + f + 4*v + 169, v + 67 = -2*f. Which is smaller: f or -2?
f
Let c be (-356)/52 - -9 - (-4)/(-26). Let z = 68 - 65. Which is bigger: c or z?
z
Let i(t) = -2*t - 29. Let f be i(-15). Are f and -5 equal?
False
Let m = 992 + -10910/11. Let t = -3 - -6. Let g = t - 4. Which is smaller: m or g?
g
Let f = 1601 - 902. Does 698 = f?
False
Let w be (-1)/((1/(-4))/((-23)/(-4))). Suppose -8 = 3*t - w. Is 6 at least t?
True
Let s = -0.1397 - -0.0857. Which is greater: s or -2/11?
s
Suppose -98*r - 6 = -92*r. Which is bigger: r or -2/9?
-2/9
Suppose 11*r - 90 = 295. Let z be ((-12)/(-21))/((-135)/r). Which is bigger: z or 0?
0
Suppose -2*f + 9 = 3. Let v be -2 + f/1*(-4)/(-10). Do v and 3 have the same value?
False
Let x = 0.2 - -1. Let h = x + -0.2. Let p = -1 + h. Which is bigger: p or 0.1?
0.1
Suppose 0*l - 2*l = -h - 5, 20 = -2*h + 2*l. Let m be (-96)/h + 6/(-15). Which is smaller: m or 1?
1
Suppose 19*i = 22*i + 3. Let s(k) = -6*k**3 + k**2 + k. Let v be s(i). Suppose -2*t - v = -t. Which is smaller: t or -4?
t
Let v = -3954 + 2338. Let m be v/80 - (-8)/(-10). Is m > -21?
False
Suppose 4*w + 15 = v, -2*v - 10 = -3*w + 5*w. Let f = 5079/7 - 726. Which is smaller: v or f?
v
Suppose 2*g - 5 = 45. Let c be (-35)/(-1)*(-48)/(-80). Suppose -y - c = -g. Which is greater: y or 7/2?
y
Suppose w + 161 + 41 = 4*z, 4*w + 208 = 4*z. Suppose 83 - 518 = -3*l. Let h be l/z + (-6)/15. Is h > 4?
False
Let n(m) = m**3 - 22*m**2 - 23*m - 1. Let c be n(23). Let p be (-2)/(-7) - (-3966)/(-1680). Let a = p + 15/8. Which is greater: a or c?
a
Let h(b) = -13*b + 15. Let o be h(7). Let s be (-95)/o + 2/(-8). Do s and -1/12 have different values?
True
Let d be 2/(-60) - (0 - 0). Let j = -3918 - -3919. Is j < d?
False
Suppose -x + 40 = x. Suppose -2*f = -7*f + x. Let k(l) = -3*l**3 + 31*l**2 - 29*l + 193. Let y be k(10). Which is bigger: y or f?
f
Suppose 25 - 32 = -7*m. Let i(v) = -v**3 - 2*v**2 + 3*v + 2. Let q be i(-3). Which is smaller: q or m?
m
Let q = -15/119 + -6/119. Let x be 38/2*(-2)/170. Let k = x + q. Is -2/3 > k?
False
Suppose -25 + 12 = -13*b. Let h be (2 - 8/3)*-3. Are b and h unequal?
True
Let o = -11 + 8. Let v be -37 - 5/(o + -2). Are v and -37 equal?
False
Let d(s) = 7*s**3 + 3*s**2 - 5*s + 2. Let v be d(2). Let j = 58 - v. Which is greater: j or -8/11?
-8/11
Let o(f) = -f**2 - 5*f - 1. Let b be o(-4). Let t = 5 - b. Let y be 2/8*27 - 8/(-32). Is y less than t?
False
Let r = 753 + -754. Is r less than or equal to 7?
True
Let c = -12 - -18. Suppose -c*a + 11*a = -70. Let g = a - -13. Is g smaller than -4/3?
False
Let f = -278 - -19463/70. Which is greater: f or -1/2?
f
Let b = 15 + -12. Suppose -s + b = -0. Let w be -2*1*s/6. Are w and 2/19 non-equal?
True
Let t(q) = 4*q**2 - 7*q - 11. Let g be t(4). Let d be 4/6 + (-4)/6. Suppose g = -d*o + 5*o. Which is greater: o or 3?
o
Let p = 200.1 - 218. Let o = 16 + p. Which is bigger: o or 0?
0
Let p(c) = -c**2 - 13*c - 20. Let r be p(-11). Suppose 3*j = -0*j - 2*z, -3*j = -3*z. Suppose 3*i - 3*q - 54 = j, 0 = 4*i - r*q - q - 71. Does 18 = i?
False
Suppose 5*h + 2*q + 12 = 3*h, 0 = 4*h - 4*q - 16. Is 7/18 less than or equal to h?
False
Let m be (-4)/(-2)*(-37)/74. Is 2/77 > m?
True
Let v = 20.74 - 21. Let g = v + 0.3. Let m = -74 - -76. Are g and m non-equal?
True
Suppose -5*p = -19*p + 42. Suppose -2*j = 3*n + 7, 4*n = 3*n + 2*j - 5. Which is smaller: p or n?
n
Suppose 41 = h + 4*x, 0 = 5*h - 4*h - 3*x - 48. Let c be -1 + ((-92)/(-2) - 1). Is h >= c?
True
Let t be (-110)/4*57/760. Which is smaller: -1 or t?
t
Let v = -2/13 - -32/39. Suppose -x - 4 = 2*t - 6, -5*t = -4*x - 18. Suppose -10 = 2*l + 3*l + t*u, -5*l - 10 = -4*u. Which is smaller: l or v?
l
Let b be (9/2)/(((-10)/(-20))/1). Which is smaller: b or 13?
b
Let c(n) = -n**2 - 9. Let x be c(0). Let t = -49 + 40. Is t at most x?
True
Let d = 0.486 - 0.086. Which is greater: d or 4.7?
4.7
Let i(c) = -c**3 - 9*c**2 + 10*c + 11. Let d be i(-10). Suppose l + d = -3*z, z = -z - 3*l - 5. Let v be -2*4 - 0 - -4. Is z greater than v?
False
Let b = 54 - 31. Suppose 47 = 7*m - b. Let a be 4/m + (-210)/25. Which is smaller: -9 or a?
-9
Let r = 85 - 122. Suppose 4*o + 159 = -5*n, -17*n + o = -18*n - 31. Which is bigger: n or r?
n
Let r(g) be the third derivative of g**6/120 + 4*g**5/15 + 7*g**4/12 - 5*g**3/2 + 4*g**2. Let u be r(-15). Are 3/29 and u unequal?
True
Suppose 3*r - 11*r = -25*r. Which is bigger: 9 or r?
9
Let x = -292 - -357. Which is smaller: -1 or x?
-1
Let o = -168 - -168.1. Let w = -347 - -349.13. Let p = w + -2. Is p at least as big as o?
True
Let i(v) = -1 - 63*v + 60*v + 0. Let l be i(-7). Is 20 less than l?
False
Let b = -337.9 - -338. Is b > -1/95?
True
Let l = -5113/231 + 156/7. Are l and 1 equal?
False
Let f = -9883/17 + 581. Let m(g) = g**3 - g**2 - 3*g + 2. Let h be m(2). Is h equal to f?
False
Suppose 3*p - 3*a + 66 = 0, -2*a + 56 = -3*p + 3*a. Let m be p/(-14) + 3*(-1)/6. Which is bigger: 0 or m?
m
Suppose -q + 6 = -2*z, 0 = 5*q + 2*z - 43 - 11. Let l(o) = o**2 - 3*o - 3. Let b be l(-2). Let r = b + 3. Is q < r?
False
Let d(g) = -g**3 - 8*g**2 + 12*g - 82. Let q be d(-10). Which is greater: 60 or q?
60
Let f(l) = -5*l**3 + 19*l**2 + 19*l + 20. Let x(j) = j**3 - 5*j**2 - 5*j - 5. Let d(p) = -2*f(p) - 9*x(p). Let y be d(-6). Is y greater than -2?
True
Let o = 202.1 + -199.953. Let l = -0.047 + o. Which is bigger: 0 or l?
l
Let r be 3/5 - (-3)/((-22005)/4476). Are 0 and r unequal?
True
Let i(g) be the third derivative of g**5/60 - 17*g**4/24 - 4*g**3 + 4*g**2. Let z be i(19). Which is smaller: z or 16?
z
Let i be -13*2 + 4 - -2. Let p be (4/4)/((-2)/i). Let x be (-40)/p - (-124)/30. Is x at most as big as 2?
True
Let p = 36 + -27. Let y = -0.26 - 9.74. Let x = p + y. Is x at most as big as 7?
True
Let s be -2*(-1)/(-10) - (-42)/35. Let a = -93 - -2141/23. Which is bigger: s or a?
s
Let d = 1 + -1. Let h = -166 - -251. Let s = h + -1106/13. Are s and d unequal?
True
Let u be 1 + -1 + -2 - -26. Let f = u + -35. Suppose -3*v + 35 - 10 = -2*p, -2 = -2*v. Is f less than or equal to p?
True
Suppose q - 21 + 25 = 0. Let z be (-1 - -2)/((-1)/5). Let g = z + 4. Which is bigger: q or g?
g
Let b = 132 + -130. Is b not equal to 0.27?
True
Let g(y) = -y**2 + 2*y + 11. Let h be g(5). Let c be (-7)/(-2)*h/(-21). Is c not equal to -3/10?
True
Suppose -5*u + 8 + 12 = 0. Suppose 5*g = u + 1. Is g at most as big as -2/5?
False
Let j = -0.57 - -0.6. Let u = 10.57 - 0.57. Let s = u + -10. Which is smaller: j or s?
s
Let x = -7.96 - -7.799. Which is bigger: x or 0.4?
0.4
Let l = 3.98 - 4.82. Which is greater: l or 2/7?
2/7
Suppose 0 = -3*p - 4*y + 10, -5*y + 3 = -3*p + 4. Let c = p - 1. Which is bigger: c or 4/19?
c
Let y be ((-24)/(-16)*-1)/(17/4). Which is bigger: 1 or y?
1
Suppose 0 = -5