?
n
Let v = -84 + 92. Let o be 6/v - (1806/(-56) - -2). Is o > 350/11?
False
Let c(b) = 7*b + 37. Let n be c(5). Let j = -12 - -18. Let t be 1/j - (-4)/(n/33). Is 13/9 at most t?
True
Let q = 1181 + -1132.14. Let f = -9.56 + q. Let z = -39 + f. Is -6 smaller than z?
True
Let c = -605407/560 - -17581/16. Let i = c + -125/14. Which is greater: i or 9?
9
Suppose 0 = 396*a - 399*a + 1509. Suppose -a - 289 = -4*n + 4*s, 0 = -n - 4*s + 178. Is 194 >= n?
True
Let f be 71*4*(91/(-28))/(-13). Is 89 equal to f?
False
Let x = 0.9331 + -0.1331. Which is smaller: x or 0.272?
0.272
Let u(v) = -810*v + 3298. Let o be u(9). Is -3992 < o?
False
Let i = -1887 - -5659/3. Is 7965 equal to i?
False
Let i = 55 - 48. Let q be (-6)/2 + ((-83488)/(-8348) - i). Is 1 not equal to q?
True
Suppose 0 = 37*r - 38*r + 24. Suppose -16*a = -12*a - r. Let o be (a/(-26))/(-3)*2. Do o and 0.06 have different values?
True
Suppose 0 = k + 3, -t + 0*k = -k - 64. Suppose t = 2*y - 35. Let v = y - 145/3. Which is smaller: v or 15?
v
Let m be 3 - (12/(-42))/((-1)/7). Let k = m - -34. Let x = k + -50. Which is smaller: x or -12?
x
Let r = -26079/2 - -51239/4. Is r at least as big as 1?
False
Let x = 48/17 - 2/85. Let h(i) be the third derivative of -i**6/120 + 7*i**5/30 - i**4/24 + 8*i**3/3 - 48*i**2 + 2*i. Let c be h(14). Does c = x?
False
Let s = -445 + 204. Let c = -0.03695 + 0.03695. Which is greater: s or c?
c
Let r(c) = -292*c - 2325. Let g be r(-9). Are 4 and g equal?
False
Let g(q) = -245 + 7*q + 212 - 3*q. Let y be 0 + -1 + -1 + 11. Let b be g(y). Is b greater than 16/5?
False
Let h = -714109/54567 + 615/47. Suppose 4*t = -5*m - 8, 53*t - 52*t + 2 = 2*m. Do h and m have the same value?
False
Suppose 75*p + 15334 = 70*p - t, 4*p + 12267 = -t. Is -3069 >= p?
False
Let k = 14 + 2. Suppose 193 = 3*i + 5*a, 0 = -0*a - 3*a - 12. Suppose -16*p + 311 = i. Which is bigger: p or k?
k
Let h be 2/4 - (-2 + (-18)/(-8)). Let i be (-1198)/(-476) + (1/4 - 242/88). Which is smaller: i or h?
i
Let r = -1098631 - -7733601/7. Let a = 6188 - r. Is a < 19?
True
Let y(q) = 2*q**2 - 38*q + 2. Let h be y(19). Let w be (h - 11)/((-9)/(-9)). Which is smaller: w or -12?
-12
Suppose 54*o - 58*o + 192 = 0. Suppose -s + 4*s - 3*x = o, s - 3*x - 14 = 0. Is s > 15?
True
Let g = 3.8 - 0.88. Let c = g + -2.85. Do 19 and c have the same value?
False
Let i = -352 + 541. Let g be (4 - 0)/((-234)/i). Let l = 9 + -13. Which is smaller: l or g?
l
Let i be (-2)/6*-6*(3 - 2). Suppose 9 = 3*o - 4*o - 2*g, -i*o - 6 = g. Which is smaller: o or 4/17?
o
Let u be 16/(-8) - 1124/19. Let d = u - -22613/380. Let f = 11/60 - d. Which is greater: 3 or f?
3
Let x be (4/2)/1*7/((-14)/1196). Which is smaller: x or -1198?
-1198
Let j be 463/365 - (-924)/(-770). Is j at most as big as 0?
False
Let z = 916 + -815. Let t be (6969/z)/(3/2). Which is greater: t or -0.7?
t
Suppose 4*v = -733*p + 738*p + 2, -p = -v - 1. Which is bigger: 18 or v?
18
Let x be (-58)/44*67/(-1). Let g be (-15334)/(-164) + 20/(-4). Let q = x - g. Which is bigger: -0.07 or q?
-0.07
Let y = 192 - 201. Let g = 0.0248 - 30.1248. Let t = g + 30. Is t greater than y?
True
Let w be ((-92)/(-368))/(2/72). Suppose w*r = 23*r + 70. Which is smaller: 2 or r?
r
Let h(z) = -202*z - 76. Let o be h(7). Let s = 768 + o. Is -721 less than s?
False
Let a be (-16)/(-56) - 4/14. Suppose -o + 3*r - 265 = a, -13*r = -2*o - 16*r - 512. Are o and -260 non-equal?
True
Let w = -4.147 - 11.853. Which is bigger: 5/16 or w?
5/16
Let l(v) = 183*v - 11644. Let g be l(63). Is -44 smaller than g?
False
Suppose 4*u + 571 = -57. Let q = u - -171. Is 14 != q?
False
Let u = 36 + -29. Let s be ((-128)/56)/(2/u). Let r = -5901/5 + 1173. Which is bigger: s or r?
r
Let i(s) = 1. Let d(w) = 2*w + 7. Let a(j) = -d(j) + 6*i(j). Let f be -10*((-105)/50)/21. Let b be a(f). Which is smaller: b or -8?
-8
Let u be (2 + 11028/(-5517))*(-54)/36. Let c = u + 3689/6743. Is 0 greater than c?
False
Let o = -49 + 54. Let r be (2/6)/(o/330). Which is smaller: 21 or r?
21
Suppose -7 = 2*q + 5*j, q - 3*j = -j + 19. Suppose -q*x - 11 = 16. Let o be 0/((-3 - x) + -1). Is o < -4?
False
Let r(c) = -178*c**3 - 19*c**2 + 85*c - 16. Let u be r(4). Are u and -11371 equal?
False
Let a = 0.278 + -84.278. Let v = a + 91. Is v at least as big as 0.19?
True
Let w(v) = v**3 - 19*v**2 - 19*v - 15. Let k be w(20). Let y be (-31639)/36714 + k/6. Is 1 bigger than y?
True
Suppose 147*u + 207480 = 287*u. Is u less than 1484?
True
Let b = 651 - 669. Which is smaller: -6 or b?
b
Let w be -275 - (-7 + 7*(4 + -3)) - 2. Which is greater: w or -278?
w
Let a = 20524 - 20519.568. Is 1 at least as big as a?
False
Let c(x) = 2*x**3 - 13*x**2 - 10*x + 27. Let z be c(7). Suppose 0 = 5*y - 4*l + 7, -5*y - 2*l = -5 - z. Which is smaller: y or 6/11?
6/11
Let z be (11/(-2))/((-17)/340). Suppose 0 = 16*x - 5*x + z. Let g be 19/7 - (-30)/x. Is g != 30?
True
Let y(u) = 929*u**2 + 3*u + 6. Let k be y(-1). Which is smaller: 2794/3 or k?
2794/3
Let t = -0.29945 - 12796.70055. Let h = 12893.47 + t. Let i = 97 - h. Is i less than 0.1?
False
Suppose -15 + 0 = -5*w. Suppose 2*c = w*c + 4*v + 103, 158 = -2*c + 4*v. Let s be (-4)/c*((-4)/(-4) - 4). Which is greater: 1 or s?
1
Suppose -8*s = -10 - 14. Suppose -2*n - 3*n - 3*b = -21089, 4207 = n - s*b. Let u be n/44 - (-2)/11. Is u smaller than 96?
False
Let y = -8.8 + 6.8. Let g = -0.62 - -0.2. Let r = 0.29 + g. Which is bigger: y or r?
r
Let w be 6 + (-6)/((-9)/(-9)). Let z be 14/(-21) + (-64)/(-114). Are w and z nonequal?
True
Let u = 1.242 + -1.292. Let j = 0.1 - 0.15. Let o = j - -4.05. Which is smaller: u or o?
u
Suppose 0 = n + 4*s - 372, -246 - 1302 = -4*n - s. Which is greater: 387 or n?
n
Let a(n) = n + 4. Let x be a(-6). Suppose -2159 = 3*c + 4*r, 13*c + 2*r = 12*c - 717. Let h = c + 5055/7. Which is bigger: h or x?
x
Let b be ((-29)/3366)/(24/(-1998)*-3). Let x = b - -1/264. Is 0 less than x?
False
Let s = -14/965 - 10558/70445. Let h be (2/4*(-2)/(-1)*0)/4. Is s greater than h?
False
Let j = -133/31 - -331191/62. Is 5337 bigger than j?
False
Let v = 637 - 638. Which is smaller: v or -1/7651?
v
Suppose 117*r = 92*r. Is 1945/2 > r?
True
Let w be 279/(-155)*(-12)/(-9). Let u be (0/1)/(2 - 0 - 3). Suppose -3*d - 4*g - 26 = u, 2*g + 3 = 4*d + 1. Which is smaller: w or d?
w
Let p be (4 + 12/(-3 + 0))/1. Suppose 3*b = -5*u + 105, -3*b + u + 104 + 1 = p. Which is smaller: b or -3?
-3
Let l = 3830 + -3795. Is -62 at least l?
False
Let u be (-477)/(-53) - 907/(-7). Is u < 140?
True
Let z be (-3 - (-334)/110)*(11 - 101). Let m = 5 - 7. Which is bigger: m or z?
m
Let v = 752788/147 + -5121. Let n be 26/14*(-26)/924. Let u = n + v. Is u bigger than -1?
True
Suppose -43*c + 22169 = 5141. Suppose -72*y = -78*y - c. Which is bigger: y or -64?
-64
Suppose 63*n = 27193 - 2749. Which is smaller: 384 or n?
384
Suppose 0 = -31673*q + 31674*q + 476. Is q less than -474?
True
Let t = 3.63 - -6.57. Is t less than 3/11?
False
Let q be (48/12)/(8/2). Let o = 224 - 249.7. Which is smaller: o or q?
o
Let d = -88 + -33. Let g be 99/d - 6/33. Is 1/711 >= g?
True
Suppose -452 = -d - 660. Which is smaller: -206 or d?
d
Let z = -0.167 + -35.533. Let c = 36.23 + z. Which is smaller: 0.1 or c?
0.1
Let z be (-8)/(-20)*-179 - -8. Let u = z + 639/10. Let l = 0.06 + -0.66. Which is bigger: l or u?
u
Suppose 5*o - g = 2*g - 30, -o = 2*g - 7. Let j be (3696/(-440))/(13/5). Which is smaller: o or j?
j
Let j = 65076/5 - 13370. Let a = j + 355. Let x(o) = -o**3 + 4*o**2 - 2*o - 4. Let u be x(3). Is u at most a?
True
Suppose 27*m + 364 = 22*m - z, -5*z = 5*m + 360. Let f(a) = 40*a + 2. Let o be f(2). Let y = m + o. Is 9 <= y?
True
Let l(h) = -24*h**3 - 7*h**2 - 4*h + 9. Let z be l(3). Which is greater: z or -4?
-4
Let a = 12387/55 + -1232/5. Which is smaller: -22 or a?
-22
Let w = 362 - 398. Let i be 18/w*(1202/401 + -3). Which is smaller: i or 0?
0
Let i be -32 + 380/10 + 4338/(-713). Is i at least as big as -1?
True
Let v = -1744 - -1584. Which is smaller: v or -3?
v
Let g(o) = 6*o - 28. Let m be g(5). Suppose -2*u + 6 = 0, m*u = b + 146 - 1020. Suppose -2*f + 13*f = b. Which is greater: 79 or f?
f
Let k = -37 + 38. Let o = -338 - -40896/121. Is o greater than k?
False
Suppose 70 = 5*f - 2*r, -3*f + 11 = 4*r + r. Suppose f*c - 2 = 34. Which is 