f + 151. Let k be b(43). Is k equal to c?
False
Suppose -3*i + 84 = 5*p - 67, 5*p = -2*i + 154. Let u = p + -18. Suppose 4*l = -8, 4*l = -2*s - u - 4. Which is bigger: s or -9?
s
Suppose -3*b + 11 = 131. Let h be 28*(b/30 + (-31)/(-12)). Let o be 8/14 + 15/h. Which is smaller: 4/73 or o?
4/73
Let u(q) = -4*q**3 + q**2 + 3*q + 3. Let l be u(-1). Let z be l + ((-154)/11 - -11). Let s be 2/(-4) + (-34)/(-20). Which is smaller: z or s?
s
Let h = 41 - 41. Suppose h = 2*o + k - 6, -18*o + 7 = -19*o + 2*k. Is -3/169 >= o?
False
Let u = 7247 - 7247. Which is bigger: -2/36643 or u?
u
Let d = -3492 + 5260. Suppose -d = -22*a - 12*a. Is a at least as big as 52?
True
Suppose 0 = f - 5 - 0. Suppose -u + 5 = -2*c, 2*c - 2 = c + f*u. Let g be ((-2)/(-4))/(c*(-3)/(-18)). Which is smaller: -7/4 or g?
-7/4
Let f = -2250 + 171075/76. Which is greater: 2 or f?
2
Let z be -14 + (-9)/(-1) - (15 - 0). Let b(x) = -5*x - 98. Let d be b(z). Let t be ((-2)/4)/(3/(-2)). Which is greater: d or t?
d
Let i(g) = -118*g - 123. Let a be i(-41). Let q = a + -344201/73. Which is greater: -0.1 or q?
q
Let b(o) = -o**3 - 11*o**2 + 10*o - 21. Let z be b(-12). Let j be ((-1)/z)/(100/30). Which is bigger: 3 or j?
3
Suppose 0 = -3*o + 5*t - 736, o + 2*t = -176 - 51. Let a = o - -238. Is a greater than 149?
False
Suppose 156*y - 2171 = 143*y. Let l = 384 - 218. Which is smaller: y or l?
l
Let v be 14/3*30/4. Let d(n) = 163*n - 9415. Let y be d(58). Which is bigger: y or v?
y
Let d = -0.151 - 0.849. Let z(a) = -3*a - 6. Let w be z(-6). Let f be (0 + -1)*(w - -1). Is f greater than d?
False
Let b be (-19617)/33 - ((-108)/44 - -3). Which is bigger: b or -596?
b
Let u = -29503 - -40979665/1389. Which is bigger: u or 0?
0
Let l be (0 + 0/(-1))/(-1). Let d be (l - 0) + (-21)/14. Suppose -5*i = -4*t - 13, 2*t = 2*i - 0 - 6. Is d at most t?
False
Suppose 11*p + 12*p - 322 = 0. Suppose 8*x = p*x - 228. Which is smaller: x or 112/3?
112/3
Let q be (180136/(-128))/(-23) + (25/(-20))/5. Is 60 > q?
False
Suppose -57*s = 106*s - 8476. Is 52 smaller than s?
False
Let q(s) = -15*s + 134*s**2 - 138*s**2 - 12 + 17 + 19. Let a be q(-5). Which is bigger: -14/17 or a?
-14/17
Let j = -0.89 + 1.021. Let n = j + 54.869. Which is smaller: n or -1/2?
-1/2
Let k be ((-7)/203*(-7)/(-1))/((-43)/1935). Is 12 at most k?
False
Suppose -3*u + 7 = -4*j, 7*u - 3*u - 16 = 2*j. Suppose 4*x + 9 = z, -5*z + 3*x + 6 = -u. Let f be (4/(-30))/((-20)/(-30)). Is f at least as big as z?
False
Let d(r) = r**3 + 7*r**2 + 5*r - 6. Let c be d(-6). Let o = 1938190/149 - 13008. Which is greater: c or o?
c
Let f(v) = 48*v + 40. Let b be f(-5). Let r = 23 - b. Let h = 658/3 - r. Is h less than or equal to -3?
True
Suppose -4*p + 44 - 4 = 0. Suppose -s + 3*y + p = -56, 3*s - 3*y = 174. Is s <= 55?
True
Suppose -2*z + 456 = -6*y, -15*z - 252 = -16*z - 5*y. Which is bigger: z or 253?
253
Let x be (65 - (-53 + 118)) + 1 + (-6)/10. Which is smaller: x or 51/5?
x
Let l(n) = 5*n**2 + 14*n - 44. Let x be l(5). Do 150 and x have the same value?
False
Let r = -75 - -165. Let w be (-12)/r - 1172/(-15). Let p be -1*1/(3/w*-2). Is p greater than -0.2?
True
Suppose -b + 0*s + 22 = -s, 0 = -3*b - 3*s + 42. Suppose 556 = -b*v - 110. Is v not equal to -39?
True
Let q be (14/35)/(0 - 2*-37). Let z be (4 - 4)*(-4 - -2)/2. Which is greater: z or q?
q
Let a = 797 - 797.1. Let j be (0 + (-8)/(-52))/2. Which is smaller: a or j?
a
Let c be ((-168)/(-98))/((-1)/(-14)). Let l be (-1)/c*-165 - 7. Which is smaller: -1/7 or l?
-1/7
Let m be 10*(-3)/(-6)*2. Let x be -2 - m/(-8) - -1. Let b = 53/84 - -1/28. Is x less than or equal to b?
True
Let g = -308 + 308.1. Let u = 9.9 - 11.34. Is g < u?
False
Let c = 19702 + -17559. Is 2145 equal to c?
False
Let z = 3764 + -3763. Is z equal to -6/20107?
False
Let f be ((-11)/(-11) + -7)*(3 - 14/4). Which is bigger: f or 16?
16
Suppose -4*h = 2*f - 33 - 61, 3*h - 57 = 3*f. Let l be (57 + -7)*(-841)/h. Let p = -1913 - l. Which is bigger: p or -3?
p
Let b be 1695/1 + -53 + 25 + 25. Is 4 smaller than b?
True
Let v = 410.4 - 24.4. Let w = -387 + v. Do w and 166 have different values?
True
Let y = 209 - 204. Suppose w = y*w - 220. Which is smaller: 56 or w?
w
Suppose q = f + 31 + 5, 0 = -5*q - 2*f + 145. Suppose 11*j + q = 20. Which is smaller: j or -2/91?
j
Let j(o) = o**2 - 9*o - 51. Let b be j(-4). Which is bigger: -3/712 or b?
b
Let n be ((-66)/(-24) + -3)*25*-58. Let s = n + -352. Is -2/7 greater than s?
False
Let c(s) = 50*s + 690. Let t be c(-23). Are t and -459 non-equal?
True
Let n be (16/(-40)*(0 + 5))/(1*12). Is n greater than 0.517?
False
Let g be (524/10)/(6/(-90)). Are -787 and g equal?
False
Suppose -9*m - 4 = x - 10*m, 4*x = m - 4. Suppose x = 796*p - 795*p - 9. Which is greater: 12 or p?
12
Let l = -66/10920337125755 - 24336897514979012021503/105949110794075010. Let j = -2526715/11 - l. Let c = 1/882 - j. Is -3 <= c?
True
Let g be 53460/(-9867) - (-10)/2. Let t = 1/23 - g. Does t = -1?
False
Let a = -52786 - -52784. Let s = 0.2 - -0.8. Is s != a?
True
Let k = -10551 + 10547. Which is bigger: k or 1588?
1588
Let l be 506/(-72) - (-4)/(-18). Suppose 4*p - 11 = 69. Let s(z) = z**3 - 21*z**2 + 19*z + 13. Let o be s(p). Is o at least as big as l?
True
Let q = 14 + -15. Let l be (1/(-1) + (-86)/(-129))*-1. Is q smaller than l?
True
Suppose 3*v = 3*n - 37 + 28, 0 = -3*v - 4*n + 54. Is 19/4 bigger than v?
False
Let s = -3211 - -3207.9. Which is bigger: s or 0.3?
0.3
Suppose h = -q - 1, 0*h - 2*h = -5*q - 33. Let f(n) = -n**2 - 6*n - 3. Let u be f(q). Let x = -506 + 507. Is x bigger than u?
False
Suppose -2*c - 4*y - 16 = -4*c, 3*c = 2*y + 12. Suppose c*s + s = -21. Let m be -6*(-3)/(-30) - (-207)/(-30). Which is greater: s or m?
s
Let z = -12091/2 + 61047455/10098. Is z at most as big as 1?
True
Let r = 178602408/2765 - 64594. Which is smaller: 0 or r?
r
Suppose -6*f - 1 = 185. Is f <= 0?
True
Let c(i) = 779*i**2 - 3*i - 7. Let v be c(-1). Which is bigger: v or 774?
v
Let q(t) = -5*t**2 - 5*t - 1. Let v be q(-1). Is 6/391 at most as big as v?
False
Let g = -197.0074 - -0.0074. Let v = g - -194.3. Is v != -3/7?
True
Let j(q) = -2*q**2 + 5*q - 1. Let y be j(1). Let o be y - (268/16 + -2). Which is greater: o or -14?
o
Let o = -10 + 15. Let u(q) = 3*q**2 - 13*q - 11. Let x be u(o). Is 1/20 at least x?
True
Let y(f) = -5*f**2 - 50*f - 8. Let t be y(-11). Let m be (-56)/(-12)*t/6*-1. Is 53 less than or equal to m?
False
Let x = 354.0036 - 0.0036. Let a = x + -353. Is a equal to -1.56?
False
Let c = -16 - -13. Let l be ((-42)/(-9))/7*c. Let b be 30/100*l/(-6). Is -1 at least b?
False
Suppose -g + 3*g - 3*r + 3 = 0, -g - 3*r + 3 = 0. Suppose -7*y - 2 - 5 = g. Let p be 4/(-10) + (-1)/(260/(-44)). Which is bigger: p or y?
p
Suppose 0 = 12*n - 48 - 96. Suppose -n*f - 81 = 15. Let o be 8*f/36 + 4/(-18). Which is bigger: 6 or o?
6
Let t = 12337.986 - 12320. Let q = -0.338 + 0.324. Let x = q - t. Is x <= 3?
True
Let i be (-1)/((-4)/48 + 47/(-84)). Let n = 19 - 6. Suppose 7 = -x - 2*j, -3*x - 3*j - j = n. Is i bigger than x?
True
Let j = 40731 + -40732. Which is smaller: 21/955 or j?
j
Let i = -246 - 154. Let n be 5/15 + i/(-84). Let a = -24/7 + n. Is a < 2?
True
Let r = 3003 + -3002. Are r and 3745 equal?
False
Let l be (-2086)/(-43210)*(-12)/7. Which is greater: -1 or l?
l
Suppose -24*n - 93*n = -29*n + 227304. Is n > -2582?
False
Suppose -401*o + 406*o - 7*v = 1727, 2*o - 718 = -4*v. Let k = -732 - -1082. Is k greater than or equal to o?
False
Let p(f) = -4*f - 38. Let o be (16 - -5) + (0 - 1). Suppose -4*v - 20 = o. Let d be p(v). Is d > 15/7?
False
Suppose 23*f - 736 = -0*f. Let m = 6 + f. Which is smaller: 34 or m?
34
Suppose -195 = 4688*r - 4691*r. Do 63 and r have the same value?
False
Suppose 5*r - 1 = 4. Let t be (4/19 - r)*(-6)/9. Let k = 38 - 38. Which is smaller: k or t?
k
Let y be (-20)/(-1) + 4/16*4. Suppose y = -3*o - 3*v, -3*o + 6 + 5 = -5*v. Let j(q) = -14*q - 19. Let b be j(o). Which is smaller: b or 24?
b
Suppose -3*b + 5 - 34 = d, 2*d - 63 = 5*b. Let m(i) be the second derivative of i**4/12 - i**3/6 - i**2/2 - 8*i. Let s be m(2). Is s smaller than b?
False
Let y be (-60)/12 - (-451396)/90280. Which is bigger: y or 0?
0
Let m be (-2 + (-95)/(-3))*3. Let p = 119 - m. Suppose 0 = 3*c - 133 + 46. Do p and c have the 