 x?
True
Suppose 19 + 1 = 4*s. Suppose s*k + 4 = -11. Let u be -4*k*(-1)/4. Is -3 != u?
False
Suppose -2*n = 17 - 51. Let x = -11 + n. Is 6 at least x?
True
Suppose 2*v = v - 1. Suppose 5*d - 5*q + 39 = -31, 4*d + 3*q + 21 = 0. Let p be (-3)/d + (-1)/2. Do v and p have the same value?
False
Let j be -2 - ((-835365)/21 + 2). Let z = -39587 + j. Let k = z - 188. Do k and -2 have the same value?
False
Let l be ((-2)/4 + 3 + -2)*-44. Which is smaller: -23 or l?
-23
Let n = 2.9 + -3. Let b = -7 - -10. Let g be (3/(-18))/(b/12). Which is smaller: n or g?
g
Let t be 3/(-225)*-141 + -2. Is 0 less than or equal to t?
False
Let n be (3 - (4 + -1))/(0 - -3). Is 2/53 >= n?
True
Let s(v) = -1 + 4*v - 3*v + 3*v. Suppose 3*l - 1 = 2*l. Let o be s(l). Is o not equal to 4?
True
Let i = 84.02 + -85. Let s = i - 0.02. Is -0.1 at most as big as s?
False
Let f = -43 + 42.9. Is f at most 21?
True
Suppose -16 + 50 = -2*w. Let f = w - -18. Which is bigger: f or -4/11?
f
Suppose 8*h - 38 = -6. Which is bigger: h or 17/5?
h
Let k = 34 - 34.2. Do 30 and k have different values?
True
Let g(d) = -d**2 - 4*d. Suppose 2*s - 5 = 3*j + 14, 2*j + 4*s - 14 = 0. Let o be g(j). Suppose -5*y - 3 + 28 = b, 5*y - 2*b = 10. Is o less than y?
True
Let u = -7 + 8. Suppose 7*m - 10 = -3. Does u = m?
True
Let u be -2*(2 - 13/(-2)). Let m = -103/6 - u. Is m less than -1?
False
Suppose -6*w + 8*w = 0. Which is bigger: -10/9 or w?
w
Let b = 1.1 - -10.9. Let x = -11.9 + b. Is -0.3 > x?
False
Let v = 19.69 + -20.7. Let y = v + 0.01. Are y and 0.08 non-equal?
True
Let x be (3 - 6) + 2 + 13. Suppose -32 = 3*t - 5*j, t - 5*j + 2 = -x. Do t and -7 have different values?
True
Suppose -4*m - 4 = 0, -2*c - 3*m + 19 = -8*m. Let s = -8 + c. Is -5/6 smaller than s?
False
Suppose -2*k + 6 = 4*a, -3*a - 2*a = 5*k + 5. Is a less than or equal to -2/9?
False
Suppose 0 = -8*w + 3*w - 15. Let b be 1*((-1 - w) + -3). Let x be (-9)/(-21) + 4/(-12). Is x != b?
True
Let w = 8.9 - -3.1. Which is smaller: w or 0.1?
0.1
Let i(z) = z**3 + 5*z**2 - z + 4. Let x be i(-5). Is 9 less than or equal to x?
True
Let b = 5/6 - 1/12. Is 2 smaller than b?
False
Let f(v) = -v + 1. Let h be f(1). Let r be (-8)/(1 - -1) + h. Let g = r - -9. Is 4 bigger than g?
False
Let c = -1 - -5. Suppose -c*n + 6*n = 0. Let v = 4/23 + 72/115. Which is greater: n or v?
v
Let g be 1/(28/8 - 4). Let z be -2*6/(-4) - 1. Let q = z + g. Are q and 0 nonequal?
False
Let s(m) = m**3 - 2*m**2 - 9*m + 4. Let c be s(-7). Let n be (-10)/15 - c/534. Let l = n - -163/445. Which is smaller: l or 1?
l
Let b = -7 + 13. Suppose b*q + 688 = 2*q. Let a = -1210/7 - q. Which is bigger: 0 or a?
0
Let k = -14 - -12. Which is smaller: -6/5 or k?
k
Suppose 6 = -3*i - 0*i. Which is bigger: 6 or i?
6
Let r = -14/39 - -32/65. Which is bigger: 1 or r?
1
Suppose -76 = -3*o + 7*o. Does o = 1/2?
False
Suppose -h + 2 + 5 = 5*v, 0 = 4*h - 8. Is v < -1/13?
False
Let b = 31 + -30. Does b = 1?
True
Let g = -4 - -4. Which is greater: g or 2/37?
2/37
Suppose -28*t - 4 = -24*t. Are 1/6 and t non-equal?
True
Suppose -3*k - 1 = -4*k, 11 = 4*b + 3*k. Which is greater: -0.04 or b?
b
Let k = -0.043 - 0.357. Are -7 and k equal?
False
Let t = 12 + -11. Which is bigger: -0.04 or t?
t
Let m be 24/(9/6 - 0). Suppose 24 = 4*n - 4*s - 0*s, 3*s + m = 2*n. Which is bigger: 7/5 or n?
n
Let a(u) = u**3 + 6*u**2 + 4*u - 4. Let s be a(-5). Let h be (21/(2 + s))/(-1). Let q = h + 9. Are 1/2 and q equal?
False
Let x = 4 + 5. Let a be (-3)/x - (-2)/(-3). Suppose 0 = -7*h + 5*h - 3*h. Which is greater: a or h?
h
Suppose -5*b - 1 + 6 = 0. Suppose 3*i - 2*i - 3*g = 14, 0 = -i + 5*g + 24. Let s be (5 - b) + -2 + i. Which is smaller: -1/3 or s?
-1/3
Let n be (-1)/3 - (-10)/3. Suppose 3*t - n = 3. Suppose 0*o - o = 0. Which is bigger: o or t?
t
Let c = 135057 + -1352787/10. Let d = c - -222. Is d at least as big as 1?
False
Let t = 0.53 + -0.61. Is 0.8 at least as big as t?
True
Let z = 5 - 4.9. Let j(o) = o**2 - 11*o + 2. Let m be j(10). Do m and z have the same value?
False
Suppose -88 = 4*f + 2*w, -f + 6*f - 2*w = -92. Let s be f/6*(-15)/2. Suppose 5*z - 5*o = 5, 5*z = -9*o + 4*o - s. Is z greater than -0.1?
False
Let d be ((-1)/(-4))/((-273)/(-238)). Let a = -3/26 - d. Is a >= 1?
False
Let n(j) = -2*j**2 - 4*j. Let g be n(-3). Is g at most as big as -2?
True
Let n = 6.1 + -1.1. Let m = 3/58 + -131/290. Which is smaller: n or m?
m
Let f(m) = -m. Let d be (-1)/(-3) + (-14)/6. Let r be ((-1)/(-1))/(d/12). Let a be f(r). Is a bigger than 5?
True
Let v = 4 + -27/8. Which is smaller: 2 or v?
v
Let s(h) = -4*h - 19. Let c be s(-8). Suppose c = -3*t + 1. Which is smaller: -18/7 or t?
t
Let l be (10/(-25))/(1/(-10)). Suppose 8 = l*x + 5*v, 2*x - 2*v - 4 = 3*v. Suppose 0 = -t - 0 + x. Is -2 smaller than t?
True
Let d = 11.8 - 11. Let b = d + -1. Let f = 5/16 - 1/16. Which is smaller: b or f?
b
Suppose -10*w - 15 = 5. Do -9/7 and w have different values?
True
Suppose 0 = j - 4 + 2. Suppose 5*m - j - 3 = 0. Let c = -38/3 + 13. Which is bigger: c or m?
m
Let z = -0.4 + 1.4. Which is bigger: z or -1/2?
z
Let t(s) be the second derivative of s**5/120 + s**4/24 - s**3/2 - 3*s. Let p(g) be the second derivative of t(g). Let u be p(1). Which is bigger: 1 or u?
u
Let t(k) = -k**2 - 2*k + 4. Let b be t(-3). Let q(w) = -w**2 - 5*w - 4. Let g be q(-3). Let p be (-2*2)/g + 2. Is p > b?
False
Let l = -8 - -6. Let u be (-5)/10 + (-3)/l. Which is bigger: u or -2/27?
u
Let m(v) be the first derivative of v**4/12 - 2*v**3/3 - 2*v**2 - v - 1. Let x(g) be the first derivative of m(g). Let t be x(6). Is 7 greater than t?
False
Let f be -4*6/(-5184)*1. Is 0 greater than or equal to f?
False
Let x(o) = -o**2 + 8*o - 7. Let b be x(7). Is 7/11 smaller than b?
False
Suppose -n = n - v - 11, 3*n - 15 = v. Let f be 1/(-4) - 15/n. Which is bigger: f or -3?
-3
Let f = 10 + -6. Let c be (-6)/f + -3 + 2. Do c and -4 have different values?
True
Let h(p) = p**2 + 6*p + 1. Let g be h(-4). Let z = -21 + 33. Let o = 11.9 - z. Which is smaller: o or g?
g
Let z(t) = t + 5. Let g be z(-3). Let n be (-9)/15 + (-2)/5. Which is smaller: g or n?
n
Let x be -2*(-26)/20 - 3. Let u(i) = i - 3. Let w be u(4). Is w greater than or equal to x?
True
Let c = -4 - -4. Suppose c = -4*h + 4. Let k = -1/32 + 49/32. Which is smaller: h or k?
h
Let q be -4*((-4)/22 - (-475)/2310). Is 1 at least as big as q?
True
Let d = -1 + 3. Let s be (3/6)/(d/4). Are 1 and s equal?
True
Let u = -141 - -179. Is u at most 39?
True
Let d = 15.1 + -15. Let z = -0.5 - 1.5. Is z greater than d?
False
Suppose 2*w = -3*w. Let x = -72 - -80. Is x greater than or equal to w?
True
Let x = 197/3 + -65. Suppose 0*s + s = 4. Suppose 5*i - 4*l = 1, 0*i - s*l = -i - 3. Which is bigger: i or x?
i
Let r = -2745/4 - -690. Which is greater: 4 or r?
4
Suppose -u + 0*u + 5*x = 2, 18 = 5*u + 3*x. Let h = 7 - u. Suppose h = 2*a + 2. Which is greater: -9 or a?
a
Let m(k) = 4*k + 4 + 0 - 3*k. Let p be m(-6). Let q be (-30)/21 - p - 0. Which is bigger: 0 or q?
q
Suppose -3*c + 1 = -2. Is c greater than -3/41?
True
Let g = -2 - -2. Suppose 5*s + 3*w - 96 = 0, -s + 16 = 2*w - 3*w. Let y be (s/(-48))/((-6)/(-4)). Is y less than g?
True
Let b = 25287 + -178243/7. Let i = -265 - -89. Let g = b - i. Which is smaller: 0 or g?
g
Suppose -3*y = 2*y - 5, -25 = -3*b - y. Let t(d) = d**2 - 8*d - 2. Let g be t(b). Let k be (-12)/4*g/6. Is k < 1?
False
Let v = -2 - -3. Let t(z) = -v - 1 - z + 6. Let x be t(6). Is x at most 2?
True
Let l = 151 + -738/5. Let f = l + -4. Which is greater: -2 or f?
f
Let y = 132 - 131. Let o = -77 - -384/5. Is o != y?
True
Let o be (-10)/(-15) + 710/6. Suppose x - o = 4*f + 6*x, x - 5 = 0. Let y be (-4)/(-18) - 28/f. Is 3 at least y?
True
Let j be (-2 - -5)/(-3) + 7. Suppose -5*t = -j*t. Let y be ((-4)/(-10))/(2/(-10)). Which is greater: t or y?
t
Let b = 1 + 1. Let m be (-2)/(0 + b) - -5. Is m at least as big as 4?
True
Let w be (-4)/(-6) + (-6)/9. Let n = 2 - 3. Let f be w/(-1)*(n - -2). Which is smaller: f or 1/3?
f
Let i = 5 - 3. Suppose -i*w - 6 = -2*z, -1 = -3*w - z + 2. Suppose 3*y - 5 - 10 = w. Which is smaller: y or 4?
4
Suppose -5*b - 4 = 11. Let r = -5 + 3. Is r at least b?
True
Let f(o) = -2*o + 3. Suppose -3*n - 5 - 4 = 0. Let p be f(n). Are 10 and p equal?
False
Let d be (-4)/13*