?
2/15
Suppose 8*r - 13*r - 20 = 0. Let b be 6*(-1 - r/3). Is b smaller than 12/5?
True
Let c be (-522)/6*2/27. Let z = 571/90 + c. Let d = 174 + -174.1. Is d less than or equal to z?
True
Let q(y) = -y - 1. Let s be q(-14). Suppose s*g = 7*g. Which is smaller: g or 1/3?
g
Let s = 3 + 16. Let a = s + 25. Which is bigger: a or -0.1?
a
Let v = 0.11 + -0.21. Let a = 0.7 + v. Let r = 0.4 + a. Which is smaller: -0.2 or r?
-0.2
Suppose -119 = -5*b - a + 31, 0 = 2*a. Suppose 4*n = -n + b. Let d be (-4)/n*9/(-26). Which is smaller: -1 or d?
-1
Let b be 350 - (6 + -11) - (4 - 1). Let c = -5278/15 + b. Which is greater: -1 or c?
c
Let a be (13 + 267/(-21))*21. Let y = 1111/6 + -4273/24. Which is bigger: a or y?
y
Suppose 60 = -3*x + 2*w, 3*w + 0*w = x + 20. Let q be x/6275*((-9)/6 + -1). Which is bigger: q or 1?
1
Let g = 114 + -81. Let r be (-6)/(-33) - (-2800)/88. Is r less than or equal to g?
True
Let v be 4/(-14) - 4/35. Let z = v - -13/20. Let u(h) = -16*h - 120. Let k be u(-7). Is z > k?
True
Let z = -165 - -87. Is z >= -76?
False
Let c(q) = -3 - 2*q + 0 - 4 - 2. Suppose 3*u = -4 + 13. Let p be c(u). Which is smaller: p or -17?
-17
Suppose 3*a + 4*o = -15, 0 = a - 4*a - 3*o - 15. Let u be ((-3)/75)/(2/a). Is -1 > u?
False
Suppose x + 10 = 12. Let u be (-98)/(-7)*((-5)/x - -2). Which is smaller: u or -14?
-14
Let w be (-4)/18 - 32/(-117). Does 2 = w?
False
Suppose 8*o - 3*o + 30 = 0. Let t be (1/1 - o)/(2/(-4)). Suppose 2*w + 65 = -3*w. Is t greater than or equal to w?
False
Let a(i) = -2*i**2 - 2*i - 1. Let k be a(-2). Let v(w) = w**2 - 2*w + 16. Let g be v(6). Suppose -2*j - g = 5*m, 6*j - 2*j = 3*m - 2. Is k at most as big as m?
False
Let k be 1 + -1 + 7 + -8. Let y be 4/14*(k + (-696)/(-675)). Which is greater: -1 or y?
y
Suppose 3*l + 52 = l. Which is bigger: -180/7 or l?
-180/7
Let b(n) = n + 17. Let w = 45 - 45. Let c be b(w). Are c and 16 non-equal?
True
Let l(o) = 5*o - 14. Let a be l(3). Which is bigger: a or 8/29?
a
Let h be (47/2)/(8/(-16)). Let z = 47 + h. Which is smaller: z or -3/59?
-3/59
Let x = -6.6 + 15. Let s = x + -17.4. Is 0 at least s?
True
Let d = 518 + -522. Is d greater than or equal to -58/21?
False
Suppose -2*g + 2*c + c = -6, 0 = 2*g + 3*c + 6. Let q be (4/10)/((-44)/(-110)). Suppose a = 1, q = 3*s - s + a. Is s < g?
False
Let g = 10.49 + -5.92. Let w = -0.43 - g. Is -6 smaller than w?
True
Let a be (1/(-6))/(10/(-4)). Let m = -2/7049 + -14088/35245. Which is greater: m or a?
a
Let t be 0 + 1 + (-1)/(-1). Let d(c) = -c**2 + 5*c + 5. Let z be d(5). Suppose -z*f + b - 5 = 0, -b - 4 = 1. Is f greater than t?
False
Suppose -5141 + 39135 = -23*o. Is -1478 greater than o?
False
Let p = 3 - -9. Let m = p - -8. Let v be 22*1 + 1/(-1). Is m not equal to v?
True
Let l be 108*(12/8 + -1)/(-1). Let b = l + 55. Is -2/59 greater than or equal to b?
False
Let g(p) = -p**3 - 14*p**2 + 41*p - 1. Let s be g(-13). Is s smaller than -703?
False
Let r = 118 + -113. Suppose -2*u + j - 3 = 0, r*j = 2*u - 6 - 11. Let w be (2 - (3 - -1))/3. Which is smaller: w or u?
u
Let k = 2.61 + -0.11. Let s = -0.5 + k. Let q be ((-2)/(4 + -2))/(-1). Which is greater: q or s?
s
Suppose 3*q - s - 8 + 3 = 0, 0 = -3*q + 5*s - 11. Suppose -10 - 11 = -q*z. Suppose -d - z = -5*j, j - 11 = 2*d + 3*d. Is j greater than -1/3?
True
Let n = -6.1 + -0.9. Let v = 6.15 - 0.15. Let a = v + n. Which is smaller: a or -7?
-7
Let s(u) = u**2 - 16*u + 11. Suppose 2*g - 12 = 18. Let b be s(g). Let y = b - -5. Is y less than 1/10?
False
Let f = 3233977/1491 - 2169. Is f at least as big as 0?
False
Let g be (-4)/10 + (-1)/10. Let i = -51 - -35. Let o = i - -8. Is o < g?
True
Let o(k) = k**2 + 5*k - 4. Let q be o(-6). Suppose -q*h + 0*h = 0. Let w(d) = 2*d**2 - 35*d - 405. Let s be w(-8). Which is bigger: s or h?
s
Let d be (-1)/(4/250)*(-23)/(-46). Do d and -30 have the same value?
False
Let f be -4*(161/(-28) + 1). Which is bigger: f or -1?
f
Let s = -0.25 - -0.28. Which is smaller: s or -0.19?
-0.19
Suppose -5*p + 11 + 9 = 0. Suppose -p*f + 3 = -f. Suppose -35*m - 7 = -28*m. Which is smaller: f or m?
m
Let a = -0.46 - -0.16. Let o = a + 0.4. Is o < 1?
True
Suppose -w + 0*r - 5 = 3*r, w + r + 5 = 0. Let f be 15 + (-24)/(-15) + (-2)/w. Which is smaller: 19 or f?
f
Suppose -5*f + j = -3*j - 41, f = j + 9. Suppose -f*o - 2*w = w - 14, 5*w - 15 = 0. Is 1/30 less than o?
True
Let v = 1318 + -979. Which is smaller: 338 or v?
338
Suppose t + 1 = -2. Suppose -5*o + 208 = 28. Let y = -38 + o. Which is greater: y or t?
y
Suppose 4*p + p - 3*w = 14, 0 = 5*w + 15. Which is greater: p or 9/253?
p
Let f be 1 - 4 - (-1142)/378. Is f at least as big as -1/2?
True
Let r(v) = v + 11. Let y be r(-13). Let l be 22 - (4 - (y - -6)). Let s = 21 - l. Is s at least -3/2?
True
Let f(c) = -7*c - 5. Let i be f(-6). Let z = i + -186/5. Let h = -5853 - -5856. Are z and h unequal?
True
Let t = -1055 + 1055. Let m = 46813/10035 - -377/223. Let i = m - 68/9. Which is bigger: i or t?
t
Let f be 0 + 1*(1 + 0). Let v = 1129 - 55322/49. Which is bigger: v or f?
f
Suppose 0 = 3*x + 2*i + 2, 0 = 2*x - x + 4*i + 14. Suppose z - 5 = x*z. Let m be (16/12)/(8/(-12)). Which is smaller: z or m?
z
Let s = -1 + 2. Let a be (-5 - -3)/(7 - 9). Are a and s nonequal?
False
Suppose -15 = 2*n - 5*n. Suppose -17 = a - 4*j, -n*a + 0*a - 2*j = -3. Let v(o) = o**3 - o**2 - o + 1. Let u be v(1). Which is smaller: a or u?
a
Let h(x) = x**2 - 7*x - 10. Let j be h(7). Suppose 0 = 8*w - 2*w + 96. Let p be (2/8 + 4/w)*-1. Which is bigger: p or j?
p
Let t(u) = 5*u**2 - u. Let m be t(-1). Let v = -4 + m. Let r = -215 - -215. Is v > r?
True
Let x = 1.5 - 3.3. Let b = -1.2 + x. Which is smaller: b or 0.2?
b
Suppose d + w - 8 = -0*w, -30 = -5*d - 3*w. Suppose 0 = 14*u - 19*u + 15. Is u greater than d?
False
Let b = -14 + 63. Let s = b + -37. Are s and -2 non-equal?
True
Suppose -i = 5*x - 982, -231 = 3*x - i - 817. Is 389/2 >= x?
False
Let u = 264 - 264.7. Is u less than or equal to -0.4?
True
Suppose 2*y - 4 = 4. Suppose u = 5*p - y, 2*p - u - 5 = -4*u. Let t be (10 + -13)*(0 + p). Is t at most -3?
True
Suppose -27 + 360 = -3*o. Let c = o + 124. Is 9 >= c?
False
Let z = 383 - 360. Which is bigger: z or 24?
24
Let h be -1 - 3 - (-14)/4. Let o be -2 + (0 - 3 - -5). Is o > h?
True
Let b be (-2)/3 + (0 - (-3014)/(-33)). Is b at least as big as -93?
True
Let o(m) = m - 6. Let q be o(6). Let v be 54/27*(35/(-36) - -1). Is q bigger than v?
False
Let z = 12 - 16. Let l(x) = -2*x. Let w be l(z). Do w and 7 have different values?
True
Let c(i) = i**2 - i + 1. Let d(p) = -p**3 + 10*p**2 + 12*p - 12. Let x be d(11). Let g be c(x). Is g <= -7?
False
Suppose -84 = 103*v - 89*v. Is 34 equal to v?
False
Let s = -4577/22 + 208. Suppose 0 = -11*k + 5*k. Suppose l - 5*j + 20 = -j, -2*j + 10 = k. Is s bigger than l?
False
Let g = -25 - -37. Let z be (g/126)/((-8)/(-6)). Do z and 1 have the same value?
False
Let m = 100.9 - 76. Let u = m + -25. Are -15 and u unequal?
True
Let p = -275 + 278. Is 28/11 > p?
False
Suppose 2*j = j. Let a = -3.8 + 3.8. Are a and j equal?
True
Let w be -3 + 8465/3780 + (-3)/(-4). Which is greater: -1 or w?
w
Suppose 5*j + 4*j = -27. Let t be (j/(-15))/((-4)/72). Is t <= -4?
False
Let n = 26344/3 + -8878. Is -98 greater than or equal to n?
False
Let j(g) be the first derivative of g**3/3 + 3*g**2 - 5. Let r be j(-7). Which is smaller: r or 8?
r
Let c(k) = -8*k + 1. Let y be c(-1). Let n = y - 8. Let x = -185 + 3516/19. Is n != x?
True
Let s be (-64)/12*126/4. Let a = s + 81. Is a != -87?
False
Let c(k) = -192*k - 85. Let n be c(-2). Is n < 297?
False
Let t be (-9)/(-2)*20/(-15). Let z(q) = -q**3 - 5*q**2 + 6*q - 2. Let r be z(t). Is -2 < r?
False
Let r(h) = -h + 10. Let d be r(0). Let a(s) = s**3 - 11*s**2 - s + 21. Suppose -f + 5*i + 36 = -0*f, 2*f + 3 = -5*i. Let y be a(f). Are d and y non-equal?
False
Let y = -203 + 229. Which is smaller: y or 24?
24
Suppose 0 = -3*b + 12, 0*h - 4*b = h - 18. Which is smaller: 30/41 or h?
30/41
Suppose 2*y + c = -y - 12, -24 = 5*y + 3*c. Let w be 2/2 - (6 + y). Let o = -61 + 61. Which is smaller: w or o?
w
Let z = -398/7 - -57. Let y = 14.59 + -15.29. Which is smaller: y or z?
y
Let l = -62052/1235 + 654/13. Let v = 14/19 + l. Does v = 0?
False
Let h be ((-212)/1)/(20 + -32 + 8). Which is bigger: