?
2/5
Let v = -2 + 8. Suppose p - 2*o - 3 = 1, -p + 3*o = -v. Let r = 711 + -713. Is p not equal to r?
True
Suppose -8*d - 2216 = -0*d. Is d bigger than -2?
False
Let h be (-552)/(-4 + -8) + 2*1. Is h greater than 49?
False
Let v = 0.43 + -0.21. Let m = -0.9 + -0.1. Do v and m have different values?
True
Let y = 1435 - 1429. Is -126 <= y?
True
Let v be 6/9 - -8*16/(-194). Let p = v - 596/2037. Which is smaller: -1 or p?
-1
Let s be 4746/12912 + (-87)/(-24) + -4. Which is greater: -1 or s?
s
Let w be (46/11)/1 - (-2)/(-11). Let f be -1*(w - 0) - 4. Is -1 <= f?
False
Let t = -1.934 + 1.734. Which is smaller: -0.48 or t?
-0.48
Let a = -336 + 347.9. Do 0 and a have different values?
True
Let i = 39 - 41. Let q be ((-4)/(-5))/(i/45). Is -18 greater than q?
False
Let a be (-998)/(-14) + (-72)/252. Which is smaller: 70 or a?
70
Suppose -4 - 6 = -s. Let l = 9 - 9. Suppose l = -3*d + 27. Which is smaller: s or d?
d
Let d = 464.9 - 404. Let s = d - 61. Which is smaller: 8/3 or s?
s
Suppose -4*c = -c - 24. Suppose -5*b = 5, -5*n - 10 = 5*b + 5. Let v be (n/9)/(c/(-24)). Which is smaller: v or 0.07?
0.07
Let q = 25.8 - 31. Let m = q + -0.8. Let s = -1748/9 + 194. Is s bigger than m?
True
Let n = -513 - -586. Are n and 218/3 equal?
False
Let l be (-3 - (-102)/(-50))*20/352. Let n = 2/55 + l. Is n less than or equal to 3/20?
True
Let a be 20/(-8)*(-2)/(-1). Let m be 7/a + 12/3. Is m at least 2?
True
Let k be 1 - 14*(-2)/(-20). Suppose 5*m - 5*p + 5 = 0, -m - p = 2*p + 17. Let w be (5 + m)/((-3)/(-3) + -2). Is k at most as big as w?
True
Suppose 4*j - 154 = -150. Which is greater: 2/355 or j?
j
Suppose 25 = 2*j - 7*g + 2*g, 5*g = 3*j - 35. Let p = -4 - j. Is 2 greater than p?
True
Let q be (-17588)/(-90) - 58/(-435). Is 195 less than q?
True
Let d = 710.1 + -710. Do d and -4.74 have the same value?
False
Let g be 46/(-4)*(2 + 0). Let q be (g + 3)*((-18)/8)/(-3). Which is greater: q or -16?
q
Suppose -y + 4*d = 5*d + 119, -3*y = -5*d + 349. Let j = y - -593/5. Let p(q) = -2*q - 12. Let r be p(-7). Is r at most as big as j?
False
Let z be (5/3)/((-20)/216*-3). Suppose -10 = z*v - 28. Is v less than 3?
False
Suppose 37 + 9 = -4*s + 2*s. Let b be 16/((-5)/3 - -1). Are s and b equal?
False
Let h = 8158 + -1745803/214. Is h equal to 0?
False
Let d(v) = 22*v + 1. Let k be d(1). Let u = -20 + k. Let c be 6/(-9)*-1*u. Which is smaller: 4 or c?
c
Suppose 0 = 4*t - 20. Let q be 1*(t + -3 + 5). Suppose 4 - q = -3*a. Which is smaller: a or -1/18?
-1/18
Let c = 0.0142 - 0.3142. Is 115 smaller than c?
False
Let o = -23 + 14. Let w = o - -5. Let c = 0.015 + -0.215. Is w < c?
True
Suppose 0 = -1311*n + 1310*n - 2. Which is bigger: n or -23/7?
n
Suppose 0*p + 336 = 21*p. Which is smaller: 77/5 or p?
77/5
Suppose 272 = -23*q + 893. Which is greater: q or 25?
q
Let v = -773 + 773.03. Is v greater than or equal to 0.03?
True
Let t = -3457/16 - -216. Let n(k) = -k**2 + k - 1. Let x(i) = i**3 + 8*i**2 - 2*i + 2. Let j(p) = 4*n(p) + x(p). Let a be j(-3). Is a < t?
False
Let f be 2 + -1 + 16 + (-9)/3. Suppose 2*r + 4*y = -92, -5*r - 202 = -5*y + y. Let l be (16/24)/((-2)/r). Is f greater than l?
False
Let p be (1 - 4/12)/((-44)/(-12)). Which is bigger: 80 or p?
80
Suppose 8*i - 3*k + 934 = 3*i, -5*k = 3*i + 540. Is i at least -185?
True
Suppose -28 = -178*y + 174*y. Let c(w) = -19*w**3 + 1. Let h be c(-1). Let d = h + -13. Is d less than y?
False
Let o be 6/(1*3/(-8)). Let z(k) = -13*k**2 - 20*k + 18. Let y be z(1). Which is smaller: o or y?
o
Let l = -46.2 + 46.6. Is l greater than or equal to 2/23?
True
Suppose 3*u + 20 = 3*i + u, 3*i = -u + 8. Let k = -1 + i. Let z be (k/(-22))/((-6)/20). Which is smaller: z or -1?
-1
Let p(f) = 6*f**3 - 60*f**2 - 4*f + 20. Let a be p(10). Are a and -21 unequal?
True
Suppose 5*w - 315 = -5*c, 3*w - 159 = -5*c + 150. Is 0 at least as big as c?
False
Let r = 14.8 + -98.8. Let t = 85 + r. Which is bigger: t or 1.6?
1.6
Let p(y) = 5*y + 5. Let c be p(7). Let n = 47 - c. Let r = 9 + -2. Is n smaller than r?
False
Let l(i) = -2*i**3 - 15*i**2 - 13*i - 25. Let v be l(-6). Which is greater: v or -58?
v
Let h = -100 + 46. Let x = -54 - h. Which is smaller: 6/13 or x?
x
Suppose -2*k = -4*k + 4. Suppose -4*d - 4 = -5*d. Let t be 123/39 + d/(-26). Which is smaller: k or t?
k
Let s = -41.8 + 36.9. Let w = 4.99 + 0.01. Let o = w + s. Which is smaller: o or 0.6?
o
Let z = 95 + -64. Let h = 32 - z. Let u = -1 - -1. Which is greater: u or h?
h
Let p(g) = g**2 + 6*g + 5. Let o be p(0). Let b = -0.8 + 1. Are b and o non-equal?
True
Let v be 1 + 18/(-28)*1. Let h be (1 - -2) + 2 + -4. Which is bigger: v or h?
h
Let j = 2 - -26. Let w = j + -29. Is 44 >= w?
True
Let m be (-18)/(-48) + (-53)/(-8). Suppose -241 = -8*v + m. Which is smaller: v or 0.1?
0.1
Suppose 3*b + 16 = f, 4*b + 15 = -1. Let z = 0 + 1. Which is smaller: f or z?
z
Suppose 2*v - 75 = -13*v. Suppose -v*j - 155 = 110. Is -52 bigger than j?
True
Suppose 3*z = 4*y + 21, 4*y + 10 = z - 5. Let u = 15 - 10. Suppose 5*a = -z*l - 1 - 47, 0 = -l - u*a - 26. Which is bigger: -10 or l?
-10
Suppose b - 2 = 2*y - 1, 5*b + 9 = -4*y. Which is smaller: 3/11 or y?
y
Let c be 1 - (-2)/(-1 - 1). Let j = -882446/35 - -25216. Let o = j + -17/5. Is c at most as big as o?
False
Let s(r) = -r**2 + 10*r - 9. Let a be s(4). Let t be 1507/77 - (-3)/7. Let n be a/(-4) + (-5)/t. Is n greater than or equal to -3?
False
Suppose -1009 = 2*m - h - 267, -8 = 4*h. Let k be m/5*(-10)/3. Let n = 1981/8 - k. Which is greater: n or -2/3?
n
Let k = -0.012 - 0.988. Which is smaller: k or 0.02?
k
Suppose 7 + 1 = 2*u - 2*o, 2*u = -o + 2. Suppose 3*a + 0*a = -z - u, 2*a + 3 = -z. Let c(g) = g**3 + 10*g**2 - g - 8. Let y be c(-10). Which is smaller: y or a?
a
Let w = -65 - -65.1. Let c = -0.34 + 0.3. Let s = -1.96 + c. Is s at most as big as w?
True
Let c = 18 + 0. Let w be c/15*(-10)/3. Is w greater than -6?
True
Let z = -59 - -56.96. Let p = z + 0.34. Which is smaller: -0.1 or p?
p
Let a = -7.82 + 7.887. Which is smaller: 1/5 or a?
a
Let z = -2 + 15. Let v(h) = 7*h + 1. Let w be v(2). Which is smaller: w or z?
z
Let r = -127 + 82. Let k(i) = 8*i**2 - 55*i - 1. Let g be k(6). Is g greater than or equal to r?
True
Let j = -341/5 - -1013/15. Is j != -52?
True
Suppose 2*n - 3*y + 5 = 0, 4*n - 2*y = y - 1. Suppose 0 = -n*o - 5*v + 22, o + 4*v + 12 - 29 = 0. Suppose -m + o = 2. Which is smaller: 0 or m?
m
Suppose -3*v - 11 = -g, -3*g = g + 3*v + 31. Let b be 70/g - 2/4. Do b and -19 have the same value?
False
Let z(p) = 3*p - 9. Let j be z(3). Let v = 8 + j. Is 9 >= v?
True
Let v(p) = -2*p**3 - 3*p**2 + 3*p + 4. Let k be v(-4). Let d be ((-884)/k)/(-13) - 1. Is d less than -1?
False
Suppose -5*f + 4*s = 3*s + 417, f = -s - 81. Which is greater: -82 or f?
-82
Let p be 13441/21 + 4 + (-130)/35. Let x = 633 - p. Which is greater: x or -6?
-6
Let f(p) = -p**3 - 4*p**2 - 2*p + 4. Let r be f(-3). Let v = 0.1 - -24.9. Let n = v - 17. Do n and r have different values?
True
Let b be 1890/140*(-50)/(-3). Which is smaller: b or 226?
b
Let f(c) be the first derivative of 2*c**3/3 - c**2/2 + c + 2. Let z be f(1). Suppose 2*k + 4 = -2*g, -z = -4*g + k + 5. Which is greater: g or 6?
6
Let o = 202 - 370. Does -167 = o?
False
Let v(k) = -k**2 - 3*k + 3. Let o be v(2). Let p(f) = -f - 11. Let x be p(2). Let z = 6 + x. Is z less than o?
False
Let d be (2/(-3))/(((-88)/492)/(-11)). Which is smaller: d or -209/5?
-209/5
Suppose -3*j + 5 = -5*i, -9 = -j + i - 10. Are 20 and j equal?
False
Let o = -171 - -689/4. Suppose 3 = 40*v - 42*v - x, x + 6 = v. Is v != o?
True
Suppose 30 = 3*u + 2*u. Let s(i) = i**2 - 4*i - 1. Let a be s(u). Suppose 19*w - 9*w - 120 = 0. Is w > a?
True
Let i be 2 + 1 - (0 - -3). Let s = 41 + -41. Suppose -2 = -d - b, -10 = -4*d - 3*b - s. Is i smaller than d?
True
Let y = 0.25 + -0.35. Which is smaller: y or 116?
y
Let x(o) = o**2 - 2*o - 13. Let t be x(-6). Let r be t/(-7) - 92/(-18). Which is greater: 1 or r?
1
Let r(v) be the second derivative of -v**3/6 - 8*v**2 - 12*v. Let l be r(8). Is -25 bigger than l?
False
Let c = -795 + 764. Is c > -31?
False
Let b(x) = 27*x**3 + 4*x**2 - 9*x - 1. Let f be b(2). Is f < 212?
False
Let o be (-12)/44*(-1 + 286/6). Is o greater than or equal to -12?
False
Let w be 376/3894 - 6/66. Which is greater: 0 or 