j?
-29
Let v be 12/(-14)*84/(-18). Let h be (-15)/(-40)*12*1*v. Is 18 bigger than h?
False
Suppose 5 = f + 5*b + 19, f + 4*b = -16. Let o = 28 + f. Suppose x - o = 3*m - 16, -3*x = -m + 20. Do -7 and x have different values?
True
Let g = 13 + -11. Suppose -b = -4*y + b + 572, 8 = g*b. Let c = y + -1013/7. Is c < 0?
False
Suppose -2*r - 14 = 3*v - 128, 5*v + 4*r = 188. Let s be (v/(-25))/((-3)/(-15)). Is -4/7 > s?
True
Let z be 27/(-24) - (4 + 25/(-5)). Which is smaller: z or 1?
z
Let c = 3/10280 + 233861/30840. Which is smaller: c or 8?
c
Let y be 4/(-1533)*2*84/(-144). Which is smaller: -1 or y?
-1
Suppose 7*y = -2*i + 2*y - 17, -i - 7 = y. Which is smaller: i or 39?
i
Let u = -1709/329 - -36/47. Which is greater: u or -4?
-4
Let z = -2 + 1. Let s = 25275/23 + -1099. Is z greater than s?
False
Let r = 186 + -181.24. Let h = 4.7 - r. Is h < 2/9?
True
Let q be 1 + (-44)/32 + (-1955)/(-4232). Is 6 at least q?
True
Let p(t) = 25*t + 20. Let m be p(-5). Let g = -106 - m. Let z be ((-22)/14)/((-12)/(-14)). Is g at least as big as z?
True
Let l = 872 + -351. Which is smaller: 1 or l?
1
Let k be ((-32)/20)/(1/(-5)). Suppose 0*y = 2*y + k. Let c be 1*3 - (7 + y). Is 1 at least c?
True
Let j be 0/(1 - (2 + 1)). Suppose -108*h - 16*h = -4684 + 964. Which is smaller: h or j?
j
Suppose 13 = 10*v - 7. Which is bigger: 37 or v?
37
Let i = 102.8 - 104.8. Is i at most 0.018?
True
Suppose -305 = -5*w - 4*b - b, 0 = 5*b + 5. Is 70 less than w?
False
Suppose -4*f = -8*f. Let s = -38501/18 + 2140. Let v = 17/9 - s. Is v greater than or equal to f?
True
Let a be (-4)/(-50) - 1809/1675. Is -2/1011 at most a?
False
Let m(a) = -a**3 + 19*a**2 + 19*a + 1. Let l be m(20). Let n = -10 - l. Let x = -14 + n. Is x greater than or equal to -9/2?
False
Let z(a) = 15*a**2 + 44*a - 4. Let g be z(-3). Is g >= -1/9?
False
Let i(u) = u**2 - 2*u - 6. Let x be -9 - (-2 + -2)/(-4). Let v = 15 + x. Let q be i(v). Which is smaller: 0.1 or q?
0.1
Let v be 78/(-2) + 28/7. Let y = v - -45. Let d = 18 + y. Which is smaller: d or 29?
d
Suppose -7*y + 12 = -6*y. Let v = y + -19. Is 0 greater than v?
True
Let u = 6 + -3. Let s be (u/(-6))/((-2)/(-2)). Let c = -41 - -83/2. Which is smaller: c or s?
s
Let v = 61 - 106. Suppose 5*q - n = 68 - 293, n + 127 = -3*q. Is v at most q?
True
Suppose p - 6 = -5*o + 10, 2*o - p - 12 = 0. Suppose 20 = 3*v - o*l - l, 16 = -4*l. Is 6 greater than v?
True
Let t be (-3)/(-5)*(-5 - (-195)/36). Let c = -0.13 + -6.87. Let p = -10 - c. Which is smaller: p or t?
p
Suppose 25 + 33 = 2*y. Let i = 4 + -46. Let w = y + i. Is 0 at most w?
False
Let u(c) = -c**3 + 8*c**2 - 11*c - 6. Let d be u(6). Suppose d = 2*i + 51 - 15. Which is smaller: -69/4 or i?
i
Let g = 79414/32775 - 348/437. Let l = g - -1/25. Suppose 0 = s + 5*b - 8, 3*s + b - 6 = 4*b. Which is bigger: s or l?
s
Let j be -6*(-1)/(-2) - -3. Let c be j - 77/(-25) - 3. Let f = 24.9 + -25. Is f greater than c?
False
Suppose 5*n - 5*u - 24 = 3*n, -3*n + 5*u = -26. Suppose 3*b + 8 = -y + b, -2*y + n*b + 8 = 0. Which is smaller: -9/10 or y?
-9/10
Let q be (-63)/35 - (-2)/(-2). Suppose 8*j - 42 = -66. Which is smaller: j or q?
j
Suppose 4*y + 2*m - 30 = 52, 5*m = -2*y + 29. Suppose 2*o + y = 4*o. Suppose 5*w = -9 - o. Is w smaller than -5?
False
Suppose -j + 15 = 3*n + 2*n, 5*n + 3*j - 15 = 0. Let d(u) = 2*u**2 - 3*u - 2. Let q be d(n). Let i(r) = 3*r - 2. Let l be i(3). Is q at least as big as l?
True
Suppose 2*z = 4 - 2. Suppose 0 = -2*m + 4*m - 8. Let s be (z/6)/(m/(-9)). Is -1 at most as big as s?
True
Suppose -18 = u - 3*u. Let s(a) = -3*a - 36. Let o be s(-13). Suppose -l - 5*v - 2 - 14 = 0, 2*v = -o*l - u. Which is smaller: 0 or l?
l
Let k be (264/(-14))/(67/938). Which is bigger: -262 or k?
-262
Let i = 596 + -471. Which is bigger: 2 or i?
i
Let s = 213.1095 - -0.9505. Let z = s + -216. Let m = z + -0.06. Is m greater than or equal to -0.3?
False
Let u = 91.052 - 91. Let c = u + -0.052. Is c < 8/5?
True
Suppose 4*y + p = 525, 0*p + p = 2*y - 267. Which is greater: 133 or y?
133
Let o = 212/5 - 638/15. Let j = 18.2 + -18. Which is smaller: o or j?
o
Let g = 0.192 + 0.008. Is g at least 281?
False
Let a = 5 - 6. Let s = 1.1 + a. Let h = -35 - -34.7. Is h less than or equal to s?
True
Let g = -6628/93 + 214/3. Suppose 238 = -10*p - 62. Let y be (15/p)/((-1)/(-2))*-1. Which is bigger: g or y?
y
Suppose -13 - 542 = -u. Let l = u + -24974/45. Do l and 1 have the same value?
False
Let t = 1 - -7. Let z = t - 9. Let x be z/(-18)*40/10. Is 2 less than x?
False
Suppose 16*o + 26 = 10. Which is bigger: -268 or o?
o
Let g = 38.2 - 38. Let f be (1*-2)/(0 - -7). Which is smaller: f or g?
f
Let r = -37/2 - -18. Let a be 1/(-2)*((0 - 0) + 0). Suppose a = 4*i - 2*m - 10, i + 4 = 2*i - 2*m. Which is smaller: i or r?
r
Let d(f) = -f**3 + 12*f**2 - 2*f + 15. Let t be d(12). Let z be 84/(-8) - t/(-6). Does z = -13?
False
Let g = -99.8 + 119. Let z = -20 + g. Let d = 1901/9 + -211. Is d equal to z?
False
Let o be ((-28)/(-175))/((-3)/6). Is o at least as big as -1?
True
Suppose -70 = 4*i + i + 5*a, -a = 5. Suppose o = -0*o - 9. Does i = o?
True
Let n = 15 + -49. Let u = -1.81 - 33.19. Let y = u - n. Which is bigger: -2/3 or y?
-2/3
Suppose 13*s = 49*s + 864. Is s equal to -32?
False
Let g be (1/45)/(8/(-16)). Let k(z) = -2*z - 5. Let d be k(-3). Which is smaller: g or d?
g
Let h = -2163/10 + 217. Which is bigger: 2 or h?
2
Let v(w) be the second derivative of -w**3/6 + w**2/2 + 5*w. Let o be v(-3). Suppose -c - 4*i = -3*i + o, -i - 1 = 4*c. Which is greater: c or -2/27?
c
Let b be ((-14)/4)/(2/4). Let y(z) = z**2 + 4*z - 25. Let c be y(4). Let f = c + b. Is f < 0?
False
Let u be -2 - (0 - (2 + 18)). Let q = u - 18. Which is bigger: q or 1/13?
1/13
Let r be 116/32 + -3 + (-1 - 0). Suppose -2*t - 2*h = -6, 5*t - 2*h = 3 - 16. Which is greater: t or r?
r
Suppose 2*x = 11*x + 1782. Let b = x + 2576/13. Which is smaller: 0.1 or b?
0.1
Let l(u) = u**3 - 1 + 1 - 13 + 207*u**2 - 16*u - 214*u**2. Let x be l(9). Suppose -f - 38 = -4*f - 5*j, -5*f + 46 = 4*j. Which is bigger: x or f?
f
Suppose x - 11 = -2*u - 2*u, -4*u = -12. Which is smaller: x or 1/140?
x
Let q be 5*3/(45/3). Let h = q - 1. Let s be 6/56 - 21/(-147). Which is bigger: s or h?
s
Suppose -19*m - 78 + 458 = 0. Is m <= 7?
False
Let v = 510 + -837. Let r = -13402/41 - v. Which is bigger: 0 or r?
r
Let d(u) = -u**3 - 19*u**2 - 42*u - 40. Let i be d(-17). Let w be i/(-488)*2/(-8). Which is smaller: -0.1 or w?
-0.1
Let t(h) = 2*h**2 + 60*h - 24. Let i be t(-28). Which is bigger: -273/2 or i?
i
Let m be (2/6)/((-3)/27). Let r be ((-21)/6 + 2)*14. Let h = -25 - r. Do m and h have the same value?
False
Let f = -0.05 + 0.05. Let n = 0 + f. Do n and -102 have different values?
True
Let a = 228 - 2128/9. Is a not equal to -9?
True
Let s = 68/95 - 6/19. Let i(k) = k + 14. Let h be i(0). Suppose h*o + 3 = 13*o. Which is greater: s or o?
s
Let h be (6/15)/((-1)/(-80)). Suppose -4*f = -2*l + 50, -58 - h = -5*l + 3*f. Is l less than 1/4?
False
Let g be (-57)/4 + (-3)/(-12). Let z = g - -15. Let i be 2/5 + (-39)/85. Is i > z?
False
Let h = -37 - -36.24. Let w = h - 27.24. Do w and 0 have different values?
True
Let n = 28 + -29. Let f be n/(-5) - 152/(-40). Is f bigger than 3?
True
Suppose -15*b - 1053 = -6*b. Is b > -117?
False
Let s(q) = q**3 - 10*q**2 + 11*q - 13. Let l be s(8). Which is bigger: l or -2/7?
-2/7
Let m = 95 + -106.4. Let c = m + 10.4. Which is bigger: 1.7 or c?
1.7
Let j = 1099 - 5524/5. Let c(p) = -2*p**2 - 11*p + 14. Let h be c(-7). Which is smaller: h or j?
h
Suppose 105 = 107*q - 142*q. Let r = -3 + 3. Is r at least q?
True
Let q(n) = 8*n + 136. Let a be q(-17). Is a at most as big as 6/121?
True
Let c = 1.6 + -4.6. Let d = 9 + c. Let t = -0.17 + -0.03. Do t and d have the same value?
False
Let y = -1210.2 + 1210. Which is smaller: 3.36 or y?
y
Let k = 2/1113 + 4406/25599. Which is smaller: k or 1?
k
Suppose 12*j - 5*y = 836, -2*j + 65 = 3*y - 59. Which is greater: j or 67?
j
Let z = -7 + 7. Let y(c) = -c**2 + 10*c + 11. Let m be y(-1). Is m > z?
False
Let n = 0.221 - 0.121. Which is smaller: 0.69 or n?
n
Let c = 37.42 - 34. Let v = c - 0.42. Which is smaller: v or -0.2?
-0.2
Let q be (-4)/12*(-12 + 0). Suppose u = 3*a + 39, 3*a = -q*u + 89 + 7. Let f = 46 - u. Which