
Let n = -2401 - -3661. Let a be n/(-200)*(-3)/7. Let m = 19/5 + a. Does m = 0?
False
Suppose -96*c + 17*c - 89363 = 101817. Which is smaller: c or -2419?
c
Let a be (-75 + 77)*((-5)/2 + 1). Let r(q) = 91*q + 210. Let p be r(a). Suppose 4*x - u = -4*u - 264, -3*x = -4*u + 173. Is x smaller than p?
False
Let t = 360 + -198. Let x = -9557/59 + t. Is x != 0?
True
Let y be 315/49 + (-1 - 3 - 4). Which is bigger: -1 or y?
-1
Let d = 10299 + -51328/5. Let p = d - 2429/60. Which is bigger: p or -7?
-7
Let d be (-8 + 4 + 3)*450/1325. Is d less than -1?
False
Let r(k) = 2*k**2 + 17*k + 13. Let y be 112/(-84)*(-9)/(-2). Let a be r(y). Which is bigger: a or -18?
a
Suppose 4*x = -3*n + 5, -5*n + 21*x - 15 = 16*x. Is -31/18 < n?
True
Let p be (-2975)/117 + -91 + 96 - (-1)/(-9). Is -22 equal to p?
False
Let k = 0.236 - -1.854. Let i = 0.89 - k. Is -1 less than or equal to i?
False
Let v(p) = 4*p - 29. Let l be v(7). Let u be (9/(2 - l))/((-2376)/16688). Let i = 188/9 + u. Are i and 17 non-equal?
True
Let n(d) = -3*d**3 + 8*d**2 + 20*d + 21. Let i(g) = 7*g**3 - 15*g**2 - 39*g - 41. Let q(b) = -2*i(b) - 5*n(b). Let v be q(12). Which is greater: -5/17 or v?
v
Let c be 8/(-27)*39/52. Let k(d) = -d - 7. Let x be k(-6). Let g = x + 1. Do g and c have the same value?
False
Let p = 0.02706 - 0.42706. Which is bigger: 396 or p?
396
Let o = -82723.311 - -74990.23. Let c = o + 7742. Let v = 0.081 + c. Does 0.1 = v?
False
Let n be -55 - (0 + (114/12)/19*2). Suppose 2*t = 2*y + 116, y + 2*t = -2*y - 164. Is n at most y?
True
Let v be 2/(-58)*(6 + 40432/(-6748)). Is 0 less than v?
False
Suppose 0 = -3*x + 3*a + 10 + 2, -2*a - 4 = -x. Suppose 2*o - 30 = -x*g, g - 12 = o - 6. Is 23/4 greater than g?
False
Let u be (-10)/4*(-8)/(-20) - (-39)/12. Is u greater than -138?
True
Let s(a) = -a**3 - 6*a**2 - a - 2. Let i be s(-4). Let j = -5183 - -7308. Let m = -2156 + j. Which is smaller: i or m?
m
Let z = -1290.6 - -1347.33. Let n = z + -56.9. Is -0.7 less than or equal to n?
True
Let i(v) = 2*v**2 - 30*v + 47. Let u be i(13). Is u >= 32?
False
Let q be -2 - 3 - (-4 - 0). Let r be (-1)/q*(-2 + (324 - -13)). Which is smaller: r or 336?
r
Let t = 0.55155 + 0.04845. Is 185 at least as big as t?
True
Suppose -5*i + 6 = -2*i. Let t be 1*(-4 + (i - -3)). Let s be t + 3 - (-1180)/(-120). Is s greater than -6?
True
Let k = -1.109 + -0.361. Let h = k - -4.47. Is 17 less than h?
False
Let c = 2197886/3 + -740417. Is c not equal to -7789?
True
Let f = -159 - -168. Let h be (-4)/(-3)*f/12. Which is smaller: -15/91 or h?
-15/91
Suppose -121 = -19*s - 26. Let o = 16 - 5. Let r(h) = h - 6. Let m be r(o). Is s equal to m?
True
Let g = 1194 + -672. Let w = g + -20356/39. Which is smaller: w or 5?
w
Suppose -5*y = 3*u - 54, 2*y - 40 = -5*u - 7. Suppose -i + y = 16. Let v = 4 + i. Which is greater: 1 or v?
1
Let p = 33 - 29. Suppose -w = -p + 21. Is 2/7 equal to w?
False
Suppose 2*a + a - 828 = 0. Suppose 4303*r - 4513*r + 70986 = 12816. Do a and r have the same value?
False
Let o = -20789 - -20788. Are o and -1/25972 unequal?
True
Let a(z) = 9*z**3 + 2*z**2 + z. Suppose 2*v = 10*v - 40. Suppose v*o - 9 - 6 = 5*t, 5 = 3*t + 4*o. Let x be a(t). Which is smaller: -9 or x?
-9
Let u be (2/(-12))/(0 + -35). Let p(v) = v**3 + 21*v**2 + 109*v + 12. Let o be p(-12). Which is smaller: o or u?
o
Suppose -845 = 211*t - 212*t. Is t > 3375/4?
True
Let v(k) = 25*k**3 + 104*k**2 + 1. Let z be v(-4). Suppose 0 = -9*c + 549 + 45. Is c != z?
True
Let g = 2203 - 2396. Is -193 greater than or equal to g?
True
Let z = -127654/97 + 1316. Let x(r) = -r**2 - 4*r - 1. Let u be x(-3). Suppose -u*g + g = 0. Which is greater: z or g?
g
Let g = 187.4 + -91. Let d = 98 - g. Let f = -1 + d. Which is smaller: f or 0?
0
Suppose -f = 3*f + 3*p - 20, -p + 4 = 0. Let g be ((f - -2) + 0)/2. Suppose g*v + 12 = 2*x, -5*x + 3*v + 16 = -4*x. Do x and 8/7 have different values?
True
Let c(y) = y**2 + 11*y - 1606. Let v be c(35). Let o = 2 + 13. Suppose 0 = -3*a + o + 9. Which is smaller: a or v?
v
Let c = 4283 + -4284. Do 1/4130 and c have different values?
True
Let h = -95326486/771 + 123640. Are 0 and h equal?
False
Suppose -p = -2*w - 444, 51*w - 47*w = -5*p - 860. Which is smaller: w or -130?
w
Let x = -0.019 - -56.819. Let k = -49.8 + x. Which is greater: 4 or k?
k
Let n = 51.3 + -122.6. Let a = 1249 - 1320. Let p = a - n. Which is smaller: p or -21?
-21
Let u = -12939/4 - -3214. Let q = 21 + u. Suppose 6*j + 9 = 15. Is q bigger than j?
False
Suppose 4*p - 4*o = 0, -o + 7 = p + 3. Suppose -36 = p*h + h. Let q(u) = 314*u**2 - 2201*u + 11. Let k be q(7). Is h bigger than k?
False
Suppose 0*f = 10*f - 10. Let i be 2*f*(-27)/1458. Is 0.1 < i?
False
Let g be (-1878)/60 + (-6)/(-20). Is -59 >= g?
False
Let g = -317 - -319. Let m be -3*65/15*(-17 - g). Which is greater: 246 or m?
m
Suppose 4*h + 2*x - 24 = 0, -2*h - 3*x - 7 = -3. Is h > 155/16?
True
Let x be (-20)/1005*9/24. Is x at least as big as -118?
True
Let u(v) = -17*v - 829. Let n be u(-48). Which is smaller: -26 or n?
-26
Let b = 0 + 0.2. Suppose -6*p - 26*p + 224 = 0. Suppose 4*t - y = p*t + 72, t + 2*y = -24. Are b and t unequal?
True
Let b be (96/8 - 12)*3/6. Which is greater: b or -2/50985?
b
Suppose 19 = -2*s + h + 17, s + 5*h = 10. Is s < -42/79?
False
Suppose 5*g + 25 = -2*q, -g = -2*q + g + 10. Let n be 306/1326 + 42/(-6630)*29. Which is greater: n or q?
n
Let d(v) = v**3 + 6*v**2 + 2*v - 38. Let y(j) = -j**3 + 3*j**2 + 29*j - 13. Let l be y(7). Let q be d(l). Which is greater: q or -546/11?
-546/11
Suppose -315 = -5*s + 4*w - 25, 0 = 3*s - 2*w - 176. Suppose -3*k - 315 = 4*j, 0 = 4*k - 0 + 4. Let p = j + s. Which is smaller: -29/2 or p?
p
Let s(c) = -c**3 - 51*c**2 + 343*c + 16. Let m be s(7). Which is smaller: m or -442?
-442
Suppose 3*v + n = 12, -8*n + 27 = 5*v - 4*n. Suppose v = 3*o + 9. Let u be ((-3)/(-3))/((-15)/6 - o). Is 0 greater than u?
True
Let j = 4382 - 1463587/334. Suppose 0 = -3*p - 21, -2*u + 10*p = -8 - 62. Which is bigger: j or u?
j
Suppose 0 = v - 4*o - 21, 263*o - 5 = 5*v + 265*o. Which is bigger: v or 5/6907?
v
Let j(b) = -b**2 + 18*b - 30. Let d be j(16). Let s = 3/61 + 168/305. Is s bigger than d?
False
Let z = 58.6 + -57. Let o = 6 + -124. Let q = -119 - o. Which is smaller: z or q?
q
Let t(p) = -1173*p - 1207. Let n be t(-1). Let w be 275/4 + 6/(-8). Let d be 0 + (-5)/(10/w). Is n at least as big as d?
True
Let y(g) = -155*g - 415. Let w be y(9). Is -1809 at most as big as w?
False
Let r(h) = -16*h**3 + 8*h**2 + 7*h + 12. Let m be r(-8). Let w be -1 + 4 + (-10)/m*2602. Is w smaller than 0?
True
Let y(l) = 7*l**2 + 379*l + 164. Let c be y(-53). Which is bigger: c or -259?
-259
Let c(i) = -97*i - 28. Let n be c(2). Let o(y) = 17*y - 323. Let z be o(19). Is z > n?
True
Let g = -36938 + 37028. Is 76 at most g?
True
Suppose -51*l - 4187 + 1586 = 0. Is l equal to -664/13?
False
Suppose 115 - 91 = 6*k. Suppose 4*m - 7 + 3 = -4*g, -k*m + 4 = 3*g. Is m at most as big as 19/9?
True
Let r = -136 - -79. Let f be r/12 - 1/4. Let m = f - -10. Is m smaller than 16/3?
True
Let o be (1 - -1) + -3 + 3610/38. Let h = -95 + o. Let d be (-6)/(-8) + (-4)/10. Which is bigger: h or d?
d
Let h be (924/48 - 4)/((-3)/(-36)). Are h and 193 nonequal?
True
Let y(b) = -b**2 - 10*b - 16. Let u = 21 - 29. Let h be y(u). Suppose -f - 4 + 3 = h. Does f = -6/19?
False
Let u(c) = 80*c**2 - c + 6. Let s be u(-2). Suppose -103 = -3*b - s. Is 1 at least as big as b?
True
Let v = -2/13215 + -584089/92505. Is v less than -6?
True
Let f(s) = 19*s - 300. Let m be f(1). Do m and -281 have different values?
False
Let t = 0.515 + -0.438. Which is smaller: 0.2 or t?
t
Let b(q) = q**3 - 15*q**2 - 12*q - 98. Let n be b(16). Let j(r) = 6*r + 185. Let w be j(n). Suppose 2*g = 3*g + 21. Is w != g?
True
Let v be 1 - (-10)/(30/27). Let f be 3*(1 + 0)*v/5835. Do f and -0.1 have the same value?
False
Let t = -261.4 + 261.35842. Which is bigger: -2/5 or t?
t
Let h(q) = -q**2 + 5*q + 2. Let g be h(5). Suppose 28 = d - 5*d + 2*t, 0 = -g*d - 5*t - 2. Let x be (-8 + 2 - -8) + -5. Which is smaller: x or d?
d
Let w = 1.4 + 0.6. Let n = 40 + -24.22. Let j = -15.4 + n. Which is bigger: w or j?
w
Let l be 12/3*(63 + -86). Which is smaller: l or -106?
-106
Let i be (-190)/(-38)*(6 - 1). Suppose 0 = -i*w + 26*