 -127 + t. Suppose 33 = d + 2*d. Is f not equal to d?
True
Let g(x) = 0 - 1 + 7 - x - 4. Let w be g(5). Which is bigger: w or -5?
w
Suppose 0 = -3*j + 4*d - 83, -j - 2*d = 30 + 11. Which is smaller: -19 or j?
j
Let t = 795.22 + -795. Which is greater: -2 or t?
t
Suppose -2 = 3*v - 11. Let o be 4*v/(-1134)*-3. Is o bigger than -1?
True
Let v(d) = d**2 - 9*d. Let q be v(9). Suppose -4*r + 9*r - 20 = q. Let f = r - 6. Which is greater: -2/3 or f?
-2/3
Let y be 161/5 + 56/70. Let w(x) = 17*x - 1. Let a be w(2). Is y less than a?
False
Let y = 4186 + -4180. Let g = 0.11 + -6.11. Which is smaller: g or y?
g
Let d be ((-4)/(-24))/((-2)/303). Let s = -24 + 49. Let g = d + s. Is g at most as big as -1?
False
Let n be (-6762)/(-77) - 4/(-22). Let g = 790/9 - n. Is g bigger than 0?
False
Let l = 5995/2 + -2929. Which is smaller: l or 0?
0
Let h = 40574/513 + -1476/19. Is h smaller than 0?
False
Let m = -59 + 31. Let s = m + 21. Is 0 less than or equal to s?
False
Let d be (-35)/(-10) - 3/(-6). Let q = d - 10. Suppose 3*p - 4*g + 2 = 0, -5*g - 4 = -3*p - 2. Does p = q?
True
Suppose 0 = 5*w + 2*c - 49 - 13, -w = 5*c + 6. Let b be 6/4 - (-91)/w. Which is smaller: 9 or b?
b
Suppose -5*s + 2*q - 47 = -1, 0 = -4*s - 2*q - 26. Are -55/6 and s nonequal?
True
Let g = 1.1 - 1.9. Let w = g - -1.8. Let l = 21 - 21.2. Which is bigger: l or w?
w
Let t = -0.029 + 0.029. Let q = -0.56 + 0.5. Which is greater: q or t?
t
Let p = 26 + 9. Let b = p - 36. Which is greater: 1/19 or b?
1/19
Suppose 21*z - 26 = 8*z. Let t(x) = x**3 + 4*x**2 + x. Let b(r) = -5*r**3 - 21*r**2 - 6*r. Let q(l) = 2*b(l) + 11*t(l). Let d be q(z). Is 13 greater than d?
False
Let s = 150 + -198. Which is smaller: s or -50?
-50
Let m = -34 + 35. Suppose q - m = 1. Let c be ((-6)/(-54))/(q/(-6)). Which is smaller: c or 27?
c
Let w = 602 + -558. Is w equal to 45?
False
Suppose 0 = 5*k - 21*i + 25*i + 148, 0 = 2*k - 3*i + 50. Which is smaller: -11 or k?
k
Let p be (-588)/(-9) - (2 + (-5)/3). Suppose 4*u + u = -5*v + p, -2*v + 10 = 0. Which is greater: 9 or u?
9
Let f = 79 - 42. Which is bigger: 71/2 or f?
f
Suppose a = a + a. Suppose 3*w - 6 - 6 = a. Which is smaller: 3 or w?
3
Let i be (35 + -4)/((-4)/(-8)). Which is smaller: 64 or i?
i
Suppose 10*b = 5*b + 75. Let q = 14 - b. Are -1/6 and q unequal?
True
Let r(z) = z - 6 - 3*z + 0*z + 25. Let i be r(7). Which is greater: 2 or i?
i
Suppose 0*g = 4*o - 2*g + 84, -3*g = -o - 21. Let m be ((-28)/(-6) - 1)*-12. Let p be 3*(2 - m/o). Is p greater than 6?
False
Let g = -0.0625 + -237.9375. Is 2 at least as big as g?
True
Let u be (-8)/6*(-130)/(-40). Let h be ((-2 + 7)/(-1))/1. Is h less than or equal to u?
True
Let o(d) = -d - 19. Suppose 5*s - 7 = -3*c, 3*s - 9 = 3*c + 24. Let n be o(c). Which is bigger: n or 0?
0
Let i(u) = -u**2 - 4*u + 14. Let w be 56*6/(-60) - (-2)/(-5). Let t be i(w). Which is smaller: 9/7 or t?
9/7
Let i = -6.7 - 2.3. Let f = i + 9. Let k = -17 - -8. Which is smaller: f or k?
k
Let w = 407 - 414. Does w = -41/7?
False
Let g be (10/10)/((-1)/70). Let m be 2/7 - 1170/g. Let i = -4 + 20. Which is smaller: m or i?
i
Suppose 16*k = -48*k + 4*k. Let o be (4/(-6))/(2/(-6)). Let n be (-9)/(-15) + 1 - o. Which is bigger: n or k?
k
Suppose 0 = 5*g + f - 15, -g = g + 5*f - 29. Let d = g - 3. Which is smaller: 1 or d?
d
Suppose -3*x - 2*x = 10. Let y = -2 - x. Which is smaller: y or 1/9?
y
Let p(x) = -3*x**3 - x - 7 + x**3 + x**3 - 7*x**2. Let z be p(-7). Let w = 28 + -167/6. Which is smaller: z or w?
z
Let z = -4331/24 + 535/3. Let i = z + -3/8. Is 0.04 bigger than i?
True
Suppose -4*z - 35 = -9*z. Let j(l) = 9*l + 3. Let t be j(14). Let n be t/15 + (-2)/(-5). Is z < n?
True
Let r = 0.1984 - 0.0484. Which is bigger: -1/6 or r?
r
Let t(n) = 2*n + 2. Let l be t(-1). Let w be l - (-1 + 0)*1. Let d = -2/85 - -437/510. Which is bigger: d or w?
w
Let x be (-1)/4 - (-12)/24. Is -4/5 equal to x?
False
Let w(o) = 9*o**2 + 19*o + 40. Let l be w(-10). Is l <= 749?
False
Let p(j) = 6*j + 72. Let h be p(-10). Is h equal to 75/7?
False
Suppose -5*v + 4*v - 4*g = -41, -2*v = 2*g - 52. Is v at most 21?
True
Let l = -12.82 - -12.7. Let d be 1/((-14)/(-46)) + -3. Which is bigger: l or d?
d
Let t be -2 + 4 - 48/6 - -7. Is t equal to -1/4?
False
Let i be (5/15)/((-7)/3549). Is i bigger than -171?
True
Let m(y) = y**3 + 8*y**2 - 7*y + 12. Let j be m(-9). Let q(h) = -13*h**2 + h. Let k be q(1). Is k at least j?
False
Suppose -2*z + 114 + 372 = 0. Suppose -2*b - 3*t - 159 = -4*t, -3*t = -3*b - z. Is -78 <= b?
True
Let r = -328862/7 + 46851. Suppose 53*q - 49*q - 510 = 3*a, -4*a = 4*q - 524. Let y = q + r. Which is smaller: 0.02 or y?
y
Let o = -8 - -8.3. Let v = 23 + 11. Let f = -28 + v. Do o and f have different values?
True
Let t(m) = -m**2 - 20*m - 46. Let l be t(-22). Let k = l - -132. Which is greater: k or 43?
43
Let d be (3 - 4)*-3 + 57. Let c be d/28 + 14/(-7). Which is greater: c or 2/3?
2/3
Suppose -6*x - 52 = 50. Is x not equal to -16?
True
Let i = 112 - 106. Let s be i/9 + 1384/(-2184). Which is bigger: 0 or s?
s
Suppose 0 = 12*r - 16*r + 772. Is 191 > r?
False
Let v(j) = j**3 - 28*j**2 + 208*j - 24. Let n be v(14). Which is smaller: 147 or n?
n
Let q = 0.06 + 0.84. Let n = 106 + -76. Let i be 10/n*6/(-5). Is q greater than or equal to i?
True
Let x = 0.3 - 0.2. Let k = 0.1 - x. Let m = -892 + 893. Is m != k?
True
Let i(n) = n**2 - n + 1. Let o be i(2). Let t be (2*o/(-57))/1. Let u(a) = a**3 + 50*a**2 + 2*a + 101. Let q be u(-50). Is q at least as big as t?
True
Let f(m) = -2*m**3 - 36*m**2 - 27*m + 36. Let u be f(-17). Are u and -88 equal?
False
Let v = -2.17 - 8.13. Let n = -10.1 - v. Let m be 0 + -6 + 0 + 1. Which is bigger: n or m?
n
Let b = 16 - 40. Let d = b - -20. Suppose -2*q - n + 0 = -1, 0 = 2*q - 5*n + 17. Is d equal to q?
False
Let c = 1/58 + 107/522. Let q = -0.71 + -5.99. Let j = -6.2 - q. Are c and j non-equal?
True
Let v = 32428 + -20851208/643. Is v > 0?
False
Let m be (3 - 3)/(-1)*(-2)/(-2). Is 37/26 at most as big as m?
False
Suppose 3*z - 60 - 40 = -5*g, -3*z = 4*g - 77. Is 22 less than or equal to g?
True
Suppose -6*l + 96 = -60. Is 28 less than l?
False
Let n = 0.43 + -1.43. Let b be -3*(-12)/27 + 0. Which is bigger: b or n?
b
Let k = 12 - 10.2. Let q = 1.63 - k. Let l = -0.17 - q. Is l at most as big as -9/5?
False
Suppose 7*t + 1551 = -26*t. Is t at least -46?
False
Suppose 2*a - 2*v = 3*v + 16, 3*v + 2 = 5*a. Let y be (14/(-14))/(1/(-5)). Suppose -b + 6*b + y = 0. Which is smaller: a or b?
a
Let l = -3550/537 + -10/179. Let v = -7 - l. Is v > 0?
False
Suppose 16*m - 144 = 15*m. Suppose 0 = -6*d + 4*d + m. Do 72 and d have different values?
False
Let l = -36 - -51. Let m = 20/7 - 166/63. Is l at most as big as m?
False
Suppose 3*v + 1353 = -3*s, -24*s - 1818 = -20*s - 3*v. Is s <= -456?
False
Let j = -0.8 - 0.2. Let n = j - -1. Let d = -0.233 + -0.067. Is n > d?
True
Suppose 4*r + 3 = r. Let v be 0*3*r/(-3). Let k be 0 - v - 0/(-7). Which is greater: -3/5 or k?
k
Let r = 1 + 0. Let o = -9.67 - -10.27. Which is greater: o or r?
r
Let u = -54.2 + 7.2. Let i = -45 - u. Let f = 0 + -1. Which is bigger: f or i?
i
Let s be 0*((-2)/(-4))/(-17 - -16). Suppose -m + 41 = 2*o - 6*o, 3*m - 3*o - 141 = s. Which is bigger: m or 50?
50
Suppose -4*a - 29 = -0*d - 5*d, 2*a + 5*d = -7. Let x(u) = -u**3 - 6*u**2 + 3*u + 3. Let r be x(a). Let c(f) = -f**2 - f - 3. Let t be c(-4). Is r at least t?
True
Let t be (6 - (-100)/(-16)) + (-49)/(-4). Are t and 12 nonequal?
False
Let p be (-7744)/154 - (-2)/7. Does p = -50?
True
Suppose 5*b + 114 = 24. Let d = b + 23. Is d <= 3?
False
Suppose -3*g - 13 - 7 = u, -g - 3*u = 20. Which is greater: g or -17/3?
g
Let o = -1767584/9 - -196191. Let r = o + 207. Do 2 and r have the same value?
False
Let f = 26 - 24. Suppose -f*o + 48 = o. Let m = o - 16. Which is bigger: 3/5 or m?
3/5
Let s(q) = -2*q**2 - 49*q + 249. Let n be s(-29). Is n < -63?
False
Let h = -12 + 29. Let z be (16 - h)/(2/18). Which is smaller: z or -3?
z
Let l(v) = 5*v + 2. Let u be l(-4). Suppose -3*j = -j - 68. Suppose -10*a + j = -12*a. Which is smaller: u or a?
u
Suppose 2*o - 7 + 1 = -2*h, h - o - 3 = 0. Suppose 2*q - h = 17. Let u be (-2)/q - 6/(-15). Are 0 and u non-equal?
True
Suppose -3*p + 4*a + 33 = -a, 5*a = 2*p - 22. Suppose 0 = -3*t 