: g or -316?
-316
Suppose f = 2*f - 20. Suppose 0 = -4*q - f, 0*q + 60 = -5*i + q. Let a = -1.46 - 0.54. Is i bigger than a?
False
Let i = -54 + 56. Let r be (232/44 - i) + -2. Let c be ((-8)/12)/((-2)/3). Is c >= r?
False
Suppose 2*k - 2*j - 481 = -3*k, k + 2*j - 101 = 0. Is 95 at least k?
False
Let r = 18.49 - 0.49. Which is bigger: r or 0.02?
r
Let v = 5087/9 + -566. Let k = -371 + 369. Which is smaller: k or v?
k
Let c = -18.945 + 19. Let j be ((-387)/(-258))/((-4)/(-18) - 140/144). Is j greater than or equal to c?
False
Let h = 32 + -27. Suppose w = -2 + 1, 0 = -2*r + h*w + 155. Let a = r + -374/5. Which is smaller: a or -0.02?
-0.02
Let b(r) = -r - 116. Let d be b(6). Which is bigger: -121 or d?
-121
Let l = -0.1 - 0.1. Let s = -0.11 + 3.91. Let v = s - 4.8. Do v and l have the same value?
False
Let v(g) = -g**3 + 6*g**2 - 6*g - 3. Let p be v(5). Let c be (6*p/(-30))/(22/(-165)). Do c and -12 have the same value?
True
Suppose 5*b = 8*b - 45. Let i be (-4)/30 - (-62)/b. Let l be (0 - (-2)/(-1)) + 7. Is l greater than i?
True
Suppose 5*l + 5*u = 45, -l + 57 = 4*l - u. Suppose 3*n - 2 = 4*n. Let i = n - -12. Which is smaller: i or l?
i
Let r be 1456/40 + 2/(-5). Suppose 0*g - 3*g = -r. Suppose 13*w - g*w = -7. Is -6 at most w?
False
Let k = -0.1 - -0.11. Let v = -44 - -26. Let o be (-102)/(-180) + 3/v. Which is greater: k or o?
o
Suppose 0 = 11*q - 10*q - 5. Suppose -27 = -q*r - 2. Do 29/7 and r have different values?
True
Let x = -1018 + 1770. Let w be 0 + x/740 + -1. Let s = 516/2405 + w. Is s greater than or equal to 0?
True
Let i be (-6)/9 + 7/(42/172). Suppose -22*b + i*b = 12. Which is smaller: 6/5 or b?
6/5
Let o = -1042 + 1028. Which is smaller: -11 or o?
o
Let d(v) = v**2 + v - 8. Let g be d(-3). Let m be 22/(-8) - (g - 0). Is m at most as big as -1?
False
Let a = -33 + 11. Let r = a + 30. Is r greater than or equal to -3/5?
True
Suppose -5*y = d - 7, 3*d + 3*y = 8*d - 7. Let w(v) = v**3 - 2 + 7 + 3*v**d - v - 7*v**2. Let n be w(4). Is n < -2?
False
Suppose w - 110 = -3*z + 32, -3*w = -5*z + 232. Let m = -71 + z. Let v = 24 + m. Are v and -1 equal?
False
Let s = 57 - 227/4. Suppose 12*c + 12*c = 8*c. Is s greater than c?
True
Let w(y) = -y**2 + 6*y + 5. Let s be w(6). Suppose -4*i = -4*u - 9 + 1, s*u + 1 = 2*i. Let j be (1 - (-2 + i))/1. Is j < 3/11?
True
Let l = 65.1 - 66.1. Which is bigger: -461/4 or l?
l
Let m = 14 + 7. Let o = -7 + m. Which is greater: 1 or o?
o
Let b = -2932 + 2953. Is b greater than or equal to 18?
True
Suppose 0*t - 1 = -t. Let r be (4/3)/((-6)/(-243)). Let p be (-17)/(-15) + 36/r. Does t = p?
False
Let y be -1*45/12*(-192)/(-18). Which is smaller: y or 0.2?
y
Suppose 4*t = 4*b + t - 11, 2*b + 5 = 5*t. Suppose b*v = 1 - 11. Are -2 and v unequal?
False
Suppose 415 - 996 = 7*o. Suppose -2*w = -p - 80, -79 = -4*p + 5*p - 3*w. Which is bigger: o or p?
p
Suppose -2*k + 17 = 3*k - 4*d, 15 = -5*d. Let m be 13924/70 + (-14)/(-49). Let j = 200 - m. Do j and k have the same value?
False
Let h(u) = 2*u**3 - 10*u**2 + 2*u - 7. Let r be h(5). Suppose -2*o = -0 - 10. Is r at most o?
True
Suppose 2*p - 22*p = -160. Is -4/7 >= p?
False
Suppose 0 = -5*k + 18 + 22. Let u = k + -5. Let n be (-2 + u)*-5*-1. Which is bigger: n or 6?
6
Let a = 34 - 100/3. Let q = -23 + 25. Suppose -5*f + 9 + 6 = -5*r, 0 = 4*r - q*f + 6. Do r and a have the same value?
False
Let r = 27 + -41. Suppose 3*n + 138 = x + 136, 3*n = -3*x - 54. Which is bigger: r or x?
x
Let o(u) = 5*u**2 - 4. Let b be o(2). Let r = b - 23. Let n(l) = l**3 + 7*l**2 + l + 6. Let t be n(r). Are t and -1/26 non-equal?
True
Suppose 28*f = 12*f + 16. Which is smaller: 4/31 or f?
4/31
Let m be (4/(-3))/((-48)/(-9) + -5). Let n be (104/(-16))/((-6)/m - 1). Which is greater: n or -11?
-11
Let h = -0.249 + 32.249. Is h greater than or equal to -1?
True
Let q = 7 - 9. Let x be (15/(-25))/(q/10). Let u be 3/6 + 1 - x. Is u less than -2?
False
Let o = 30.8 - 30.6. Which is bigger: o or 1/374?
o
Let y = 0.653 - 0.623. Let q = 3.7 + 0.3. Are y and q equal?
False
Let a(x) = -x**2 + 5*x - 1. Let o be a(4). Let p = 2822/5 - 25318/45. Which is bigger: o or p?
o
Let p = -23 - -29. Let v be (4/p)/(18/297). Are 11 and v equal?
True
Suppose -4*d = -u - 16 + 23, -5*u = -d - 16. Which is smaller: 5/79 or d?
d
Let h = -370259234/732151 + 2/104593. Let n = 507 + h. Let s = 3 - 1. Is s at least as big as n?
True
Let t = 515.9 - 516. Let z(j) = -j**2 + j - 8. Let w be z(0). Is w less than or equal to t?
True
Suppose 19*m - 13716 = -17*m. Is m != 379?
True
Let k = 1926.3 + -1955. Is k != -0.1?
True
Let h be (-64)/(-8) - 3 - 109/22. Let p be 6/(-21) + 9/7. Which is smaller: p or h?
h
Let d(i) = 3*i - 1. Let a be d(15). Suppose w = 66 - a. Which is smaller: w or 23?
w
Suppose -10*s = 84 - 84. Does s = 5/211?
False
Let m = 6 - -25. Let p = m - 22. Is p <= 9?
True
Let r = 226.7 + -213. Let b = -6.9 + r. Let t = b - -2.2. Is -1 at most as big as t?
True
Let d be (1/2)/(81/(-54)). Suppose -5*l - 7 = 53. Is l at least as big as d?
False
Let m = -1438421296/5753625 - -93772/375. Let r = -6/229 + m. Is 0 >= r?
False
Let q = 954 - 955. Let w be 2/(1 - (-4 + -1)). Is w at most q?
False
Let s = 909 - 33635/37. Let w(b) = -12*b**2 - 359*b + 30. Let k be w(-30). Are s and k nonequal?
True
Let f = -6 + 3. Let c = -45 - -46. Let l be (c/1)/(35/14). Does f = l?
False
Let u = -1 + 23. Let y be 1 + 2 + u/(-8). Suppose -3*i + i = 2*r + 12, 5*r + 12 = 4*i. Is r at least y?
False
Let h = 1988 - 1965. Which is greater: 29 or h?
29
Let w = -0.06 + 17.06. Let m = 16 - w. Which is greater: m or 2.6?
2.6
Let q = -0.52 - -0.4. Let p = 0.02 + q. Let r = 27.4 - 2.4. Which is smaller: p or r?
p
Let o be (-32781)/1176 + (-2)/16. Which is bigger: -31 or o?
o
Suppose 3*h - 4*g - 240 = 0, 14*g - 365 = -5*h + 9*g. Let q = -74 + h. Is q bigger than -14?
True
Suppose -1848 - 3336 = 12*r. Which is bigger: -431 or r?
-431
Let r(f) = 25*f + 162. Let o be r(16). Are o and 561 unequal?
True
Let w be (-147)/6 - 0/1. Let a be -2*(-30)/(-4)*(-32)/20. Let j = a + w. Are j and -2 nonequal?
True
Let w(g) = g**3 - 6*g**2 + 12. Let x be w(6). Suppose -x = -10*r + 7*r. Suppose 0 = -5*a + r*a + 1. Is a at least 4/7?
True
Suppose -37*k = -19*k - 2304. Which is greater: 130 or k?
130
Let n(a) = -a**2 - 18*a - 10. Let c be n(-9). Suppose 2*k = -3*y - 676, -3*y + c - 732 = -k. Let w be 3 - 3/(y/(-224)). Is 0 greater than w?
True
Let c(v) = v**3 - 31*v**2 + 89*v + 35. Let q be c(28). Is 176 less than or equal to q?
False
Let c = -0.49 - -22.49. Let v = -23 + c. Which is smaller: v or -30?
-30
Suppose 5*t = -120 + 10. Let n(d) = -6*d - 1. Let m be n(-4). Let h = t + m. Is h greater than or equal to 11?
False
Let l = 285 + -1141/4. Which is greater: 37 or l?
37
Let i = -697 - -2509/5. Let u = -194 - i. Let f = -77/610 + -9/122. Which is smaller: u or f?
f
Suppose 0 = 5*a + 4 - 9. Let x be (0 - a/(-7)) + 45/(-21). Are -12/7 and x equal?
False
Let m be (-4)/(-10) + 1/(4225/(-1685)). Is m at least 1?
False
Let c(j) = -j**3 + 15*j**2 + 34*j - 1. Let y be 2/(-8)*-67 + (-3)/(-12). Let g be c(y). Let d = 855/8 + -107. Which is greater: d or g?
d
Let c = 12.47 - -0.03. Let q = c + -13. Suppose -3*y = 4*m + 4 - 0, 5 = -5*m. Which is smaller: y or q?
q
Let o = 22/5 + 11/10. Is o at most as big as -3?
False
Suppose -41*w - 146 = -2*b - 36*w, -2*w - 308 = -4*b. Which is bigger: 77 or b?
b
Let o = 4800 - 14651/3. Suppose -148*g + 149*g = 83. Let d = o + g. Is d less than -0.05?
True
Let m(r) = -r + 4. Suppose 4*b - 2*u = -6*u - 48, -3*b = -4*u + 1. Let z be (-190)/(-35) + 3/b. Let t be m(z). Which is bigger: 1 or t?
1
Let y = -145/18 + 4957/612. Let v = 2 + -1. Which is greater: v or y?
v
Suppose -g = -3*g + 4. Suppose 4*t + 11 - 19 = 0. Suppose 20 - 4 = 4*o + t*q, 0 = g*o - q. Which is smaller: 3 or o?
o
Let t = 77 + -142. Let u = -63 - t. Does u = -2?
False
Let p be (-1)/((-6)/(-2))*54468/168. Let k = p + 108. Let d = 0 + 0. Do k and d have the same value?
False
Let t = 562 + -562. Are t and -3/146 nonequal?
True
Let r(u) = -8*u**2 + 13*u. Suppose 8 = -129*l + 131*l. Let s be r(l). Is s equal to -76?
True
Let z be 6*1/2 + (-48)/(-9). Let g = z + -319/39. Are -0.4 and g unequal?
True
Let i(h) = -h**3 - 6*h**2 - 6*h - 3. Let k be i(-5). Let o be 1*(0 + (k - (-1 + 3)