: x or o?
x
Let h be (25*2/(-2))/((-2242)/14). Let a = h + -3/59. Is a < 0?
False
Let s be 6/(-18) + 296/6. Let t = s + -345/7. Is t at most 0.07?
True
Let u = 299.04 + -299. Let l(b) = 4*b**3 + b**2 - 1. Let t be l(1). Let y = 2 - t. Is y equal to u?
False
Let n be (-6)/30*1 - 16/(-5). Suppose 0 = -n*o - 2*g + 4, 2*g = -g + 6. Which is greater: 5/9 or o?
5/9
Let t(k) = 7*k**2 - 47*k - 1. Let n be t(8). Is n at least as big as 69?
True
Suppose 0 = 4*o - 8 - 12. Suppose -2*a + 111 = -o*c, 5*a - 364 = -3*c - 102. Let i = a + -267/5. Is i less than 0?
True
Let z = 98.8 + -110. Let k = -12 - z. Let w = k + -0.2. Which is greater: w or -2/3?
-2/3
Let r(t) = 2*t**2 + 13. Let g(i) = -i**2 - i - 12. Let q(w) = 3*g(w) + 2*r(w). Let u be q(5). Let x = -2.5 + 2.1. Does x = u?
False
Suppose -5*t + 5*c = 10, -4*t = -t + 5*c - 2. Is -0.147 at most as big as t?
False
Let k = -22226.14 + 22418. Let i = -190 + k. Let v = i + -1.9. Is v greater than or equal to -2/5?
True
Let x be 6/(-15) + 24/10. Let k be (-2*x/4)/2. Let q be (-104)/20 + 30/6. Which is smaller: k or q?
k
Let w = 263 - 262.839. Let o = -0.001 + w. Let p = -0.08 - -0.08. Is o equal to p?
False
Let p = 9 - 19. Let d = -5 - p. Is d != 8?
True
Suppose 0 = p + p + 8. Let h = -1657/395 - 2/395. Do h and p have different values?
True
Let z = 27 - -14. Which is greater: z or 42?
42
Let g = -100 - -98. Let t be (-7)/2*(-15)/(-35). Which is smaller: t or g?
g
Let s(a) = -a**2 + a + 9. Let o be (0/8)/(1 + 0). Let b be s(o). Suppose 0 = 2*x - b*x + 35. Which is smaller: 6 or x?
x
Let x be -2*13/2 + -3 + 1. Let j = 13 + x. Is 1 > j?
True
Suppose 3*l = l - 10. Let i = -2 - l. Let c(z) = -2*z + 11. Let d be c(6). Which is smaller: d or i?
d
Suppose -3094 = -21*c + 2408. Is 261 >= c?
False
Let x be (-27)/(-4) + (-8)/(-32). Let r = -2 - -4. Suppose 0 = -3*k - 5*b + 51, 3*b - r = x. Which is smaller: k or 11?
11
Let m = 1.29 - 0.09. Let i be 36/(-273) - (-14)/(-91) - 36/(-28). Which is smaller: i or m?
i
Let a be 1/2*-2*-1. Let x = a - 1. Let w be (-2)/(-1066)*(-884)/(-68). Which is smaller: x or w?
x
Let z be (-7)/(161/(-8))*(-6)/(-12). Which is bigger: z or 1?
1
Let o = 0.0024 - -1.9976. Are 169 and o unequal?
True
Suppose -2*x - 632 = -3*m - 4*x, -4*m + 4*x = -836. Is 210 greater than or equal to m?
True
Let o(c) = -9*c - 95. Let r be o(-11). Let u = 38 - 31. Is r not equal to u?
True
Let t = -3.51 + 0.61. Let q = t - -3. Let n = -0.025 - -1.225. Which is greater: q or n?
n
Let r(c) = -2*c**3 + 11*c**2 + 13*c - 26. Let b be r(8). Let a = 77115415/319392 + 1/35488. Let s = a + b. Which is bigger: -2 or s?
s
Suppose 0 = 2*m - 15 + 9. Let n(w) = -6*w - 8*w**2 + w + 5*w - 4 + w**m. Let y be n(8). Is -6 <= y?
True
Let h be 6 - (24 + -12 + -5). Let p(a) = -12*a. Let w be p(1). Let o be (-8)/(-6)*2/w. Which is smaller: o or h?
h
Let c = 0.0656 - -4.4644. Let q = c - -0.97. Which is greater: 0 or q?
q
Let o = 2014/45 + -410/9. Let g = -16/65 - 2/13. Is o less than g?
True
Let a be (-6)/39 + (-456687)/(-741). Let t = -616 + a. Which is smaller: -1 or t?
-1
Let k = 4000585 - 1856272603/464. Let s = -39/16 - k. Which is smaller: -1 or s?
-1
Let u = -87 + 96. Suppose 3*i = u*i - 174. Is 29 <= i?
True
Let c = -36/19 - -40390/21337. Is c != 0?
True
Let h = 0.067 - 0.066. Let a = -57.999 - h. Which is greater: 0 or a?
0
Let i be -3 - (-88)/(-36) - -5. Let s(b) be the second derivative of b**5/20 + 7*b**4/12 + b**3 + b**2/2 + b. Let p be s(-6). Which is smaller: i or p?
i
Suppose 877 + 323 = 2*g - 2*z, -4*g + 2400 = -z. Is g smaller than 600?
False
Let n be 1/2 + 21/6. Suppose n*k + 2*c + 2 = 0, 0*k - 4*c = -k + 13. Let s be (-3)/(-690)*-8*25/5. Which is smaller: k or s?
s
Let r be (-71)/8 - (-6)/(-48). Let q be (12 - -2)*r/72. Which is bigger: -2 or q?
q
Let p(z) = -z**3 + 4*z**2 - 2*z + 3. Let v be p(2). Let y be v/(14/(-75)) + -2 + 4. Is -36 less than y?
True
Let v = -0.07 - -0.1. Let h = v + -0.13. Let m = -223 + 222.7. Which is greater: h or m?
h
Suppose 219*y - 257*y = -570. Is y equal to -35?
False
Let g(p) = 3*p - 3. Let k be g(33). Let z be -1*5 + 416/k. Is -1 at most as big as z?
True
Let i = -257.9 + 246. Let g = 12 + i. Let m = 1.7 - 0. Does g = m?
False
Let s(n) = -17*n - 332. Let f be s(-9). Are -178 and f non-equal?
True
Suppose 5*p + 1068 = -4*z, -z - 6*p + 5*p = 267. Is z greater than -268?
True
Suppose -3*l - l = -3*z - 12, -5*l - 5*z + 50 = 0. Let c be (-102)/(-17)*20/l. Suppose 6*g + 5*p + c = g, 3*g = -5*p - 22. Is -1 at most g?
True
Let y = -89 + 361/4. Let m be ((-91)/(-28))/(3/12). Suppose 5*f - 13 = -4*c + 6, -4*c - 3*f + m = 0. Which is smaller: c or y?
c
Suppose 2*u + 5 + 1 = 0, 3*h - 153 = -3*u. Let w(x) = 3*x. Let b be w(18). Is b at least as big as h?
True
Let b = -380 + 3428/9. Is b not equal to 1?
True
Suppose 175*m - 369 = 134*m. Which is smaller: 122/13 or m?
m
Suppose 1720 = 29*o + 299. Which is smaller: 52 or o?
o
Suppose 2*g + 34 = -0*g. Let t(p) = 20*p + 5. Let o be t(2). Suppose -o - 6 = 3*w - b, -b = w + 17. Is w != g?
False
Suppose 4*v + 3 + 12 = 3*b, -8 = 4*b + 4*v. Are 3/59 and b unequal?
True
Let d = -1.98 + 0.18. Let j = d - -2.8. Is j smaller than 1?
False
Let l be 4 - (-11)/((-44)/(-96)). Which is smaller: 27 or l?
27
Suppose 0 = -5*z - 3*t - t - 137, 4*t = -z - 37. Let y be 16/(-10) + (-15)/z. Are 1/10 and y equal?
False
Let h be 2/478*((-4921)/49 + -3). Let u = 1/239 + h. Is 1 not equal to u?
True
Let q = -13 - -23. Let s be 25/q*(-16)/10. Let m be 22/7 - (s + 7). Do 0 and m have the same value?
False
Suppose -3*p - 5 = -b, 0 = -b - 2*b - 3. Let x = 11901331 + -16031090606/1347. Let i = 2/449 - x. Which is smaller: i or p?
p
Let d be (38 - 101)*8/36*-3. Which is smaller: d or 7?
7
Let j = -248.072 - -248. Which is smaller: -3 or j?
-3
Let d = 0.63 - 0.7. Let x = d - -0.12. Let m = 0.95 + x. Which is smaller: m or 0.05?
0.05
Let m(y) = y**3 + 2*y**2 + 2*y. Let t be (-1)/(-1)*(3 + (-1 - 2)). Let c be m(t). Which is greater: -1/23 or c?
c
Suppose r + 2*x = -14, 0 = -0*r - 4*r - 3*x - 71. Let h be 4/r - (-87)/585. Suppose 4*t = 4*u - 16, -5*t + 3*t - 11 = u. Is h <= u?
False
Let f be -4 - (17525/876)/(-5). Is f < 0?
False
Let o = 25 - 54. Let y(f) = -31*f**2 + 2*f - 1. Let w be y(1). Which is smaller: o or w?
w
Let q = 154 + -207.3. Let w = q + 57. Which is smaller: w or -0.1?
-0.1
Let z = -1.3 - -3.3. Let h = 5.9 - -0.1. Which is greater: h or z?
h
Let y(t) = t**2 - 17*t + 55. Let w be y(12). Is 51 not equal to w?
True
Let d be -3 - (1 - 9) - (-248007)/(-49533). Which is smaller: d or 1?
d
Suppose -4*s = 3*y - 49, 0 = -3*y + 6*y - 4*s - 41. Let m be ((-32)/(-6))/((-1)/(-3)). Is y greater than m?
False
Suppose 0 = -136*w + 139*w. Which is smaller: w or -1/98?
-1/98
Suppose 26*l = 17*l - 9. Which is smaller: l or 6?
l
Let q be -1*(-3)/4*-16. Let h be (-138)/q*3/2. Let j = h - 17. Which is greater: 6 or j?
6
Suppose 322 = 13*n + 907. Which is smaller: n or -33?
n
Let s = 1433 + -921. Do -0.1 and s have different values?
True
Let i = 3 + -2.9. Let h = -0.05 + -0.21. Let x = -5.26 - h. Is i at least x?
True
Let f = -266 + 265. Which is smaller: -38/7 or f?
-38/7
Let o = 0.09 + -0.09. Which is smaller: o or -0.1?
-0.1
Suppose 4*u - 6*u + 5*c = -13, 2*c = -10. Let x = u + 6. Let m(i) = i. Let p be m(x). Which is smaller: p or -1/3?
-1/3
Let w(u) be the second derivative of u**3/6 + u**2/2 - 4*u. Let o be w(8). Let c(s) = 3*s - 1. Let m be c(3). Is m <= o?
True
Let y = -9189 - -1121065/122. Which is bigger: 0 or y?
y
Suppose 0 = 30*y + 143 - 23. Do y and -6 have the same value?
False
Let y = 0.611 - 0.711. Is 101/10 <= y?
False
Let i(a) = 2*a. Let v be i(-1). Let k(d) = d**3 - 3*d**2 - d + 4. Let c be k(3). Which is greater: c or v?
c
Let s = -2/4627 + 74066/78659. Which is smaller: 0 or s?
0
Let t = -39 - 73. Let l = 114 + t. Is -1/6 greater than l?
False
Let r be (144/10)/(0 + (-6)/(-45)). Is r bigger than 108?
False
Let k be (-5)/6 - 5/(-1 + -9). Let s = -7 - 6. Let h = s + 5. Is h < k?
True
Let a be (-13)/23*(3 - (-77)/(-22)). Which is smaller: 0 or a?
0
Let a(c) = 22*c + 9. Let s be a(-10). Which is bigger: s or -213?
s
Let g(n) = n**3 + 9*n**2 + 17*n - 15. Let t be g(-5). Which is greater: -2/61 or t?
t
Suppose 3*n + 1156 = -4*h, 5*h = -7*n - 1115 - 330. Which is smaller: -291