. Is 12/7 less than or equal to f?
False
Suppose x - 8 = -x, t - 3*x = -12. Let n = -62.6 + 91.6. Which is bigger: t or n?
n
Let x = 116/11731 + -10646771/7801115. Let a = x + -7/95. Let u(y) = y**2 + 3*y - 12. Let i be u(-5). Which is bigger: a or i?
a
Let n = 67 - 65. Let s be 9/3 + -1*1. Suppose -s = 2*i - 4*i. Which is smaller: n or i?
i
Let j(z) = z**2 - z + 2. Let w be j(0). Suppose -w*s + 7 = -s. Let q be s/(-28) + 3/8. Are 0 and q unequal?
True
Let t be (-2)/16 - 1595/40. Is -45 at least t?
False
Let d = 361 + -363. Which is greater: d or -18/19?
-18/19
Suppose z = -5*y + 162, -5*z + 925 = -0*z + 2*y. Is 187 < z?
False
Let j(k) = -k**2 + 1. Let l be j(-5). Let z be ((-16)/l)/(4/(-6)). Is z != 2/85?
True
Suppose 3*d = -4*z + 3, -z + d - 2 + 8 = 0. Let n = -0.027 + -32.973. Let m = 33.4 + n. Which is smaller: z or m?
m
Let w = -301 - -296. Which is bigger: w or -18?
w
Let j = -0.0848 + -56.9152. Is j less than -3?
True
Suppose 4*z - 3 = 5. Let g be (21/(-7))/((-9)/(-6)). Let w be (-7)/g - 10/20. Which is bigger: z or w?
w
Let u = 15 + -27. Let r = u + 9. Let g = 5 + r. Is 0 smaller than g?
True
Let t(b) = b. Let y be t(-1). Suppose 26*c = 15*c - 19*c. Which is greater: c or y?
c
Let f be (-2 - 0)/(0 - 0 - -4). Suppose -2*w = w - 12. Let a(l) = l**2 - 4*l. Let o be a(w). Which is smaller: o or f?
f
Let c(q) = -q**3 - 7*q**2 - 8. Let w be c(-7). Let b be 10*(36/w)/3. Is -16 smaller than b?
True
Let m = -64 - -64.317. Is m equal to -0.1?
False
Suppose 6*g - 3*a = 7*g + 69, 0 = -3*a - 9. Do g and -412/7 have the same value?
False
Let u be 2/(-12) - (-371)/(-42). Let w(s) = 7*s**3 + 7*s + 11. Let m(y) = y**3 + y**2 + y + 1. Let i(t) = 6*m(t) - w(t). Let n be i(6). Is n > u?
False
Suppose -8 = -3*q - q. Let o = 2.01 + 6.99. Is o less than or equal to q?
False
Let p be -2*(1687/14 - 2). Are -238 and p non-equal?
True
Let r = 100 - 59. Suppose 4*z + r = -15. Let t be 38/z + 6/(-21). Is -3 not equal to t?
False
Let n = -14 + 12. Let i be 0 - n - (-91)/39. Suppose 4*c = -7*c + 44. Is i < c?
False
Suppose -462 = -386*i + 407*i. Are i and -18 equal?
False
Let s = -65 + 110. Suppose -83 = 4*w - 23. Let k be (w/s)/((-49)/(-3)). Which is greater: 0 or k?
0
Let h be -1 - -5*(-2)/(-8). Let r = 53 - 23. Which is greater: r or h?
r
Let n(w) = 10*w**2 - 7*w - 17. Let g be n(-2). Which is greater: g or 221/6?
g
Let p be (-10)/(-3)*(-6)/5. Let y be (p - 78/(-18))/(2/96). Do 14 and y have different values?
True
Suppose -10*t = -37*t - 108. Suppose -2*j + 21 = j. Let c be (-2)/20*t*j. Is 4 >= c?
True
Suppose 5*a - 226 = 2*n, 3*a - 3*n - 102 - 30 = 0. Do a and 48 have the same value?
False
Suppose -4*u + 67 = 3*q + 2*q, u - 2*q - 33 = 0. Suppose 0 = -d - 12 + u. Is d < 10?
False
Suppose 0 = -2*o + 3*o + 1. Is -9/13 greater than o?
True
Let a = 9 + -5. Let i = 3.97 - a. Let x = -229 + 229.1. Which is greater: x or i?
x
Suppose -2*q = -w - 3*w + 744, w - 183 = -q. Which is smaller: 1 or w?
1
Let m = 73 - 17. Suppose 7*i - m = 3*i. Is i at least as big as 15?
False
Let q be (3 + -2)/((-5)/(-10)). Let a = q - 1. Let n be (2 - a)/(5/20). Are n and 4 non-equal?
False
Let d(l) be the first derivative of -l**2/2 - 17*l - 11. Let k be d(-19). Suppose 0*v + 5*v = 5. Which is bigger: k or v?
k
Let n be 3*(-2)/26*1. Let g(h) = h**3 + 8*h**2 + 11*h - 5. Suppose 14 = 8*y + 62. Let v be g(y). Which is bigger: v or n?
v
Suppose -2*y + 0*y = 0. Let p be -1 - (-140)/658*(-72)/(-15). Do p and y have different values?
True
Let p be ((-4282)/(-104))/((-2)/12). Let x = 580 + -333. Let g = x + p. Which is smaller: 2/5 or g?
g
Suppose -c = -2*q, -2*q - 4*c + 16 = 6. Let g = 12 - 5. Let r be (-276)/546 - (-3)/g. Is r smaller than q?
True
Suppose -23 + 15 = -4*x. Let p be 20/16 - (-1 + x). Let f be (-1)/(-2)*4/(-2). Which is smaller: p or f?
f
Let u be -10*(-1 - 6/(-4)). Let v be (-1)/1*-1 - -1. Let k be 36/(-8) - v/(-4). Which is greater: k or u?
k
Let a be (-720)/(-1320) - 207/319. Let q = 1 + 0. Are a and q non-equal?
True
Let r be (-12)/2260*(-42)/63. Is 0 equal to r?
False
Let m = 29/6 - 103/30. Let i = 9.1 - 9.2. Which is greater: i or m?
m
Let w = 1.62 - 0.83. Let y = 0.01 + w. Let u = y + 2.2. Which is bigger: 7/3 or u?
u
Let s be (6/(-30)*-2)/((-3)/(-825)). Which is smaller: 111 or s?
s
Let m be 4/8*-6 - -5. Suppose 5*s - 2*n = n - 4, -m*s + 14 = 4*n. Which is bigger: s or 2/125?
s
Let g(p) = -34*p + 203. Let l be g(6). Is l equal to -6/641?
False
Let l(o) = o**3 - 22*o**2 + o - 16. Let s be l(22). Is s bigger than 1?
True
Let z = 0 + -1.3. Let k = -4.9 + z. Let a = 6 + k. Is a > -2?
True
Let d(q) be the second derivative of 0 - 7*q - 2*q**3 + 5/2*q**2. Let u be d(2). Is -18 equal to u?
False
Suppose 2*j = -3*j + 330. Suppose 6*s = -0 - j. Which is greater: -7 or s?
-7
Let y = -5.8 + 4.8. Which is smaller: y or 2/39?
y
Suppose -12*c + 27*c = 13*c. Which is bigger: c or -2/149?
c
Let c(h) = h**2 + h. Let l be c(-1). Let f be (3/(-6))/(-1)*l. Suppose f = -3*x - x - 8. Which is greater: x or -3?
x
Suppose 2*l + 24 + 24 = 0. Let w = -26 - l. Let b be 1/w - (-200)/(-16). Is b bigger than -14?
True
Let i(k) = -9*k - 10. Let x be i(-2). Suppose -x*q - 5 = -3*q. Which is smaller: -2/251 or q?
q
Suppose -4*o + 230 = 86. Suppose -b - o = 3*b. Let r = 47/156 - 2/39. Which is greater: r or b?
r
Let y = -2493 + 767845/308. Which is bigger: y or -1?
y
Let z(g) = -g**3 + 4*g**2 + 2*g - 2. Let n be z(4). Suppose 4*a - 17 = 11. Is n greater than or equal to a?
False
Let h = 325 + -325. Which is bigger: -2/629 or h?
h
Suppose b - 2*s = -3 - 1, 0 = 3*b - s - 3. Let z be (b - 2)*(-6)/(-12). Which is greater: z or 2/27?
2/27
Let h(u) = -3*u - 69. Let b be h(-24). Which is smaller: -122 or b?
-122
Let j be (-18)/5*10/(-3). Suppose 3*t + 0 - j = 0. Let y be (t/(-3))/(40/(-12)). Is y equal to 0?
False
Let x(p) = -p**3 + p**2 - p - 4. Let m be x(-3). Let i = -34 + m. Does i = 3/5?
False
Suppose -k - 14 = s - 0*k, -25 = 5*k. Suppose y - 3*u - 21 - 3 = 0, -3*y + u + 32 = 0. Suppose -1 = h + y. Is h smaller than s?
True
Let r(p) = -3*p**2 - 19*p + 4. Let u be r(13). Let z = u + 48001/64. Are -1 and z equal?
False
Let z(s) = s**3 - 3*s**2 - 5*s - 5. Suppose -5*t - 25 = -5*h, -4*t + 10 = 5*h - 15. Let c be z(h). Let x be 1 + ((-72)/c)/3. Are -0.2 and x equal?
True
Let c = -0.8817 + 0.828. Are c and 1 equal?
False
Let k(p) = -193*p**3 - 2. Let s be k(-1). Is s at least as big as 190?
True
Let b(h) = -h - 1. Let l be b(-2). Let n = -29 - -15. Let v = n + 15. Is l >= v?
True
Let p be (-1 + -5)/(63/12 - 6). Suppose -t = -5*b, t = -6*b + 3*b - p. Is 0.059 bigger than b?
True
Suppose 10 = 5*f - 0*f. Suppose 3*q + f*i = 3*i + 41, 4*i = -2*q + 4. Suppose -r + 4*p - 47 = -4*r, -4*p = 4*r - 60. Is q less than r?
True
Suppose 2*o + 2*x + 4 = 0, 0 = -2*o + 2*x - 3*x. Let n be (o/(4/(-3)))/(12/(-16)). Which is smaller: n or 4?
n
Let u = -929/6 + 315/2. Let h = -9 - -13. Which is smaller: h or u?
u
Let w be (-8)/(-28) + (0 - 514/(-112)). Let k = 219/40 - w. Let b be 3 + 1 + -3 + 0. Is b <= k?
False
Let h = 597 + -480. Which is smaller: h or -2?
-2
Let v = 17552/273 - 790/13. Which is smaller: 4 or v?
v
Suppose 3422 = 4*h - x, -613 = -2*h - 4*x + 1107. Is 856 > h?
False
Suppose 7*x = 2*x + 20. Let k be (-8)/(-198) + x/(-18). Which is greater: k or 1?
1
Let w be 180/(-63) + 3 + 1804/(-12726). Is w bigger than 1?
False
Suppose j - 2*p = -10, -1 = 4*j - 3*p + 29. Let x be ((j/8)/(-4 - -7))/(-1). Which is bigger: x or 3?
3
Let o be (-11)/(-4) + (0 - 6/(-24)). Suppose d + 2*y = -d + 8, d = -o*y + 12. Which is bigger: d or 3/7?
3/7
Let p = 233/30 - 23/3. Let v be 3/27 - (-20)/(-18). Does v = p?
False
Let b = -2.198 - -2.197. Which is smaller: b or 2/3?
b
Suppose -3*y + 10 = -5. Suppose -6*h = -y*h. Is h greater than or equal to -2/3?
True
Let i = 206 + -198. Suppose -i = 16*k - 8. Let j = -209 - -2301/11. Which is smaller: k or j?
k
Let g = -8.2 - -0.2. Let a = 11 + g. Suppose 3*h - 13 + 7 = 0. Which is bigger: h or a?
a
Let k = 1491 - 76027/51. Let y be 1/(-15 + 0 - 2). Let a = y - k. Do a and 4/5 have the same value?
False
Suppose 3*q + 2 = q. Suppose 2*i - 2 = -3*y, -18 = i - 3*i + 5*y. Suppose -i*a = a. Is q >= a?
False
Let m(z) = -12*z**2 - z + 2. Let k be m(1). Let p be (2 - (-23)/k)/1. Which is smaller: p or -1?
-1
S