an n?
False
Let w be 22/8 - (-2)/8. Suppose 3*g - p - 50 = -2*p, -w*g - 2*p = -52. Suppose -34*i + 30*i = z - 57, -4*i + 4*z + 32 = 0. Do i and g have different values?
True
Let u = 407/61408 + -3/202. Is 1 less than u?
False
Let n = -26 - -37. Suppose n = f - 15. Let b = f - 26. Is 1 smaller than b?
False
Suppose 140*h = 137*h - 48. Let v = -27 - h. Let y = 12 + v. Which is bigger: y or 0?
y
Let f = 54 + -47. Suppose z + 21 = 4*m, -f*z = m - 8*z - 6. Suppose m*b = 63 - 3. Which is smaller: b or -0.3?
-0.3
Let f be (108/(-714))/(7 + 176/(-28)). Is f less than or equal to 1?
True
Let u = -140 - -139. Let g = 15444/7 - 2230. Which is smaller: u or g?
g
Suppose -3*z - 21 = -2*w - 3, 0 = 4*z. Let g be ((-2)/3)/((-3)/w). Let q be (-1)/((-368)/36 + (66 - 57)). Which is smaller: g or q?
q
Let r(h) = h**2 - 40*h + 209. Let y be r(20). Let s(q) = 3*q**3 + q**2 + 3*q - 4. Let a be s(-4). Is y < a?
False
Let n be (2/(-9) + 360/891)/(76/418). Which is smaller: n or 37/310?
37/310
Let f be -1 + 3 + 96 + -97. Let y(v) = -124*v + 11. Let j be y(f). Which is smaller: j or -455/4?
-455/4
Let j = -121 + 288. Which is smaller: j or 164?
164
Suppose 83*j = 77*j. Suppose 4*i - 27 + 31 = j. Which is smaller: i or -1/349?
i
Let d(a) = a**2 + 2*a. Let q = 7 + -11. Let c be d(q). Which is greater: c or 24?
24
Let f be 1/(-3) - (-46810)/141546. Let b = -91 + 90. Which is bigger: f or b?
f
Let g = 1/21588 + 25495423/107940. Let o = g + -237. Let k(l) = -l**3 + 4*l**2 + 22*l - 40. Let a be k(-4). Which is smaller: o or a?
o
Let h = -14095 - -14093. Which is greater: -138/239 or h?
-138/239
Let v = 2 - 6. Let s = -2905.9 - -2906. Which is smaller: v or s?
v
Let u be (0 - -4) + -4 - 39*-7. Suppose u = 21*g - 18*g. Let v = g - 55. Is 36 at most v?
True
Let w(y) = 2*y**2 - 17*y + 26. Let c be w(7). Suppose c*z + 5*m = 0, -22*m = -27*m - 5. Which is bigger: -3/287 or z?
z
Let o = -3632 - -5867. Which is bigger: 4471/2 or o?
4471/2
Let n = -2088411/217 - -9624. Which is smaller: n or -1?
-1
Let s(j) = j**3 - 19*j**2 + 33*j + 11. Let w be s(17). Let v(c) = c**3 + 4*c**2 - 11*c - 1. Let u be v(w). Is u < -5?
True
Suppose 14*x = x - 117. Let w be 2 + x - -11 - (0 - -2). Let c be (200/(-85) + w)/1. Which is greater: -1 or c?
c
Suppose -909 = -5*o - 324. Suppose 4*f = 125 - o. Is f at least 10/13?
True
Let u = -470 - -468. Let q = 5658 + -28146/5. Let i = q - 1723/60. Is u > i?
False
Let b = -1/25657 + 25661/102628. Is b > 3.336?
False
Let c be 51*(-5 + (-28)/(-6)). Let x be c/85 - 2*647/(-6420). Is x < -1?
False
Suppose 2*d + 2*d = -3*m + 202, -5*m - 2*d = -332. Let g = -51 + m. Suppose -2*s = 0, -g*c + 4*s = -10*c + 25. Which is bigger: -45/8 or c?
c
Let i = -61 - -163. Let m = 184 - i. Is m <= 82?
True
Suppose -15*q + 1 = 41 - 25. Which is greater: -1/11094 or q?
-1/11094
Suppose 9*a = 67 - 40. Let o be 9/2 + (a - (4 + 3)). Which is greater: o or -105?
o
Let u = 8.12 + -47.02. Let o = u - -34. Which is greater: o or -0.3?
-0.3
Let d = -750 + 736. Let b = 10 + -10. Let q = b - 15. Is d greater than q?
True
Let g = -47027 + 330683/7. Is -2/7 <= g?
True
Let o = -4750 - -23764/5. Do -11.5 and o have the same value?
False
Suppose 4*p = -4*u + 452, -3*u + 4*u - 104 = -4*p. Let g = 60 - u. Let x be (-126)/g*2/48. Do x and 1 have the same value?
False
Let z be ((-13881)/(-18))/(-7) + (-5)/(-30) + 0. Is -111 <= z?
True
Let r = 3961 - 3348. Which is smaller: 4292/7 or r?
r
Let i(p) = 6*p - 72 + 2*p**2 + 45 + 20. Suppose -r + 2*r = -5. Let j be i(r). Is j greater than 12?
True
Let x be 12/(-8334)*6/(-7 - -8). Which is smaller: -1 or x?
-1
Let h = 2/335 - -20/1139. Does h = 18?
False
Suppose u = 2*x + 5072 - 988, -3*u - 6 = 0. Which is bigger: x or -2040?
-2040
Let z be (-1)/4 - (-342)/152. Which is smaller: 74 or z?
z
Suppose -15*c + 2*c = -845. Suppose -71*f = -c*f + 6. Which is smaller: 4/17 or f?
f
Let n be (-82)/205 - 114621/(-33715) - 3. Is n at least 0?
False
Let f = 209 - 233. Let u be 152/f - -1*8/6. Suppose 0 = -3*s - 5*j - 1 + 8, 4*s + 4*j + 4 = 0. Which is greater: u or s?
u
Let b = 2/45 + 37/180. Let c be (1240/(-12))/(3*5/(-90)). Is b at least as big as c?
False
Let i be (-360)/(-32) + -11 - (-218)/(-936). Suppose 4*m + 40 = -3*j + 52, -16 = -4*j. Is m > i?
False
Let z = 1 + 72. Suppose -12 = -z*p + 70*p. Let b be (-1)/6 - p/(-72)*-3. Is 1 < b?
False
Let q be 9/(135/(-50))*(-9)/3. Suppose -9*t - 9 = -q*t. Is 2 at least t?
False
Suppose 0 = 37*o - 32*o - 135. Suppose 60 = -o*l - 102. Are -16 and l non-equal?
True
Let a(h) be the second derivative of 17*h**4/6 - h**3/2 + h**2 - 23*h. Let j be a(2). Let o = j - 131. Which is bigger: -1/15 or o?
o
Let c = -205343/10527045 - -16/817. Which is greater: c or -1?
c
Let i = 2874 + -2099. Is i <= -4?
False
Suppose 8 = -l + 12. Let t(z) = z**3 - 5*z**2 + 4*z. Let n be t(l). Suppose n = 4*p - 5 - 11. Is p greater than or equal to -2?
True
Let q(o) = 41*o + 726. Let z be q(-18). Which is smaller: z or -30?
-30
Let l = 13940 + -13593. Is -5/4 at most l?
True
Let r = 21 + -20.98. Let k = -0.22 + r. Are k and 2/17 nonequal?
True
Let x = -5.1 + 10.5. Let l = 30456 - 30456. Which is greater: x or l?
x
Suppose 0*a = -2*a + 338. Let m(l) = -3*l**2 - 117*l + 2397. Let d be m(-53). Which is smaller: d or a?
a
Suppose -28 - 5 = -4*o + u, 10 = o - 2*u. Suppose l + 0 + 22 = 3*a, -l = -4*a + 30. Let t = o - a. Is t <= 8?
True
Let l = -1.3 - -0.35. Let p = 2080.25 + -2080. Let g = p - l. Which is greater: -3 or g?
g
Let b be (-1*26)/(2 - 1). Let r = 76 + b. Let q be r/14 - (-12)/28. Are q and 4 equal?
True
Let r be 200/(-48)*(3376/(-840) + 4). Which is greater: r or 2?
2
Suppose -f = 5*f - 12. Let c be (-1 + -9)/(5/(-10)). Let s be (12/c)/(2/5). Which is greater: f or s?
f
Let k = 1225 + -819. Is 406 smaller than k?
False
Let f be ((-2)/4)/(14/(-12) + 1). Suppose -2*v - 3*v - 3*k = 47, f*v + 2*k = -29. Let c be (-2)/4 + v*5/(-35). Which is smaller: c or 0?
0
Suppose 0 = 3*x + 2*f + 3*f - 8210, 5*x + 5*f = 13670. Let t be (-10 + -1257*9/(-1134))/(14/1605248). Let i = x + t. Is i smaller than 0?
True
Let f = -107 + 537/5. Let w = 6607 + -6607. Which is smaller: w or f?
w
Suppose 24 = 5*n + z - 13, 0 = 4*n + 2*z - 32. Suppose n*o + 4*c = 2*o, c = 0. Let a(k) = -k**3 - 2*k**2 + 2*k - 45. Let g be a(o). Is g greater than -45?
False
Let g = 85 - 81. Suppose 911 = -4*k - 5*b, 0 = -g*k - k + 2*b - 1114. Let j be (-4)/(2/8 - (-24)/k). Do j and -29 have the same value?
False
Let m = -326.00034 + 0.00034. Which is bigger: -1/3 or m?
-1/3
Let l = 104007/295 + -1763/5. Let f = -13/12 - -4/3. Is f bigger than l?
True
Let i = -15315 + 15328. Is -172 < i?
True
Suppose 0 = 23*p - 25*p - 8*p + 10640. Do p and 5319/5 have different values?
True
Let o(i) = -6*i + 45. Let r(j) = -j - 1. Let g(u) = o(u) + r(u). Let d(z) = z**2 - 15*z + 32. Let k be d(2). Let c be g(k). Is c <= 8/3?
True
Let g = 32 - 30. Suppose 182 = -n + 8*n. Suppose v = -5*c + n, 4*c + 10 = 6*c. Is v <= g?
True
Let b be 2 - (2 + -3)/(-1) - -6. Let u be 3*((-20)/12 - (-11)/b). Which is greater: u or -0.36?
u
Let f be 24/3 + 3134*(-2)/789. Which is smaller: f or 1?
f
Suppose 218 = 4*k + 3*m, -4*k - 3*m = -6*m - 230. Let j = -56 + k. Let n be j + 0 - 4*2/32. Is n smaller than 23?
True
Let r = -0.197 - -47.197. Let x = 47.011 - r. Which is smaller: x or -1/3?
-1/3
Suppose 12177 = 5*n - 2*t + 1929, 3*t = 2*n - 4108. Is 2049 at least as big as n?
True
Let t = -22.21 - -22.24. Which is smaller: 1/25 or t?
t
Let u = 4185 + -5418. Is -1235 at least u?
False
Suppose -165*j + 42 = -164*j. Let m(l) = 2*l - 19. Let r be m(13). Suppose 86 = 9*o - r*o. Is o greater than j?
True
Suppose -2*o + b = 15, -o + 3*b = -6 + 21. Suppose 4*q + 34 = -2*i, -1 - 18 = 2*i + q. Which is bigger: i or o?
o
Let p be ((-93)/4)/((408/320)/(-17)). Is 309 at most as big as p?
True
Let w(a) = -102*a - 4077. Let n be w(-40). Let u be 1 + 32 + 0/2. Suppose 3*k - 12 = 0, -n*p - u = -8*p - 2*k. Which is greater: p or 0?
p
Let p(b) = b**3 - b - 21. Let a be p(0). Suppose 0 = 14*q - 20*q + 72. Suppose 11*m - 24 = q*m. Is m bigger than a?
False
Suppose 0 = -4*j + 4, 5*g = -j - 17 + 73. Suppose g*s + 33 = 11. Which is bigger: -17/13 or s?
-17/13
Let j(k) = k**3 + 27*k**2 - 58*k - 5. Let i be j(-29). Let q be (i - (-10 + 6))*5. Are q and -21 noneq