?
t
Let b = 0 - -0.1. Let t = -0.1 + b. Let v = -1 + t. Which is smaller: -0.3 or v?
v
Let w = -367 + 374.04. Let g = w + -0.04. Let h = 5 - g. Is 2/9 <= h?
False
Let o be 4 + 2/1*-1. Let d be ((-12)/99)/(o/9). Suppose 3*g + 12 - 6 = 2*i, g = -4*i - 2. Do d and g have the same value?
False
Let s = 7.1 + -7. Let a = -1.1 + s. Which is greater: 1 or a?
1
Let n be (-2 - (-24)/14)/(-1). Suppose -2*q + 2 = 4. Do n and q have the same value?
False
Let r = -275 - -1921/7. Is -1 < r?
True
Let o be -1 + 2 - (-16)/(-18). Let z(t) = -t**2 + 5*t - 3. Let v be z(4). Is o > v?
False
Let k = 1025 + -729. Let l be 238/k + 6/(-8). Does 0 = l?
False
Suppose -w + 5*k + 29 = 0, -2*k = -3*w + k + 27. Suppose -3*u + h - 23 = -h, -w*u - 28 = -2*h. Which is bigger: u or -4?
-4
Let p = 123 + -124. Let f = 0 - -3. Suppose 2*l + 4 = -r - 3, 0 = 4*l + f*r + 17. Is l < p?
True
Let o(u) = u**2 + 3*u - 9. Let d be o(-5). Is -1/2 at least d?
False
Let h(g) = 4*g - 1. Let q be h(1). Is 5 at most q?
False
Let q be 1/1*53*-1. Let z = -207/4 - q. Which is greater: 1 or z?
z
Let h be (-2)/(-6) - (-6)/(-18). Let m = 4 + 0. Suppose 0 = -h*u + m*u. Is -1 at most as big as u?
True
Suppose 3*d + 51 - 16 = 4*b, 3*d - 13 = -2*b. Which is smaller: 1 or b?
1
Suppose 0 = 3*f + 7 + 2. Let b be ((-1)/f)/(5/45). Suppose g + b + 3 = -2*v, -5*v - 15 = -4*g. Are 2/9 and g nonequal?
True
Let j be (-2 + 4)/(-1)*-1. Suppose -5*t + 10 + 9 = -p, -12 = 3*p. Which is bigger: j or t?
t
Suppose -4*v = -v. Let h be (0 - 1) + (1 - 126). Let l be 35/h - 1/(-2). Which is smaller: l or v?
v
Let g(y) = y**2 + 10*y + 10. Let f be g(-10). Is 10 not equal to f?
False
Let q be 1/3 - 8/6. Let d = -322/9 + 36. Are d and q unequal?
True
Let i be (-1 - -2)*1*-1. Suppose 2*k = -4*q - 3*k - 23, -3*q - 3*k = 15. Which is smaller: i or q?
q
Let m = -8/19 + -139/76. Which is greater: -3 or m?
m
Let r be 80/(-35) - 2/(-7). Let w be (-6)/(-8)*4/(-6). Is r <= w?
True
Suppose 5*x - 3 = -4*o - 7, 0 = 5*x. Let c be 3 - 34/10 - 43/(-70). Which is smaller: c or o?
o
Let m = -1.6 - -0.95. Which is bigger: 0 or m?
0
Let c = -19.4 + 19. Let s = 2.4 + c. Let n be -4 + (0/(-1) - -2). Is s less than n?
False
Let u be (2 - 3) + 2 + -2. Let c be ((-3)/426 + 0)*-4. Which is bigger: c or u?
c
Let k = -7 - -3. Let a = k - -4. Let f = -1.1 - -3.1. Is f at most as big as a?
False
Let s = -96 + 96. Let a = 40719/43 + -947. Does s = a?
False
Suppose 5*p = -13*u + 18*u + 10, 0 = 3*u + 9. Let o be (3/14)/((-1)/8). Which is greater: p or o?
p
Suppose -2*i + i + 2 = 0. Suppose -3*c = -r - 1, 5*c - i*r = c. Let a = -3 + c. Are -4/7 and a nonequal?
True
Let s = -1.2 - -1.1. Let x(v) = v - 3. Let h be x(2). Is h at most s?
True
Suppose c - 5 = 2*c. Is c >= -2?
False
Let g(s) = 34*s - 1. Let z be g(1). Let r = -269 - -709/3. Let p = z + r. Is p at most -1?
False
Let d be (-7)/(-5) + (-2)/5. Let k be (-222)/(-966) + 1/(-7). Are k and d non-equal?
True
Let v be (-6)/4*(-4)/(-6). Let t be (-127)/(-3) + 1/(-3). Let i = -209/5 + t. Is v bigger than i?
False
Let w = -7 - -9. Let b = w - 2. Suppose 0 = z - 2*z + 1. Is b greater than or equal to z?
False
Suppose 3*w + 4 = 1. Which is greater: w or -1/5?
-1/5
Let w be (-3)/(3/(-142))*10/(-60). Does -24 = w?
False
Let c = -2.411 + 0.011. Is 0.2 at most as big as c?
False
Let i be (-2)/(-10) + 129/5. Let o = i - 16. Let u be -5*(-14)/o*1. Is u less than or equal to 7?
True
Suppose 2*z - 2*u + 2 = 0, 2*u - 3*u = -1. Let c be (z + 2 - 3)*1. Let p be c*(3 + 3 + -6). Which is smaller: p or -2/13?
-2/13
Let l be -2 + 0 + -3 + 4. Let j be l + 3/(6/4). Which is greater: j or 4/11?
j
Suppose 3*i - 8 = 11*i. Let s = -2 + 1. Is i greater than or equal to s?
True
Let o(m) = m**2 + 11*m - 3. Let b be o(-10). Let w = b - -10. Is -5 greater than w?
False
Let r(q) = 10*q**2 - 1. Let v be r(1). Suppose 0 = 5*o - i - v, -16 = -3*o - o + 3*i. Are o and 1/10 equal?
False
Let s = 144 + -144. Let x = -2.94 + 0.04. Let v = x - -3. Does s = v?
False
Let h(o) = 2*o**2 - o + 1. Let m be h(1). Suppose -1 + m = c. Let q(f) = -f**3 + 14*f**2 + 2. Let l be q(14). Which is smaller: l or c?
c
Let s be ((-36)/7)/(8/(-56)). Is -0.1 equal to s?
False
Let l(r) = -9*r**2 - 30*r - 28. Let a(b) = -5*b**2 - 15*b - 14. Let n(x) = 7*a(x) - 4*l(x). Let j be n(-14). Is j less than 2/7?
True
Suppose -3*o = -o - 24. Let i be (o/21)/(6/28). Are 2 and i non-equal?
True
Let q be (1 - 0) + (-14)/7. Let c = 5 - q. Which is smaller: 5 or c?
5
Let z(v) = -v**3 + 7*v**2 - 6*v - 1. Let m be z(6). Let j be (3/(-9))/m*1. Which is smaller: 1 or j?
j
Let q = 1 - -2. Let i be -2 + 4 + 0/2. Is i at least as big as q?
False
Let j be 3/(-9) - (-13)/3. Suppose 5*g - 2*c - 7 = 3, 4*g = 4*c - j. Which is greater: g or 2?
g
Let c = 9 - 11. Let p = c + 2.1. Let y be ((-6)/(-7))/3 + 0. Is p at least y?
False
Let d be 73/260 - 3/12. Is d at least 1?
False
Let l be (2 - 2)*2/6. Suppose -3*y = -l*y - 3. Which is smaller: 3 or y?
y
Let i = 0.14 + 0.04. Is i < 1?
True
Suppose 0 = -6*v + 45 + 33. Let t be (-6)/(-18) + (-5)/v. Which is smaller: t or -1?
-1
Let b be (2 - 5/2)*0. Is b not equal to 6/11?
True
Suppose -4*y + 3*y = -3*a + 2, -3*y - 6 = 5*a. Let o = -0.7 + 0.4. Let m = o + 0.2. Is y at most as big as m?
True
Let j be (-2812)/95*5/(-2). Which is smaller: j or 72?
72
Let y be 372/552 - (-2)/(-2). Let s = y + -4/23. Is s != -2?
True
Let q = -0.013 + -31.987. Is q at most as big as -1?
True
Suppose 7*l - 39 = -249. Is l at most -29?
True
Suppose 3*d + 9 = 0, -4*h - 5*d - 63 = -8*d. Which is bigger: h or -16?
-16
Let h = 3832 - 11375/3. Let t = h - 41. Suppose 3*i + 4 = i. Is i >= t?
False
Let b = -18 + -6. Do b and -23 have the same value?
False
Suppose -7 = 4*i + 3*m, -2*i + 2*m + m - 17 = 0. Which is smaller: i or -6?
-6
Let d be (-21)/(-4) + (-18)/(-24). Suppose -d*n = -2*n + 44. Does n = -13?
False
Let l(p) = -5*p - 9. Let f(x) = -3*x - 2. Let n be f(3). Let s be l(n). Let q = -136/3 + s. Is q <= -0.4?
False
Let z = -0.352 - 0.048. Is z bigger than 4?
False
Let z = -8 + 10. Let j be ((-48)/22 - -2)/z. Is j less than 0?
True
Let l = -5 + 15. Suppose -4*f - d - 1 = 0, f - 2*d + l = d. Suppose 5*h - 6 = 3*j, 2*j - 2*h + 5*h = -4. Which is bigger: j or f?
f
Let m be 1/(13/(1/(-1))). Is -1 less than m?
True
Let w be 2 - (-1*8 - 3). Suppose -3*r - 14 = w. Let x be (-24)/r - 0 - 2. Which is smaller: -0.1 or x?
-0.1
Suppose 0 = 4*o - 8*o + 4. Which is bigger: -1/102 or o?
o
Let r = 100 + -95. Is 42/11 less than r?
True
Let h = -46 - -46.1. Is h bigger than 5?
False
Let o = -27 + 60. Is 33 at most as big as o?
True
Let c = 40 + -38. Let o = 0 + 0.2. Is o smaller than c?
True
Let m be (-25)/(-9) - 2/(-9). Let o = -4 + m. Which is smaller: o or -1/5?
o
Let a = 31 - 29. Let v = -0.2 - 0. Which is smaller: a or v?
v
Let k = -1 - 0. Suppose -3*r - 100 = -v - 7, -25 = -5*r. Let g = v + -1622/15. Do k and g have the same value?
False
Suppose -26*z - 1 = -25*z. Suppose 0 = -2*d - 16 + 2. Let v be (-3)/d*2/(-3). Which is greater: z or v?
v
Let t be ((-1)/3)/(5/10). Suppose w = 2*c + 8, 0*w + 7 = w - c. Let b be ((-4)/3)/((-2)/w). Is t < b?
True
Let d(m) = -m**3 + m - 15. Let o be d(0). Which is smaller: -16 or o?
-16
Let i = 5.96 - 6. Let m = 0.06 - i. Let r = -0.9 - m. Which is smaller: r or 1?
r
Let b be (-1)/(-2)*1/2. Let d(k) = -k + 8. Let i(m) = -m**3 + m + 1. Let s be i(-2). Let t be d(s). Is t smaller than b?
False
Suppose 2*g + 1 + 13 = 0. Let n(t) = -t**3 - 7*t**2 + t + 6. Let j be n(g). Which is bigger: j or -3/7?
-3/7
Let g(c) = -c**3 + 10*c**2 - c + 6. Let v be g(10). Let r be (-1)/(-2 + (-6)/v). Suppose 0 = q + 3*q - 12. Is r at most as big as q?
True
Suppose 0*m + 15 = 3*m. Which is greater: m or 4?
m
Let r = 2.7 + -8.7. Which is bigger: -0.1 or r?
-0.1
Suppose -7 = 5*c + 8, 2*c + 34 = 4*q. Suppose -4*k + 5*k - 7 = 0. Is q >= k?
True
Suppose -t = t. Suppose t*r = r. Is r less than 2/3?
True
Let i(m) be the third derivative of -m**6/120 + m**5/15 + m**4/4 - 5*m**3/6 + m**2. Let x = -5 - -10. Let n be i(x). Are 1/7 and n nonequal?
True
Suppose 7*i + 296 = 5*i. Which is bigger: -147 or i?
-147
Let m(p) = 2*p + 5. Let u be m(-9). Which is smaller: u or -58/5?
u
Let x = 0 - -0.1. Which is smaller: 2 or x?
x
Let l(t) be the second derivative of -t**3/6 - t**2 + 3*t. Let m be l(0). 