 g equal to m?
False
Let o be (-86)/10 - (-2)/(-5). Suppose -27*j - 17 = 122*j + 1324. Is j at least as big as o?
True
Let d be 21/7 + (-3 - -17). Suppose -n - n = 5*q - 80, -8 = -2*q + 4*n. Which is smaller: d or q?
q
Suppose -4*j - 25 = -r + 6*r, -j = -2*r + 3. Which is greater: r or 1/299?
1/299
Let m = -122.8 + 123. Is m != -21/5?
True
Suppose 817*a - 905*a = -352. Suppose 4*n - n = -12. Let b = 9 + n. Which is greater: a or b?
b
Let j = -2043 + 2038. Is 0.093 at least j?
True
Let x be ((-4)/(-54))/1 - (-658308)/(-1377). Which is smaller: x or -479?
-479
Let l(r) = 2*r**2 + 38*r + 17. Let v be l(-19). Which is bigger: 15 or v?
v
Let r = -59 - -57. Let i be (r - (-3 + 0)) + 34/(-30). Does -4 = i?
False
Let q be (-2720)/64 - 2/(-4). Is q greater than -44?
True
Let x = -24 - -23. Let q = -0.2 - 0.8. Let u = q - x. Is u < 0?
False
Let y(a) = -a**3 - 2*a**2 + 16*a - 9. Let n be y(-4). Is -40 at least n?
True
Let y be 1 - 0 - (18 - 19). Let f be 1*8/y - 4. Let q be (39/24 + -2)*1. Which is smaller: q or f?
q
Let f = -5509/26 + 212. Let x be (0 + 0)*15/(-15). Which is greater: x or f?
f
Let y(k) = 11*k - 50. Let d be y(6). Suppose -4*h = -25 + 1. Let p = d - h. Do p and 10 have different values?
False
Let a = 391/10272 - -3/214. Which is bigger: a or 0?
a
Let d(j) = -j**2 - 5*j - 1. Let g(s) = 4*s - 6. Let z be g(4). Suppose -3*x = -5*x - z. Let a be d(x). Which is smaller: 0.1 or a?
a
Let d(i) = 24*i**2 - 84*i + 21. Let j be d(6). Is j equal to 382?
False
Let g(q) = 4*q + 1. Let h be g(-2). Let a = -24 - -37. Let p = a - 19. Which is greater: h or p?
p
Let a = 27.489 - -0.141. Let o = 0.63 - a. Which is greater: o or 0.2?
0.2
Suppose -5*x + 531 = -p - 119, -4*p - 2692 = 3*x. Which is greater: -669 or p?
-669
Let s = -1314 - -1312. Which is smaller: s or -6?
-6
Let x(g) = -g**2 + 19*g - 28. Let k = -72 - -89. Let o be x(k). Let l be 0 + -1 + (-8)/(-1). Which is greater: o or l?
l
Let g = 24/163 + -6247/1467. Which is smaller: -4 or g?
g
Let x(l) = 9*l**2 - 6*l + 4. Let s be x(2). Let b = s + -28. Let q be (-12)/(-15)*(2 + -7). Is b greater than or equal to q?
True
Let p be (-30)/8*60/(-135). Let t(s) = s**2 + s. Let h be t(-2). Are p and h equal?
False
Let f = 164/3 + -54. Let a = 105 - -46. Let g = -149 + a. Which is smaller: g or f?
f
Let l be ((5 - 8)*7)/((-6)/2). Is l greater than -1/18?
True
Suppose -2*z + 6*z = 20. Let k be (-3 + (-40)/(-11))*z/(-5). Which is smaller: -2 or k?
-2
Let q = 290 + -288.7. Let l be -4 - (-7)/(14/4). Let y = 1 + l. Which is smaller: y or q?
y
Let s be 18/9 + (-2)/2 + -12. Let p be (4/s)/2 - (-74)/44. Which is greater: 1 or p?
p
Let r = 1.8 - 1.2. Let l = r - 0.3. Let k = -11.7 - l. Which is smaller: 1 or k?
k
Let j be -1 + 84/92 - (-2463)/552. Are 5 and j nonequal?
True
Let t = 49789/9 + -5552. Which is smaller: t or -19?
t
Suppose -3*j - 3*f = -0*j - 30, 5*f = 2*j + 15. Suppose 9*t = j*y + 4*t - 20, 4*y = -5*t - 2. Suppose 6*l + 10 = 11*l. Is l less than or equal to y?
True
Let g = 47.03 - 4.03. Is 5 > g?
False
Let j = 0.054 - -0.516. Let g = 0.65 - j. Is g != -2/3?
True
Let v be ((-7)/4)/(22/(-8) + 10). Is 0 <= v?
False
Suppose 0 = b + 4 - 4. Is 0 at most as big as b?
True
Let o = 10599 + -10617. Let q be (-6)/(-8)*(-4)/6. Which is smaller: q or o?
o
Let p(d) = -d**3 - d - 22. Let n be p(0). Let y = 242 - 263. Is y != n?
True
Let n be ((-15)/12)/((-3)/12). Suppose -293*q = -287*q - 36. Is n < q?
True
Let t = 0.0673 - 3.5673. Is -2/31 at least t?
True
Suppose 0 = 74*w - 91*w + 7242. Is 426 less than or equal to w?
True
Let h be 1/(-10)*2 + 230/25. Is h greater than or equal to 9?
True
Let f be (-404)/(-1111) + (-8834)/24112. Is -1 bigger than f?
False
Let z = -42 + 42. Which is smaller: z or 57?
z
Let q = -4.01 - -3.91. Which is greater: q or 1/113?
1/113
Let i = -70 - -37. Is i >= -33?
True
Let h(z) = 10*z + 7. Let u be h(-1). Let o be (-13)/4*(-4)/3. Let x = o + u. Which is greater: x or 0?
x
Suppose 44 = -3*j - 5*t, -2*t + 8 = 2*t. Let u be 9/(-2)*j/2403. Let k = u + -170/2403. Is 0 > k?
True
Let h(w) = 3*w + 12. Let a be h(-5). Let y be 6/(-18)*a/(-1). Let j be 15/10 - 295/194. Is j at least y?
True
Suppose 2*i + 0 - 10 = -2*w, -2*i = -3*w + 10. Is i bigger than -9/193?
True
Let q = -0.11 + 0.56. Let r = -0.4 + q. Which is smaller: -0.6 or r?
-0.6
Let l be ((-270)/9)/(-1) - 3*-2. Is 30 smaller than l?
True
Let s = 148 - 132. Is 19 smaller than s?
False
Let a = -1/16507 + 1139053/1155490. Let n = a - 11/14. Which is smaller: -1/4 or n?
-1/4
Suppose 4*m - 2*m + 10 = 0, 4*m + 84 = 4*z. Suppose 0 = n + 3*o + 3 - 12, 0 = -n + 5*o - 15. Suppose n*j - 4 = -j, 4*j - z = -4*r. Which is smaller: r or 3/4?
r
Let w be 4/42*7 - (-141)/(-9). Which is greater: -124/9 or w?
-124/9
Let d(t) = -t**3 + 2*t**2 + 5*t - 5. Let h be d(4). Let m = h - -22. Let x be (-6)/(-15) - (-43)/m. Is x not equal to 8?
True
Let f be -25 + -1*(2 + -3). Let z = -32 - f. Which is greater: z or -3/4?
-3/4
Suppose q + f = 4*f - 1607, 4*f - 3220 = 2*q. Let l be q/280 - 8/(-14). Are l and -5 non-equal?
True
Let t = 6147 + -6119.31. Let s = 1.59 - t. Let n = 26 + s. Is 0 < n?
False
Let z be (-186)/28 - (-18 - -11). Is z not equal to 0?
True
Suppose -643 = -2*q + z, 0 = 19*q - 16*q - 5*z - 982. Are 319 and q nonequal?
False
Let s be 32/(-28) - -1 - (-3198)/42. Is 10 >= s?
False
Suppose 0 = k + 7*k + 24. Is -31 at least k?
False
Let w = 42.4 - 109. Let g = w + 66. Which is bigger: -1 or g?
g
Let u(m) be the second derivative of -2*m**3/3 + m**2 + 6*m. Let v be u(5). Let t = v + 253/14. Is -1 <= t?
True
Suppose -5*f = 2*l - 4, 5*f + 5*l = 10 - 0. Suppose -4*j + 3*j = f. Which is smaller: 9 or j?
j
Let r = 223.3 + -259. Let i = -35 - r. Let u = -1 + -1. Which is smaller: u or i?
u
Suppose -3*g - 3*c - 39 = 0, 2*g + c = 5*c - 50. Let w = 13463 - 13472. Which is greater: g or w?
w
Let z be ((-5)/(55/(-6)))/111. Is 1 >= z?
True
Let x = 49 - 14. Let h(n) = -262*n - 526. Let j be h(-2). Are x and j equal?
False
Let r be 13/(-36) + (-25)/(-100). Are r and -3/4 equal?
False
Let y(z) = z**2 + 15*z - 17. Let v be y(-17). Does 125/7 = v?
False
Let c = -173 + 154. Let a be ((-3)/15)/((-6)/10). Which is smaller: a or c?
c
Let k(y) = -y**3 + 2*y**2 + 7*y - 2. Let z be k(3). Suppose 0 = -z*s + 7*s + 6. Suppose 6 = -n + u, s*n = -4*u + 3 + 15. Which is greater: n or -1/2?
-1/2
Let l = -7/19 + 208/513. Is 1 < l?
False
Let m be (17 + 3)/2 - (1 + 0). Suppose 3*r + 16 = o, o + 4*r + 5 = -0*o. Which is smaller: o or m?
o
Suppose -2*j = -3*y - 2, -4*j = 6*y - 4*y - 4. Suppose y*f = -3*f - 87. Which is bigger: f or -28?
-28
Let w(a) = 3*a**3 - a**2 - a + 1. Let z be w(1). Suppose -4*i + 4*k = 0, k = 5*i - z + 14. Are i and -2 unequal?
True
Suppose -p + 2*p - 2*n = -9, -33 = 5*p - 4*n. Let a be ((-44)/(-4) + -6)*3/p. Which is greater: 1.2 or a?
1.2
Let g(q) = q**3 - 3*q**2 + 2*q - 1. Let t be g(3). Let n be 7/t + 4/(-10). Suppose o = -n - 0. Is o > -2?
True
Let f be ((-16719)/(-75))/(213/6 - -1). Let b = f - 152/25. Which is smaller: 1 or b?
b
Suppose 5*j + 186 - 191 = 0. Is j less than or equal to 329?
True
Suppose -63 = 5*i + 5*l + 17, 5*l - 53 = 2*i. Which is greater: -1.7 or i?
-1.7
Let h = 87 + -77. Let s be (-8)/h - (-2 + (-34)/5). Which is greater: s or 13/2?
s
Suppose 3*t = -r + 16, -r - 3*t = r - 17. Let i(z) = 0 - 1 - 3*z + 2*z + 2*z - 3*z**2. Let m be i(r). Is m bigger than -2?
False
Let h = -3 + 4. Let g = -2/71 + 223/355. Is g != h?
True
Let m(c) = 20*c**3 - 2*c + 1. Let a be m(1). Suppose -23*s - 54 = -491. Are a and s unequal?
False
Let w = 0.012 + -3.312. Let s = w + 2.3. Let k be (2/(-4))/(3/(-12)). Which is smaller: s or k?
s
Let a(w) = 4*w - 1. Let z be a(1). Suppose l + 1 = x, -6*x = -3*l - x - z. Let m be l*1 - 60/20. Is -4 > m?
False
Let o be ((-322)/138)/((0 - 1)/141). Is o less than 331?
True
Suppose 0 = -2*w - w - 54. Let i be 0/((w/(-3))/(-3)). Let j be 4 - (284/48 + -2). Is j smaller than i?
False
Let c be 1 - 0 - (-6)/6. Suppose -y - u = -2*u, c*y + 3*u = 0. Which is smaller: y or -5?
-5
Let n(u) = -8*u - 10. Let t be n(-4). Suppose -24*v + 8 = -t*v. Suppose -4*l = r - v*r - 51, 2*l - 33 = 3*r. Which is bigger: 6 or l?
l
Suppose 5*b + 5*o = 4*o + 27, -4*o + 23 = 3*b. Suppose n = -a - 6, 3*a + 12 = 4*n - n. Let i = b + a. Is -2/13 at most as big 