- 1261/5. Which is smaller: p or -1.8?
-1.8
Suppose -2*j = 7*j + 1170. Let c = j - -107. Which is smaller: -21 or c?
c
Suppose -7*w + 58 = -8*w + 4*y, 161 = -3*w - y. Which is smaller: w or -49?
w
Let o be ((-135)/54)/(3 + (-25)/3). Do o and 1 have the same value?
False
Let h(y) = 5 + 3*y + 4 + 5 - 6. Let l be h(-3). Which is bigger: l or -2/13?
-2/13
Let z be 10/(-55) - 6840/(-110). Is z at least as big as 182/3?
True
Suppose -5*y + 15 = j - 0*j, -43 = -4*j - 3*y. Suppose -2*l - j = -4*g, -4*l - g - 4 = -2. Let q be -1*1 - (-56)/49. Which is smaller: l or q?
l
Let w = 40 + -38. Let j be 4/8*-6*w/3. Which is greater: 0 or j?
0
Let d = 515 - 9790/19. Let w(c) = c**3 - 21*c**2 + 37*c + 18. Let k be w(19). Is k smaller than d?
True
Suppose -4*g + 35 + 13 = -2*j, -j - 2*g - 4 = 0. Let o be (-6)/j - 2275/49. Which is smaller: o or -45?
o
Let j = -326.81 + 327. Is -0.7 equal to j?
False
Let l = -6.8 + 6.1. Let k = l - -0.6. Which is greater: -0.007 or k?
-0.007
Let i(m) = -m**3 - 8*m**2 - 8*m - 8. Let x be i(-7). Suppose -g = -5*g. Suppose g = t + 3*t. Is x > t?
False
Suppose -28*n - 12 = 16. Is 8 > n?
True
Suppose -4*f = -5*a + 4*a - 53, 2*f = a + 29. Suppose l = -11*l - f. Let t be (-3)/(-9)*(0 - 1). Which is greater: l or t?
t
Let p = 31 + -14. Suppose p = -3*n + 59. Suppose 2*j = -6 + n. Which is greater: j or 5?
5
Suppose -36*l + 76 = 2*l. Which is greater: 8/13 or l?
l
Let a = -711 - -730. Are 19 and a equal?
True
Let v(j) = -j + 35. Let h be v(-25). Is 60 not equal to h?
False
Let l(j) = -j**3 - 7*j**2 - 8*j - 5. Let n be l(-5). Is -10 equal to n?
False
Let n = -6 + 9. Suppose -5*w + 2*w = 2*g - 22, w + n*g = 19. Do -2 and w have different values?
True
Let r(k) = -k**3 - k**2 - k - 1. Let h be r(0). Let v = h + 5. Let b be 4 - (0 + 0 + v). Which is smaller: b or 3?
b
Let i be ((-117)/15 - -5) + 3. Which is bigger: i or -1/189?
i
Suppose 2*v - 29 = -k + 39, 4*k - 251 = -v. Let d = k + -69. Which is smaller: 4 or d?
d
Let z(n) = -16*n - 29. Let t be z(-3). Suppose t + 77 = 6*s. Is 11 <= s?
True
Let c = -16168/3713955 - -2/7595. Is -1 equal to c?
False
Let t(x) = x**3 - 20*x**2 - 12*x + 57. Let u be t(20). Is -181 >= u?
True
Let s(k) = 3*k**3 - 9*k**2 + 22*k - 7. Let n be s(3). Is n <= 2/5?
False
Let k = 44 - 28. Suppose -w + 5*w = -k. Which is greater: 1 or w?
1
Let l(t) = -t**2 - 11*t - 8. Let j be l(-9). Suppose 9*g - j*g = 1. Let f be g + (-68)/(-18) - 3. Which is smaller: -0.1 or f?
f
Let t be 3*1*2/(-2). Suppose 8*m = 40 + 16. Is t less than m?
True
Suppose 4*v - 52 = -0*v. Suppose -5*n = 3*y - 15, 2*n - v = 4*n + 5*y. Let j be n*-1*(-3)/(-24). Is j > -2?
True
Let d = -0.029 + 34.429. Let x = -284 + 318. Let z = x - d. Which is smaller: z or 1/2?
z
Suppose 6*f = f - 35. Let u(d) = -3*d - 12. Let y be u(f). Let w be 1/5 - y/(-15). Are 1/3 and w equal?
False
Suppose -t + 2 = -7. Let n(l) = 8*l + 95. Let w be n(-12). Which is smaller: t or w?
w
Let s = -520 + 571. Is 54 < s?
False
Let u(q) = 2*q**2 - 57*q + 158. Let v be u(3). Are 7 and v equal?
False
Suppose 0*o = 4*o + 4. Let z = 250 + -9251/37. Is z bigger than o?
True
Let t = -4 - -5. Let j = 37/6 + -151/24. Which is smaller: t or j?
j
Suppose -2*f + 6*f = -36. Let k be (16/28)/(10/105). Let u be (-4)/(-12) - 56/k. Is f smaller than u?
False
Let w be 5 - 4/2 - 3. Let g = -120/7 + 1518/91. Which is bigger: g or w?
w
Let t(c) = -c + 8. Suppose -3*k = 15, n + 9 + 6 = -2*k. Let h be t(n). Let q = 6 - h. Is q less than -6?
True
Let v = 189/4 - 47. Let q = -19.49 + 10.49. Is q less than or equal to v?
True
Suppose 3*t + 11 - 7 = -5*c, -18 = -4*t + 5*c. Suppose 0*n + 24 = -t*n + 4*z, 2*n = z - 12. Is -4 at least n?
True
Let z be ((-28)/98)/((-2)/(-3)). Is -1 < z?
True
Let f = -5 - -10. Let h(d) = -f*d**2 + 5*d**2 + 4*d - d**2 + 2. Let t be h(3). Are t and 3 nonequal?
True
Let q be (-1)/(-4) - 125/20. Let h = q - -11/2. Suppose -16*x - 18 = 14. Is x less than h?
True
Let m be 178/10 - (-65)/325. Let b(g) = -g**3 - 6*g**2 + 4*g - 2. Let w be b(-7). Which is bigger: m or w?
w
Let s = -16/5 + 121/30. Let l = -66 + 68. Is l bigger than s?
True
Suppose -4 = -2*b + 4. Suppose -84 = -b*i - c, -5*c = 2*i - 3*c - 48. Let w = -20 + i. Are -2 and w non-equal?
True
Let n = 208 + -518. Let p = n - -172. Let a be p/(-135) + (-12)/15. Is 0 bigger than a?
False
Let d = 0 + -1. Suppose 5*k - 880 = -5*q, -4*q = -2*k - 3*k + 916. Let r be (1/(-1))/2 + 70/k. Is r equal to d?
False
Let d(v) = -22*v**2 - 2*v + 2. Let i be d(1). Let u = i + 22. Suppose z + u*z = 0. Is z at least -2/11?
True
Let o be (-6)/(-4)*(6 - (-224)/(-21)). Are o and 0.14 unequal?
True
Let k be (3 - (-540)/(-295)) + -1. Let y = -112982/4543 - -174/7. Let s = k - y. Which is smaller: 1 or s?
s
Let h = -219 - -222. Which is smaller: 2 or h?
2
Let k be 2/(5*4/70). Let a(q) = -q**3 + 6*q**2 + 5*q - 8. Let v be a(k). Let z = -27 - v. Is 4 > z?
True
Let q be ((-10)/(-4))/((-6)/12). Let j(s) = s**3 + 5*s**2 + 2*s + 11. Let y be j(q). Which is greater: y or -2?
y
Let b = 1460 - 978. Which is smaller: b or 483?
b
Suppose v - 3*r + 2 = 8, 2*v - 4*r = 4. Are -57 and v nonequal?
True
Let f be (-2)/(-4*(-1)/2). Suppose 3*l = -0*l - 423. Let o be l/45*1 - -3. Which is bigger: o or f?
o
Let k = -0.599 + -24.401. Which is smaller: -21 or k?
k
Suppose -5*a = 15 - 20, 0 = 2*q + 2*a. Is q <= 2/2417?
True
Let i be 262/(-4)*(-5)/(-15). Is i at least as big as -22?
True
Let z be 1/(-2) + (-1)/(-5). Let i = -11 - -10.39. Let b = i + 0.61. Is b equal to z?
False
Suppose 42*q - 3 = 41*q. Suppose -q*s - 2*s - 20 = 0, 4*b + s = -20. Let i be 2/(1/2 - 1). Is i less than or equal to b?
True
Let l be 3 - 30/(-12) - -6. Is 12 at most as big as l?
False
Suppose a = -0*a - 3. Let w = 16 + -14. Let n be (-10)/(-6)*w/5. Which is greater: a or n?
n
Let d(r) = -r**2 - 3 - 5*r + 4 - 7. Let i be d(-7). Let v = -13 - i. Is v less than 5?
False
Let w be (11/2)/((-4)/24). Let c = w - -28. Let l be (c/(105/4))/2. Which is greater: l or 2/11?
2/11
Let j = -2 - -1.9. Suppose 165*y - 147*y = 162. Which is smaller: j or y?
j
Let j(d) = -d - 284. Let w be j(8). Is -290 not equal to w?
True
Let l be 138/(-4)*((-1)/(-1))/111. Which is bigger: l or 0?
0
Let k be 965/(-30) + 8 - -4. Is -19 at least as big as k?
True
Suppose 4*s + 4*z - 1 = 3, 4*z = -8. Let u be (-48)/36 + 7/s. Which is greater: u or 1/46?
u
Let l = 12 + -21. Let k = -0.596 - 8.304. Let v = l - k. Which is bigger: v or -8?
v
Let a(j) be the first derivative of -j**3/3 - 3*j**2/2 + 10*j - 6. Let t be a(3). Suppose 0 = -0*c + 5*c + 5. Do t and c have the same value?
False
Let m = -518 + 516. Do m and 194 have different values?
True
Suppose 6*a - 2*a = 40. Let x be (4788/(-795) + 6)/(3/a). Is 1 less than or equal to x?
False
Let a(f) = -1 + f**3 + 25*f**2 - 25*f**2. Suppose 0 = o - 2 + 3. Let n be a(o). Which is smaller: n or -0.08?
n
Suppose 2*d + 27 + 1 = 0. Let j = 14 + d. Suppose j*n = 5*n + 25. Are -3 and n non-equal?
True
Let l be (-6)/(-90)*(1 - 7) - 104/(-10). Let s(z) = 3*z. Let j be s(4). Is l greater than or equal to j?
False
Let q = 78 - 53. Let m = -4.4 + -13.6. Let g = q + m. Which is smaller: 0 or g?
0
Let y(m) = -9*m - 63. Let x be y(-7). Let t = -9 + 4. Which is greater: x or t?
x
Let j = 4 - -9. Suppose -2*l + 5 = r - 5, -j = -r - l. Which is greater: r or 0?
r
Let m be (-246)/(-30)*1*5. Suppose -5*f - 2*x = -51, 5*f + 4*x = 8*f - m. Is f < 12?
True
Suppose 0 = a - 3*d - 27, 3*a = -2*a - 3*d + 45. Let y be 1 + a/64*-6. Is 1 less than y?
False
Suppose -5 = -25*z - 5. Which is smaller: 2/11 or z?
z
Suppose 0 = 2*y + 2*r + 230, y + 93 = 3*r - 14. Which is bigger: y or -114?
y
Let x = -139 - -182. Let c be -2 + 42/8 + -3. Is x >= c?
True
Let f = -81.7818 + -0.0182. Let j = f + 90. Let x = j - 7. Which is greater: x or 0?
x
Let l = -37 - -5. Let u = 10 + l. Let o = u - -24. Is o not equal to -4?
True
Let j = -14209/2 - -326435/46. Let t = -2351/322 - j. Does t = 2?
False
Let x be 2/9 - (-7)/(-153). Let m(c) = -c**2 + 11*c - 14. Let s be m(9). Let a(q) = -q**2 + 4*q - 1. Let y be a(s). Are x and y equal?
False
Suppose 3*a = 2*o + 2*a + 13, -2*o + 3*a = 19. Let b = o - -6. Let y be (-1 + 30/27)*3. Is b <= y?
False
Suppose 0 = -2*l - 7*l + 36. Suppose 3*m = l*p + 20, p + 5 = -m + 3*m. Which is smaller: -0.38 or m?
-0.38
