ual to y?
True
Suppose -3*v + 15 = 2*v. Suppose -2*o + 0*o + 4*j - 2 = 0, 0 = 3*o - 5*j + 1. Suppose -o*y - i - 18 = -v, -15 = 3*y - i. Which is bigger: y or -4?
-4
Let v be 21/(-651)*((1 - -1) + -5). Is 0 bigger than v?
False
Suppose 236 = z - 2*r - r, -4*z + r + 966 = 0. Suppose -7*x + 3*x - 5*m - 974 = 0, x + z = -2*m. Let n = 1471/6 + x. Which is bigger: n or 1?
1
Let l = 9/64 - 263/960. Let v(p) = 4*p + 9. Let h be v(-2). Suppose -33*x + h = -32*x. Is x > l?
True
Let l = -310803 - -9322019/30. Let y = 208/3 + l. Which is bigger: 1 or y?
1
Let q = 7/22 - 25/44. Which is smaller: 128 or q?
q
Suppose -2 = z + 12. Let a = -7921 - -7910. Is z greater than a?
False
Let g(p) = 71*p**2 + p - 1. Let q be g(2). Let b be 2/10 + (-3622)/q. Let f = 38/3 + b. Is f < 0?
False
Let w = -3.1 + -1.9. Let u = -10 - w. Which is smaller: u or 2/3?
u
Let f be ((-32)/(-12))/1*12/(-8). Let m be (f/(-38)*-1)/(-3). Is m >= 0?
True
Let s be 27/(-2*(-2)/(-12)). Is s not equal to -80?
True
Suppose 0 = -2*c - 4*p - 24, -9*p = -2*c - 12*p - 27. Does c = 2/27?
False
Let c = -1422 + 838. Is -584 less than c?
False
Let i(f) = -20*f + 22. Let q be i(1). Which is smaller: -6 or q?
-6
Let z(t) = 1 + 0*t + 0*t - t. Let f be z(1). Let u be 6 + (-15)/12 + -6. Which is greater: f or u?
f
Let t = -552 - -5517/10. Are t and 2 unequal?
True
Let w = 101 - 72. Is -0.3 >= w?
False
Let t = -8.4521 - 0.0479. Do -9 and t have the same value?
False
Let d(m) = -m**3 - 2*m**2 + 7*m - 10. Let o be d(-3). Let n(b) = 2*b + 62. Let g be n(o). Is 124/7 < g?
True
Suppose -2*v = -5*d, 6*d + v = d. Suppose -5*h = -d*k + 2*k + 45, -5*k + 4*h - 96 = 0. Which is bigger: -21 or k?
k
Let u(b) be the second derivative of -b**3/6 - b**2 + 5*b. Let i be u(-4). Let f be i + (-148)/28 - -3. Are 4 and f non-equal?
True
Let b = 30 - -5. Suppose 9 = 5*h - 2*z + b, 1 = -4*h - 5*z. Let v be (1/2 - 1) + -3. Is h at most as big as v?
True
Let p be -1 + 1 + -7 + 5. Suppose -4*d + 7*d = 0. Suppose 0*y + 3*y + 6 = d. Is y at most as big as p?
True
Suppose 0*m = 3*m - 81. Let i(a) = -a**3 - a - 13. Let c be i(-3). Let q = c - m. Is q bigger than -9?
False
Let x = 69 + -102. Let o = 33.08 + x. Let n = -0.1 - 0. Which is bigger: o or n?
o
Let s be (-6 - (4 - 10)) + (-3)/228. Is s at most as big as 0?
True
Let b(t) = -t**2 - 9*t - 5. Let f be b(-8). Suppose 4*a = u + u - 14, -f*a = -4*u + 23. Is 1/7 <= a?
False
Let n = -767/11 + 24731/352. Let l be (-156)/128 - (0 + -1). Let c = l - n. Which is smaller: -1 or c?
-1
Let i = 427 + -470. Which is smaller: i or -44?
-44
Let u be (0 + 6)*(-11)/(-33). Suppose -d = -3*q + 2*d + 15, 3*q = -u*d - 5. Are q and 21 unequal?
True
Suppose 4*o + o = -10. Let p be (0*(-1)/(-2))/(-2). Suppose p = t - 3*t. Which is smaller: t or o?
o
Let n = -0.56 + 32.56. Let g = 31 - n. Do g and 14 have the same value?
False
Let i = 117/92 - 1/46. Which is bigger: -1/52 or i?
i
Let p be ((-620)/(-5))/(-4) + 3. Let d = p + 29. Is d greater than 1/30?
True
Let v = 9695/418 - 256/11. Let i = 10 + -10. Is v less than i?
True
Suppose 3*u + 7 = -8. Let y be ((-3)/6)/(u/(-10)). Let a = 1189/8 + -149. Is a at most y?
False
Let g = -7 + 8. Let j = 11.05 - 0.05. Which is greater: g or j?
j
Let z = -1473/32 - -25849/32. Let s = z - 758. Which is bigger: 5 or s?
5
Let r(n) = 7*n - 4. Let t be r(3). Let p = 3062 + -3046. Which is smaller: p or t?
p
Let m = 11 + 13. Suppose -m = y - 13. Does -31/3 = y?
False
Suppose -4 = -3*j + 2*m, 5*m = -j + 63 - 56. Let n be (8/10)/2 - 1. Which is smaller: j or n?
n
Let r = 192 - 5189/27. Which is greater: -1 or r?
r
Let a = 840 + -706. Is a greater than 134?
False
Suppose 0 = 4*j + 380 + 948. Let l = j + 3648/11. Is 1/3 != l?
True
Suppose 8*q = 4*q - 20. Let m be 2/7 + (-26)/(-7). Let s be (-18)/(-10*(-2)/m). Is q >= s?
False
Let n = -143 + 149. Is n at least as big as -10?
True
Let p(u) = -u**2 + 5*u + 6. Let r be p(6). Let x be r/(-3)*(-4 - -5). Suppose 3*w = -x*w. Is -1/6 at least w?
False
Suppose -3*w + 5*w = -5*p + 21, 12 = 4*p + 4*w. Suppose -3*i + p*i = -0*i. Which is smaller: -2/55 or i?
-2/55
Let y be (-1)/(-2)*6/107. Let n = y - 116/321. Is -0.01 equal to n?
False
Suppose 0 = -10*a + 13*a - 12. Suppose 0 = -a*i - 4*g + 105 + 55, 0 = 5*i + 2*g - 188. Is i > 36?
False
Suppose 0 = -0*p + 5*p - 40. Let z be (p/(-12))/(32/(-12)). Which is bigger: z or -10/9?
z
Let p = 167/14 - 1769/28. Let v = p - -52. Let k(u) = 2*u**2 - 24*u + 22. Let j be k(11). Are j and v nonequal?
True
Suppose -2*t = 4, -t + 77 = 5*s - 1426. Is s at least 300?
True
Let m = 30.6 - 25.6. Is m smaller than -45?
False
Let r be 32/6 - 44/33. Suppose r*a + 35 = -3*h - 0*h, -4*a - 5 = -3*h. Let d be 4/(1*1/(-1)). Which is smaller: h or d?
h
Suppose 0 = -4*y - i - 2*i + 102, 4*y + 5*i - 98 = 0. Let x = y - 18. Is 9 at least x?
True
Let c = 629/26 - 45/2. Which is bigger: c or 1?
c
Suppose -2*m - 3*m - 5 = 0. Let b = 39 - 28. Suppose -20 = -y + b*y. Do m and y have the same value?
False
Let o be (36/(-1200))/(112/(-20)). Is o less than or equal to 1?
True
Suppose 0 = 5*s - 7 - 3. Suppose -s*y - y - 57 = 0. Let t be 2/(-2) - 1*y. Are 18 and t nonequal?
False
Let p(v) = 2*v**2 - 28*v - 37. Let o be p(15). Let z(i) = -i - 1. Let a be z(6). Is o smaller than a?
False
Let h be -4 + 2 + 2 + -1 + 10. Let d be ((0 - 1) + -10)/(-1). Is d equal to h?
False
Let b be -4 + (-2)/5 + 330/75. Let h = -568 - -6260/11. Is b smaller than h?
True
Let i = -958 - -797. Which is smaller: i or -162?
-162
Let b = 0 + 1. Let o = -6.51 - -0.51. Let t = o - -6.01. Is t less than or equal to b?
True
Let f be -2*(5 + -3) - (-4 - 0). Which is greater: -1/711 or f?
f
Let v(l) = -152*l - 1. Let b be v(-1). Suppose -3*f - b = 59. Let y be 42/f + (-2)/5. Which is smaller: y or -4?
-4
Let z be -2 + 0 - -2 - -23. Let r be 106/4 - (-2 - -5). Let h = r - z. Are h and -0.7 non-equal?
True
Let o(x) = -x**2 + 1. Let d be o(3). Let m = d - -3. Let n = m - -5. Are n and -1/13 non-equal?
True
Suppose -4*q - a + 5*a + 20 = 0, a - 19 = -5*q. Which is bigger: q or 10?
10
Let r be 9 - (-156)/(-18) - 92/6. Let z(v) = 16*v + 1. Let j be z(-1). Is r >= j?
True
Let s = -248 - -259. Let d = 20 + -2. Let z be (-66)/s*d/8. Which is smaller: z or -13?
z
Let o be ((-18)/210)/(66/63). Let k = o - 1/55. Is 0 >= k?
True
Suppose -5*v = 2*d - 0*d + 52, 0 = -v - 3*d. Let u = -7 - v. Let r be (-1)/(-2)*(-7 + u). Is r at most as big as 1?
True
Let r be 19/(-10)*2 + (-1)/5. Let z(w) = -w**2 - 7*w - 13. Let v be z(r). Which is bigger: 2/17 or v?
2/17
Let v = 5183/42 + -19/21. Which is bigger: v or -0.1?
v
Let t = -22.98994 - 0.04006. Let k = t - -23. Let g = k - 0.07. Which is greater: g or 4/7?
4/7
Let h(c) = c**2 - 10*c - 7. Let n be h(10). Let t(d) = d**2 + 6*d - 4. Let j be t(n). Suppose -j*o = -4*o + 2. Which is smaller: o or 1/4?
1/4
Let g be (4/(-2))/((-2)/(-5)). Let h(l) = l + 6. Let y be h(g). Let f = -159 - -157.9. Which is bigger: y or f?
y
Let o(x) = -1. Let c(t) be the third derivative of -t**4/24 - 7*t**3/6 - 2*t**2. Let w(s) = c(s) - 5*o(s). Let d be w(-2). Which is bigger: -1 or d?
d
Let t be (-2)/(-5)*(-9 + 4208/52). Is t bigger than 30?
False
Suppose r = -3*r - 3*f + 50, -2*f - 32 = -2*r. Suppose -3*y = m - 44, -3*y - y + 37 = -3*m. Are r and y unequal?
True
Let t(s) = s**2 - 4*s + 4. Let j be t(2). Is j at least 3/194?
False
Let f = -154 - -358. Suppose -10*p - 186 = f. Are p and -40 non-equal?
True
Let b = -0.12 + 3.32. Let a = -1 - 2. Let k = b + a. Which is smaller: 0.5 or k?
k
Suppose 4*k + 3 = -5*y - 3, -5*k = -2*y - 9. Let q(i) = i**2 + 5*i - 7. Let s be q(-9). Let a = s + -30. Do a and y have different values?
True
Let i = -1431.3 + 1296. Which is smaller: i or 1?
i
Let g(f) = f**3 - 7*f**2 - 2. Let m be g(8). Let v = 371/6 - m. Is v >= 2/3?
False
Suppose 6*r - 171 = -2*v + 5*r, -2*v + 2*r + 162 = 0. Is 82 smaller than v?
True
Let j(n) = -23*n - 13. Let c(s) = -12*s - 7. Let k(g) = -11*c(g) + 6*j(g). Let q be k(1). Let l = 8 + q. Which is greater: -2/21 or l?
l
Let k be 8/(-34)*3/6. Let y = 27/85 + k. Suppose 2*p + 2*p = -12. Which is smaller: p or y?
p
Suppose -3*p = n - 3 - 16, 39 = 5*p - 2*n. Let s be ((-7)/(-784)*p)/(18/(-8)). Is 1 less than s?
False
Let l be (-680)/16*-4*3/(-15). Which is bigger: l or -19?
-19
Let q be 0 + 4/(-38)*1. Let f be -