e
Let p = -3 + 97. Is p greater than or equal to 95?
False
Let v = -18.83 - 0.17. Let x = v + 6. Which is greater: x or 0?
0
Suppose -14*w = -9*w + 45. Let a be (2/6)/(w/(-27)). Is 2/39 != a?
True
Let j = -40 + 330. Is 289 <= j?
True
Let k = 8 - 23. Let l = k + 14.93. Let m = -7.9 - -8. Is l greater than m?
False
Let f = -5 - -7. Suppose f*p = 6*p - 3*p. Let x be 0 + (-1)/(-13)*-1. Which is bigger: x or p?
p
Suppose 4*a + 60 = 5*h - 65, -2*h = 3*a + 111. Let r = -78 - a. Is -43 equal to r?
True
Let y = -50 + 54. Let d be (2/y)/((-5)/2). Let z(a) = a**3 - 3*a**2 + a - 3. Let k be z(3). Is k at least d?
True
Let d = -375 - -359. Which is smaller: d or -15?
d
Let o(d) = 13 - 6*d + 0 - 2 + 5. Let a be o(11). Is -51 > a?
False
Let l(d) = 13*d + 3. Let g be l(-3). Let i = g - -31. Is i greater than or equal to 1?
False
Let t(j) = -j**3 + 5*j**2 - 4*j. Let i be t(4). Let d(c) = -393*c**3 + 5*c**2 + 9*c + 4. Let m be d(-2). Let r be 8/2 - m/795. Is i at most as big as r?
True
Let c be 0/2 - (23/(-7) - -3). Let g = -84 + 80.3. Is g greater than or equal to c?
False
Let p be ((-6)/9)/((-4)/78). Let u be -3 - (12/(-3) - -12). Let m = u + p. Is m greater than 2?
False
Suppose -9*t - 31 = -40*t. Which is smaller: 26/11 or t?
t
Let f = 11.7 + -15.7. Suppose -1 - 4 = y. Let a be 3/y - (-2)/2. Are f and a nonequal?
True
Suppose 9*v + 16 = 97. Suppose -10*w + 11*w = -v. Which is greater: w or -10?
w
Let j = -2319 + -96. Let f be (-4)/14 + (-760)/j. Which is smaller: 1 or f?
f
Let j = -5.7 + 5.6. Is 20/13 at least j?
True
Suppose 5*d - 128 - 230 = 3*i, -5*d - 4*i + 351 = 0. Which is greater: d or 283/4?
d
Let b = 3.812 - -0.088. Let u = -4.19 + b. Is 0.1 smaller than u?
False
Let s = -1113 + 1098. Which is smaller: s or -22?
-22
Let z be 511/(-105) + 6/(-45). Let d = -13 + z. Let o be -3 - ((-14)/d - 4). Is -0.08 bigger than o?
False
Suppose 28 + 17 = -3*y. Let g be (-14)/(-8) + (-5)/(-20). Suppose -g*d + 65 = -7*d. Is d smaller than y?
False
Let g(w) = 2*w + 27. Let n be g(-8). Let l be ((-16)/(-28))/(n/(-7) - -3). Let k be 8/18 - (2 - 2). Which is greater: l or k?
k
Let j be (1/((-2)/8) - -4)*-1. Which is bigger: 1/26 or j?
1/26
Let b = -220 + 196. Which is greater: b or 2?
2
Let l = -4.426 - -0.106. Let s = l - 0.08. Which is bigger: s or 0.1?
0.1
Let f = -63 - -28. Let k = f - -34. Which is smaller: k or 1?
k
Suppose -7*h = -3*h - 144. Let j be (-28)/(-6) - 24/h. Do 34/7 and j have the same value?
False
Let s = -38 - -54. Let q be s/(-32)*(-9)/2. Which is smaller: q or 3?
q
Let x(i) = -11*i**2 + i. Let z be x(1). Let o(r) = -r**2 + 8*r + 12. Let p be (6/(-9))/((-5)/75). Let t be o(p). Is t at least as big as z?
True
Suppose 4755 = -6*o - 1617. Let x be 1 + 3 + (o/120 - -5). Which is greater: x or 0?
x
Let h = -526 + 523. Which is smaller: h or 5/6?
h
Let o be -19 + (10*2/(-4) - -9). Do o and -10 have the same value?
False
Suppose 1884 = -3*n + 6*n. Let a be (n/(-32) + -3)*2. Let t = -45 - a. Which is greater: 6 or t?
6
Let l = 2778 + -136116/49. Is l at least as big as 1?
False
Let b(f) = 15*f**3 + 3*f - 2*f - 1 + f**2 + 2. Let c be b(-1). Let p = c + 9. Are -4 and p non-equal?
True
Let m = 0.148 - -59.852. Suppose 5*u = 5*g + 10, -2*g - 2*g + 2*u = 6. Are m and g equal?
False
Let k(d) = 33*d**2 + 16*d + 7. Let v be k(-2). Is 114 <= v?
False
Let s(c) = -c + 2. Suppose -2*k + 10 = 0, 5*g - 3*k + k = -5. Let b be (1 + -9)*g - -2. Let y be s(b). Which is greater: y or 7?
y
Let t = 15 - 11. Suppose -3*m - 6 = -5*m. Suppose -6 = -3*r + m. Are r and t unequal?
True
Let x = 633 + -653. Which is bigger: -1/13 or x?
-1/13
Let r(k) = -13*k - 4 + 27*k - 15*k. Let d be r(-1). Which is smaller: 1 or d?
d
Let n = 326 + -310. Is -2 smaller than n?
True
Let v(d) = 2*d**2 + 6*d + 2 - 11 + 3. Let h be v(-5). Which is smaller: 13 or h?
13
Let b be (-1)/((3 - (-17)/(-6))/(-3)). Let d(o) = 6*o - 7. Let r be d(4). Is r less than b?
True
Suppose 44*p + 40 = 52*p. Let r be 10/(-4)*(-4)/5. Suppose 9 = -p*v + 3*s + r, 0 = s - 4. Which is bigger: 3 or v?
3
Let f be ((-6)/8)/(-21 - -3). Which is greater: f or 1?
1
Let d be (24/(-64))/(6/(-4)). Let s = d - 27/44. Are -1 and s non-equal?
True
Let x = 0.447 - -9.493. Let f = 0.06 + x. Let w = f + -13. Which is smaller: w or -2/19?
w
Let i(j) = -j**2 - 12*j + 82. Let m be i(5). Let z = 2 - 1. Let g be 21/(-6) + -1 + z. Are m and g equal?
False
Let t(b) = 2*b - 6. Let l be t(5). Let p be 3/3 + l - 2. Let h(v) = v**2 - 5*v - 13. Let q be h(7). Which is smaller: q or p?
q
Let w = -20.2 + 18. Let q = -2.01623 - -0.01623. Which is greater: w or q?
q
Let x = 81 + -55. Suppose -5*h = 100 + 25. Let k = x + h. Which is smaller: -1/14 or k?
-1/14
Let k(y) = 45*y - 89. Let n be k(2). Which is greater: -2/131 or n?
n
Let s(x) = -x**3 + 25*x**2 - 69*x - 16. Let b be s(22). Is b greater than -82?
False
Let t(n) = n**2 + 27*n + 59. Let b be t(-24). Let u = b + 297/23. Is u != 0?
True
Let c = 54091/468 - 1048/9. Let j = -389/572 + c. Is j at most -2?
False
Suppose -3*o - 3*t + 21 = 0, -5*t - 2 = o - t. Let i be (6/4)/(o/120). Let n be 2/4 + i/(-28). Are -2 and n equal?
False
Let g be 13 - ((-10)/(-20))/((-3)/(-114)). Let j = -21 - -31. Let p = j - 16. Is g < p?
False
Let i be ((-246)/17876)/(1*(-1)/2). Is i >= -1?
True
Let v be (-14)/((-392)/(-12530))*(-12)/(-15). Which is greater: v or -3?
-3
Suppose -3*p - 34 = 38. Which is smaller: -22 or p?
p
Let m = -44134/27 + 1634. Let f = m + -2/27. Let r = -0.9 - -1. Is r at least f?
True
Suppose 2*r = 4*z - 134, -3*r - 4*z + 57 = -4*r. Is r <= -77?
True
Let g(r) = -2*r**2 - 11*r + 45. Let v(q) = 3*q**2 + 16*q - 68. Let s(k) = -8*g(k) - 5*v(k). Let c be s(-10). Which is smaller: c or -2/21?
-2/21
Let y be 63/(-2) - (-12)/8. Let s be 12/5 - 18/y. Let w = -16 + s. Is -14 at least w?
False
Suppose 4 = u - 4*u + 5*v, 0 = 5*u - 2*v - 6. Let y be -6*((-10)/(-45))/(u/6). Which is bigger: y or 2?
2
Let s be 2/2480*1098 - 2/(-8). Let u = 35/31 - s. Which is smaller: 0 or u?
u
Let b be (16 - (1 + 0))*(-4)/(-12). Suppose 4*g = 3*u + 6*g + 318, -2*g = -b*u - 530. Does -106 = u?
True
Let n be (-4 - (-129)/36)*(-2)/(-55). Are n and 1 non-equal?
True
Let o = -257 + 1289/5. Let c = -61.2 - -61. Is o > c?
True
Suppose -5*v = 2*r + 1, 3 = -3*r - 3*v + 6. Let n be ((-60)/35)/(r/(-7)). Suppose -2*s = n*s + 8. Which is bigger: s or -2/95?
-2/95
Let o be 8/868*2/4. Let f = o - 443/1953. Which is smaller: 0 or f?
f
Let m(t) = t**3 + 2*t**2 + 3. Let h be m(0). Let x be h/5*((-78)/(-18) + -5). Which is bigger: x or -10.7?
x
Suppose 38 = 9*h - 8*h. Let g = h + -113/3. Let i = 0.2 - 5.2. Is i < g?
True
Suppose p - 4*p = -12. Suppose 0 = 2*y + 7 + 1, -4*z = -3*y - 32. Suppose 3*l - 7 = z. Is l < p?
False
Let b be 15/6*-2*-15. Does b = -2?
False
Suppose -3*l = 2*l + 25. Let p be -2 - l/((-15)/(-36)). Let t = -6 + p. Which is greater: t or 3?
t
Let d(y) = -2*y + 23. Let q be d(10). Suppose -q*z + 4*m = -0*z - 7, 2*m = -4*z + 24. Is z greater than or equal to 11/2?
False
Suppose -5*g = 4*t - 26, 5*g + 0*t = 4*t - 6. Suppose -4*c + g = -2*c. Which is bigger: c or -1/16?
c
Let h = -0.3 - 0.7. Suppose 211*n + 17 = 215*n - 3. Which is greater: n or h?
n
Let s(q) = -20*q - 60. Let f(b) = 7*b + 20. Let w(u) = 8*f(u) + 3*s(u). Let z be w(-6). Is z > 5?
False
Suppose 3*j = 74 - 56. Suppose c = j*c + 10. Do c and -10/9 have the same value?
False
Let m = -437 + 433. Which is bigger: m or -64?
m
Suppose 5*g = 5*p, -p - g + 0 = -2. Which is smaller: p or -1/299?
-1/299
Let z = -0.064 + 23.864. Let v = z - 38. Let a = v + 14. Is a equal to -3?
False
Suppose 0 = -4*r + 5 + 11. Suppose -3*o - r = -4*o. Is o at most as big as 4?
True
Suppose 10 = -3*h + i, -4*h = -9*h + 3*i - 18. Let b be (-16)/(-5)*(-20)/(-2). Let z = 33 - b. Which is bigger: z or h?
z
Suppose 0 = 191*j - 178*j + 429. Does j = -7?
False
Let x = -212 - -215. Is x >= 3.98?
False
Let j = 10.01 + -6.01. Is j smaller than -75?
False
Let r = 79 - 93. Which is bigger: -12 or r?
-12
Let p = -1680213/245 - -6858. Which is greater: 1 or p?
1
Let g = 874 + -617. Which is greater: 1 or g?
g
Let s(y) = y**2 + 7*y - 168. Let v be s(-17). Which is greater: 45/28 or v?
v
Suppose 3*x - 7*x = 72. Let d = 4 - x. Let q = d - 18. Which is smaller: 6 or q?
q
Suppose -4*z = 4*p - 0 + 8, -3*p = 4*z + 8. Let h