 1?
1
Let i = -57 - -53. Which is greater: -180 or i?
i
Let q = 9.2 - 1049.2. Let s = -1024.93 - q. Let a = s - 15. Which is bigger: a or -1?
a
Suppose -x - 3 = 4*y + 1, -4*x - 52 = 4*y. Let k be (-4)/x - (-9)/12. Let p = 11 - 7. Is k at least as big as p?
False
Let d = 18 + -12. Let g be 6 - d/(-4)*2. Suppose -4*v + g*v = 100. Is v at most as big as 20?
True
Suppose 2*a + 5*d = -2, -a + 484 - 470 = -5*d. Which is greater: 219 or a?
219
Let g be (28 + -30)*18/4. Is -96/11 > g?
True
Let x(r) = -r**2 + 23*r + 12. Let h be x(22). Suppose 61*o = 62*o + h. Are o and -35 equal?
False
Let t = -143 - -115. Is -28 < t?
False
Let x = 41 + -41.1. Let h = -31 + 31.02. Which is bigger: x or h?
h
Suppose 0 = 3*s + 4*d - 26, -2*s - d - 4*d = -22. Let h(k) = -k**2 + 6*k - 1. Let m be h(s). Suppose 4*l = 4*y, -2*y = l - y. Is l at least as big as m?
True
Let h = 12 - 13. Are 0.401 and h unequal?
True
Let i = -294 - -293.937. Which is bigger: i or 2?
2
Suppose -4*m + 6 = i, 2*i = m + 2 + 1. Let t = 1030744/29 + -35543. Is m >= t?
True
Let p be (228/(-30))/((-4)/(-5)). Let a = 74 + -83. Is a at least p?
True
Let v(u) = u**2 + 5*u - 3. Let g be v(-6). Suppose 2*j - 13 = g. Let m be (34/j)/(-3 + 4). Is 5 < m?
False
Let f(y) = 4*y - 2. Let l be f(-3). Let j = l - -13. Is j equal to -18/11?
False
Suppose -5*r - 64 = -z, 0 = 2*r + 2*z - 0*z + 28. Let k = -11 - r. Suppose 3*b - 13 = k. Do 5 and b have different values?
False
Suppose 5 + 1 = 2*p. Suppose -w = w - 0*w. Is p bigger than w?
True
Let a = -1.1 + 0.46. Let g = 0.44 + a. Which is bigger: 9/5 or g?
9/5
Suppose -14 = 4*s - 2. Let l be 8/s + 24/(-18). Which is bigger: l or 4?
4
Let n = -65 - -457/7. Does 2.43 = n?
False
Let z be (15/(-6))/(25/(-60)). Let n(q) be the third derivative of -q**6/120 + q**5/10 - q**4/12 + 7*q**3/6 - q**2. Let d be n(z). Is d > -1?
False
Let y = -4.6 - -5. Let z = 0.046 - 1.446. Let a = z + y. Is a less than -0.1?
True
Let u be 408/30*(-10)/(-4). Let t = u + -42. Is t < -8?
False
Suppose -192 = 13*l + 16. Is l at most as big as -20?
False
Let q be (-56)/(-8) + 1*-3. Let o(x) = x - 7. Let d be o(q). Let g be (d/6)/((-2)/4). Which is greater: g or -1?
g
Let u = -4 + 3. Let y = -254 - -253. Is y not equal to u?
False
Suppose 505*v = 511*v + 438. Which is smaller: -2 or v?
v
Suppose -66*r + 39 = -79*r. Let g = 304/515 + 1/103. Which is smaller: g or r?
r
Let v be 1*2 + (-180)/87. Let x be 58/174*0/1. Are v and x equal?
False
Let w = 0.1 - 0.6. Let a = -13590 - -13599. Is a greater than w?
True
Let q be 2 - (2 - 1 - 3). Let s(a) = -a**2 + 4*a + 5. Let r be s(q). Let b be (r + -3)/(2/2). Which is smaller: b or 1?
1
Let n(b) = b**3 + 8*b**2 + 7*b - 1. Let o be n(-7). Which is smaller: o or -39?
-39
Let u(b) = b**2 - b + 1. Let s(l) = -11*l**2 + 9*l - 7. Let n = -11 - -12. Let p(w) = n*s(w) + 6*u(w). Let m be p(2). Are m and -14 nonequal?
True
Let g be (-2)/1*(-9)/2. Let o = -6957 - -6970. Is o greater than g?
True
Suppose 3*h + 2 = 14. Let l be (-26)/84 + (-5)/(-40)*h. Which is bigger: l or 0?
l
Let m = -1 + -1. Let f be 6/(-4)*(-12)/(-9). Is f equal to m?
True
Let n(g) = -g**3 + 2*g**2 + 2. Let m be n(2). Suppose 0*f - 2 = m*f. Suppose 4*j = -3*o, 0 = -11*j + 12*j + 2*o. Is j greater than f?
True
Let a = 75 - -42. Let f be 18/a + 30/(-26). Is f greater than 3/35?
False
Suppose 0*f - 91 = 2*f - 5*j, -3*j = 3*f + 105. Suppose 8*l = 4*l - 148. Which is bigger: l or f?
l
Let s be 25/20 + (-3)/(-4). Let k be s/(-8) + 53/4. Let d = -25 - -37. Is k equal to d?
False
Let x = 27 + -31.5. Let q = x - -3.5. Is q < -3/8?
True
Let b = 69 - 69. Let r be 1*0/(b - -2) + 3. Is r at least as big as 3?
True
Suppose 2*i + w - 2*w + 8 = 0, -i = -4*w + 11. Let q be 214/(-14) + (-2)/(-7). Let p be q/(-36) + (-1)/i. Is -1 less than p?
True
Let i = -10 + 0. Let t be 4/i - (-30)/75. Which is smaller: 4/29 or t?
t
Let g = -21/230 + -1/115. Suppose 0 = f - 10*f + 9. Which is smaller: g or f?
g
Suppose 14 = 3*j - 2*j. Suppose 0*t - j = t. Which is smaller: -13 or t?
t
Suppose 2*m + 360 = 1352. Suppose 10*j - m = -56. Is j != -1?
True
Suppose -18*h - 934 = 5*c - 15*h, 15 = -5*h. Which is smaller: -187 or c?
-187
Let j be (-4)/28 + (-15)/(-7). Let g be j/18*(-35)/15. Let p = g + -2/27. Are p and 1 equal?
False
Let g(c) = 10*c**3 - 2*c**2 + 1. Let j be g(1). Let m = 0.1147 - -0.0853. Which is smaller: j or m?
m
Let x(o) = -33*o + 85. Let h be x(0). Which is greater: h or 87?
87
Let b = 11.94 + -8.94. Which is smaller: -53 or b?
-53
Let u = 39 - 58. Let t(b) be the first derivative of b**3/3 + 6*b**2 + 18*b + 9. Let d be t(-6). Which is greater: u or d?
d
Suppose -3*k + 7 = i + 3, 3*k - 6 = -3*i. Let c = 1/1248 - 659/43680. Is c bigger than i?
False
Let b = -49423/4 - -12209. Let w = b + 143. Suppose i - 1 = 2*g + 3, -2*i = 8. Is g less than w?
True
Suppose 0 = -6*a + 3*a - 6. Let k = 0 - a. Suppose 5*b + 18 = 8*b. Which is greater: b or k?
b
Let j = -0.5 - -0.1. Suppose 39 = -24*m + 25*m. Let z be -3 + m/15 + 2/10. Is j at least z?
False
Let c be 1 - 1 - (-31756)/(-18). Let f = 2495 - 733. Let a = c + f. Which is greater: -1 or a?
-1
Let y = -1.775 - 93.325. Let z = y + 95. Which is greater: -49 or z?
z
Let m(p) = 3*p**3 + p**2. Let n be m(1). Is -10 less than or equal to n?
True
Let c(w) = -4*w - 18. Let p(t) = t**2 - 5*t - 6. Let y be p(6). Let m be c(y). Are m and -17 unequal?
True
Let f be (-4 + 0 + -48)/2. Is -18 bigger than f?
True
Let w = 2/137 - -131/411. Is w <= 0.07?
False
Let g = 55.97 - 57.37. Let t = -3 - -5. Is t equal to g?
False
Let l = 8 - 20. Let p be (120/360)/((-2)/78). Which is smaller: l or p?
p
Suppose 137*y - 140*y - 18 = 0. Which is greater: y or -0.123?
-0.123
Suppose -5*k - 11760 = 7*k. Let a be (-2)/4 + k/(-616). Which is greater: a or 1?
a
Let u be (5/((65/10)/13))/(-382). Which is greater: 0 or u?
0
Let i be (2 + -3)/(-2 - -1). Let o = -70 + 102. Which is bigger: o or i?
o
Suppose s - 28 = 5*o + 17, -2*o + 5*s = 18. Is o at least 3/13?
False
Let p(b) = -b**2 + 10*b - 6 + 4 + 6 + 0*b**2. Let g be p(10). Suppose g*r + 14 = -5*l + 63, 0 = r - 3*l + 9. Which is bigger: r or 0?
r
Let s be 0/((2 - 3) + 2). Suppose s = -2*g - 2*g - 8. Let t = -553/188 - -9/47. Is g < t?
False
Let p = 32.87 + 0.13. Let l = 0.71 - -0.09. Let o = -1.8 + l. Is p > o?
True
Let b(n) = 7*n**3 - 4*n**2 - n - 5. Let s be b(5). Let r be (-190)/s + 2/(-9). Which is smaller: 1 or r?
r
Let i(j) = -j + 13. Let q be i(6). Suppose -q*y + 2*y + 4*o - 61 = 0, 2*o - 37 = 3*y. Let f = 11 + y. Which is smaller: -1/2 or f?
f
Let f(l) = l**3 - 4*l**2 - l - 14. Let i be f(5). Suppose -2*m - 3*x = -6 - i, 2*x = -4. Which is greater: m or 52/5?
52/5
Let o be (60/(-45))/(84/(-9)). Which is greater: -1 or o?
o
Let o(m) = -m**3 - 11*m**2 + 19*m + 27. Let n be o(-12). Let d = -41 - n. Is 15 equal to d?
False
Let f be 12/1389*(-14)/(-28). Is -1 greater than or equal to f?
False
Let i(d) = 4*d - 3. Let h(v) = v**3 - 4*v**2 - v + 5. Let l be h(4). Let m be i(l). Which is smaller: m or 3/5?
3/5
Let j(h) = -h**3 - 14*h**2 + 5*h + 74. Let o be j(-14). Is o <= -39?
False
Let j be (-47)/((-8225)/(-26520)) + 2/5. Is j < -150?
True
Let b = -528 + 527.989. Are 0.4 and b non-equal?
True
Let s be -1*(-6)/915*-2. Let r = 2236/15555 - s. Let i = -14/17 + r. Is 1 less than or equal to i?
False
Let y = -18 + 15. Let u = 3 - y. Let q be 10/u + (5 - 7). Which is smaller: 7 or q?
q
Let o = -644 + 643.8. Let m = 15 + -14.3. Let a = 2.3 + m. Is a bigger than o?
True
Let p = 163 + -164. Is 1/66 <= p?
False
Suppose -4*d - 15 = 4*n + 9, 0 = -3*n - 2*d - 20. Let b = -4 - n. Let v be b/(-20) + (-31)/(-55). Which is greater: v or -1?
v
Let v = -106 - -195. Let g = v - 93. Let f = -574/3 + 186. Which is smaller: g or f?
f
Let s be ((-6)/9)/((-4)/(-6)). Let j be 12*(0/2 - s). Let p = 3881 - 3870. Is j < p?
False
Let w be 2/(-298)*552/1932. Which is smaller: 0 or w?
w
Let b = -190.001 + 190. Which is smaller: -1 or b?
-1
Let u(c) = 6*c - 2. Let k be u(-7). Let n = -9 - k. Let d be ((-10)/n)/(4/(-6)). Is -1 != d?
True
Let k(m) = m**3 - 9*m**2 + 9*m - 4. Let t be k(8). Suppose 12 = -n + t*n. Let q = 9 - n. Are q and 5 equal?
True
Suppose -4*s + 3*g = -43, 2*s + 4*g - 16 = -0*g. Let n(w) = -s*w + 8*w - 8 + w. Let x be n(-10). Is 3/5 greater than or equal to x?
False
Suppose