rue
Let c = 52 - 74. Is -20 smaller than c?
False
Suppose 0 = -4*w + k + 192, -7*k = -5*w - 2*k + 225. Let y = 5 + w. Is 55 equal to y?
False
Suppose 0 = -3789*l + 3785*l + 336. Is l >= -1?
True
Let n = -21 + 25. Suppose 4*c + 128 = k - 5*k, -n*c - 119 = -5*k. Is -0.1 bigger than c?
True
Let g = -40.3 - 5.7. Let p = g + 50. Are p and -1 unequal?
True
Let q be (3*1)/((-10)/((-700)/(-21))). Which is bigger: 1 or q?
1
Let i = -0.38 + 1.38. Let u = -7 + 6.86. Which is greater: i or u?
i
Let x(l) = l**3 - 9*l**2 - 10*l - 3. Let b be x(10). Let z be -3 + (b - -2)*-12. Let g be (z*(-3)/6)/3. Which is smaller: g or -2/5?
g
Suppose -4*y - 2*s - 14 = 0, -3*s + 2*s = 5*y + 10. Let w be (y - 14/(-10))*-2. Suppose 0 = 5*i + 2 + 8. Is i less than or equal to w?
True
Let z(i) = 3*i**2 - 5*i + 11. Let a be z(4). Let k = -24 + a. Are k and 16 equal?
False
Let s = 0.14 - 0.24. Let r = 15 + -29. Let a = -13.4 - r. Which is smaller: s or a?
s
Suppose 28 = -5*q - 122. Let s = q + 30. Which is smaller: 2/7 or s?
s
Let i(a) be the third derivative of a**6/120 - a**5/15 - 3*a**4/8 + a**3/3 + 2*a**2. Let v be i(6). Suppose 0 = 5*p - v - 5. Is p < 6?
True
Let k = 0.2 - 0. Let p = -35 - -22. Let y = p - -12. Are k and y equal?
False
Let f = 1406 + -187002/133. Is f at most 1?
True
Let m be (60/(-3030))/(3 + -2). Is m bigger than 0.9?
False
Let w be (-1292)/14 - ((-44)/(-14))/(-11). Is w smaller than -93?
False
Let r be (-238)/68*(-3 - (-12)/(-28)). Is r > 14?
False
Let v(w) be the first derivative of w**4/4 + 11*w**3/3 + w**2/2 + 16*w + 14. Let r be v(-11). Is r equal to 3?
False
Let l = -25.4 - -28. Let w = l - 3. Are w and 4 non-equal?
True
Let v = 202 - 72. Which is bigger: v or -1?
v
Suppose 4*c + 2*r = -3*r - 154, -4*r = 8. Let t = -37 - c. Do 2/7 and t have different values?
True
Let g be (-65)/(-13) - (3 - (0 - 0)). Which is bigger: g or 0.169?
g
Let j(c) = 6*c. Let m be j(-5). Let w = -101.5 - -100.5. Is w equal to m?
False
Let u be -24*(65/(-15) - -3). Which is smaller: 31 or u?
31
Let o(u) = 32*u + 73. Let c be o(-1). Which is smaller: 47 or c?
c
Let u(p) = -2*p - 21. Let c be u(-13). Let r(y) = -3*y + 6. Let j be r(c). Is j >= -5?
False
Let t = 436.79 - 440. Let c = -0.21 - t. Is 3/11 > c?
False
Let m be (-15 + 3)*(-14)/9296. Is 1 < m?
False
Let c = -0.0179 - -2.0379. Which is smaller: c or 0?
0
Let y(d) = -2*d**2 + 11*d - 6. Let j be y(5). Let x be 3/(-2)*(-9 + j). Which is smaller: x or 13?
13
Suppose 2*v + g - 3*g = 10, -g = 2*v - 7. Suppose 3*i - 2*i + 12 = -4*a, v*a = -4*i. Let r be (-1)/(-1)*a/(-14). Which is smaller: r or 0?
0
Suppose 3*v - 3 = 0, 0*v = -h - 2*v + 2. Suppose -198*r - 33 + 363 + 264 = 0. Is r >= h?
True
Let j be 3 - (1/(-4) - 95/(-20)). Let h(w) = -3*w - 3. Let x be h(0). Is j at most as big as x?
False
Let t = 0.47 + -1.47. Let l = 23.38 + -23. Let y = l + -0.08. Which is smaller: t or y?
t
Let p = -22.83 + 7.21. Let v = 16 + p. Which is smaller: 0 or v?
0
Let r = -87 - -79. Let d be 6/(-8) + (1 + r)/(-28). Suppose 3*v + 23 = -4*x, -3*x + 2*v + 16 = -6*x. Which is smaller: d or x?
x
Suppose 19 = -4*y - 5*k, 4*k = -y - 11 - 2. Let f(s) = 6*s - 1. Let c be f(y). Which is smaller: c or -0.1?
c
Let f(t) = t**3 + 3*t**2 - 5*t - 5. Let q be f(-4). Let p be (5/10)/(q/(-2)). Suppose i = -0 - p. Is i greater than 3/8?
False
Let a be 207/117 + (-4)/2. Suppose -13 = 4*t - 33. Suppose t*y - f + 2*f = -2, -2*f - 4 = 5*y. Which is bigger: a or y?
y
Let y be (-5)/(10/(-1))*192/(-57). Let w = y - -485/209. Which is smaller: 1 or w?
w
Let t = -159 - -89. Let z = 246 + -317. Which is bigger: z or t?
t
Let u = 1/2 - -7/6. Let q be -3 + (2 - 8/(-6)). Which is smaller: u or q?
q
Let u(q) = q**2 + q - 9. Let p be u(0). Let t be (p*2 + 5)*1. Is t at most -13?
True
Let i = 39 + -36. Suppose 2*s - 12 = i*p, 3*s + 5 - 1 = -p. Let t = -83/140 + -1/140. Which is smaller: s or t?
t
Let y be 22/(-33)*30/(-4). Suppose q = 4*z - y, -2*z - 16 = 4*q + 4. Is z smaller than -4/17?
False
Let i = 14 - 36. Let x = i + 13. Suppose 22 = -2*k + 58*b - 54*b, 0 = -2*k + 2*b - 12. Which is bigger: x or k?
k
Let j = 77/2 - 40. Suppose 0 = 3*l - 8 - 4. Suppose -s = -l*s - 6. Which is bigger: j or s?
j
Suppose -16*n = -21*n - 20, 9 = -5*v - n. Is v less than 2/459?
True
Let h(b) = b**2 - b - 9. Let d be h(4). Suppose -d*x = x. Is -1 > x?
False
Let k(m) = 5*m. Let l be k(1). Let d be 69/(-8)*(246/54 + -5). Is d >= l?
False
Suppose -24 = 9*m - 33*m. Which is smaller: 2/585 or m?
2/585
Suppose -s - 1 = a, -3*a + 0*s - 5*s = 3. Let c be ((-1)/2)/((-48)/3). Which is bigger: a or c?
c
Let b = -213 + 212. Let z = 9 + -35/4. Is z not equal to b?
True
Let i = -1127 + 1095. Let q be (-1)/(-2) + 244/(-8). Is q at most i?
False
Suppose 7*y = -6*y - 312. Let i be (-5 - 124/y)*6. Is -1/4 greater than i?
False
Let y be (33138/294)/(1/(-1)). Let b be 1*-1*(-226)/(-2). Let v = y - b. Which is greater: -3 or v?
v
Let d = -23 - -48. Let c = 25 - d. Is 14/11 at least as big as c?
True
Suppose -4*n = -12*n - 16. Let d = -18 - -8. Let z be (n/(-22))/((-5)/d). Is 1 < z?
False
Suppose -47*g = -57*g + 10. Which is smaller: -9/41 or g?
-9/41
Let n be 4/3*189/(-2). Is n smaller than -131?
False
Let w = 1194/5 + -22671/95. Let x = -3 + 3. Is x < w?
True
Let b be (1 + 1)/(-2) + 6. Suppose -2*l + b = -r - 2, 5*r - 1 = l. Let k = 9 - 5. Is k equal to l?
True
Let c be ((-16)/(-312)*-13)/(3*4/(-18)). Let k = -7/36 + 467/180. Are c and k equal?
False
Let r = -65 - -38. Let x = 27.23 + r. Let s = x + -0.13. Which is greater: s or -0.12?
s
Let b = 0.307 - -7.693. Which is smaller: b or -93?
-93
Let y(j) = -14*j**2 - 2 - 4 + 16*j**2 - 9*j. Let n be y(5). Is -2/161 greater than n?
True
Let r = 2.63 + -3.6. Let x = 0.34 + r. Let u = 0.13 + x. Which is greater: 0.2 or u?
0.2
Let g be (-1)/(-2)*1 - 0. Let x = 1465 + -8743/6. Let l = x + -341/42. Is l less than g?
True
Suppose -5*g = -25, 1 - 32 = p - 3*g. Which is bigger: p or -20?
p
Let g(w) = 7 - 6 - 3*w - 2*w + 4*w. Let n be g(5). Let p be 10/n*2/60. Is -1 equal to p?
False
Let g be (-24)/100 + -1 + 4 + -3. Which is smaller: 1 or g?
g
Suppose 2*z = 2 + 6. Suppose -v + z*v = 3*k - 3, 19 = v + 3*k. Suppose -4*i + 2*q = 12, -4*i - 30 = 5*q - v. Is i smaller than 2/9?
True
Let b(j) = j**2 + j. Let a be b(0). Suppose -4*w = -a*w + 20. Suppose -13*r = -22*r - 54. Which is greater: r or w?
w
Suppose -29*w + 1173 + 654 = 0. Which is greater: w or 58?
w
Let r be (-54)/(-754) + (-31)/403. Which is smaller: r or -1?
-1
Suppose 2*u = 4*n - 16, 4*u = -0*n + n - 4. Is -2/43 equal to u?
False
Let o = -35.0783 - -0.0783. Are o and -1 non-equal?
True
Let i = -2 + 6. Suppose i = 24*r - 20*r. Is -7/4 >= r?
False
Let r = 7153/53605 - 21/151. Are 0 and r nonequal?
True
Suppose -5*n + 5*k = 0, -n = -4*k - 7 + 1. Let i = -6 - n. Let d be (3 + -3)*(i - -3). Which is smaller: -4/9 or d?
-4/9
Suppose 20 = 4*n + n. Suppose z + 5 = -n*z. Let b = -57373 + 57375. Which is smaller: b or z?
z
Let v(h) = -8*h - 10. Let a(r) = 7*r + 9. Let f(d) = -7*a(d) - 6*v(d). Let c be f(-4). Let l be c/(-3)*(-1 + 1). Which is bigger: -1/4 or l?
l
Suppose 4*x = -3*r + 37, -3*r = 7 - 16. Suppose 2*z - n = -499, -2*n + x*n + 15 = 0. Let b = z - -745/3. Is -2 bigger than b?
True
Let q = 0.04 + 0.04. Let y = 2.92 + q. Suppose 11 = c + 10. Which is greater: c or y?
y
Let k be 3/(0 - ((-6 - -2) + 5)). Which is bigger: 24 or k?
24
Suppose 0*u - 2*u - 6 = 0. Let y be 3/(u*5/(-5)). Which is bigger: y or -2/7?
y
Let r(w) = -w**2 - 12*w + 13. Let b be r(-14). Let j be ((-3)/(-10))/(48/b). Is 1 > j?
True
Let j = -5395624/489 + 11034. Let i = 1435/7824 + j. Let u = -6 - -5. Which is bigger: u or i?
i
Let f = -121.9 + 112. Let n = -10 - f. Let d be (-3 - (-332)/116)/(0 + 2). Which is greater: d or n?
d
Suppose -21*x + 2268 = -1932. Let m be ((-10)/(-3))/(2/(-6)). Let b be x/m*3/4. Which is greater: -14 or b?
-14
Let c be 90/20*(3 - (-363)/(-117)). Is c at most 0?
True
Let h(c) = -c**3 - 7*c**2 - c - 7. Suppose -7 = -5*z + 18, -2*z - 18 = 4*w. Let s be h(w). Is -2/5 bigger than s?
False
Let u(n) = n - 2. Let p be u(6). Let g be (30/3)/(8/p). Is -0.2 >= g?
False
Let l(c) = -9*c**2 + 6*c + 7. Let b be l(-1). Let w be 30*((-36)/b + -5). Is w bigger than -15?
False
Let f be 6/(-12) - (-29)/6. Let p(h) = h**2 - 7*h + 2. Let x(b) =