 634 - 632. Which is smaller: j or -66?
-66
Let t be (-35)/(-10)*2/1. Suppose 3*u - t = -31. Let v be u/(-18) - (-4)/18. Is 2/7 at most as big as v?
True
Let h be (-20204)/1560 + (-5 - -2). Let w = 159/10 + h. Is w at least as big as 2?
False
Let k = 1.7 + 0.3. Let m = -24 - k. Let w = -25 - m. Is 12 > w?
True
Let y = 1.32 - 1.5. Suppose -3*h = -3*f + 21, -6 + 8 = -4*f - 2*h. Which is smaller: f or y?
y
Let o = -635 + 1248. Which is smaller: 614 or o?
o
Let p be (3/(-66)*3)/((-6)/(-8)). Let w = -0.06 + 3.06. Which is smaller: w or p?
p
Suppose i + 1 = 7. Let v = i - -16. Let b be 85/(-165) - (-4)/v. Which is greater: b or -1?
b
Let n = -17 - -17.44. Let k = n + 0.06. Let i = -1.5 + k. Is -1 at most as big as i?
True
Suppose q = -3*t - 2*t - 47, 0 = -3*q - 5*t - 131. Let m be 24/14 + (6 - (-240)/q). Which is smaller: m or 5/3?
5/3
Let w = 207.04 - 195. Let r = w - 0.04. Is -2/13 smaller than r?
True
Let d = 521.47 - 522. Which is greater: 1/6 or d?
1/6
Suppose -o + 11 = -0*o. Let m = -1199 + 1211. Are o and m equal?
False
Let q = -142/605 - -12/55. Which is smaller: q or 1?
q
Suppose 0 = -c + 5*s, 3*c - 6*c = -4*s - 33. Which is smaller: c or -5?
-5
Let i = -37671/886 - -8/443. Let j = i - -43. Is j > 0?
True
Let h = 108 + -60. Let d(a) = -2*a**2 - 2*a + 8. Let m be d(-4). Let s be (-18)/m + (-6)/h. Which is greater: 0 or s?
s
Let u be 3 + -5 + (-10)/(-2). Let x be 3 - u - 364/(-1276). Let c = x - 3/29. Which is bigger: -1 or c?
c
Let r(w) = -4*w - 87. Let j be r(0). Let z be -3 + j/(-27) - (-6)/(-27). Is z not equal to 3/35?
True
Let b(y) = y**3 + 6*y**2 + 4*y - 3. Let c = -8 + 3. Let t be b(c). Which is bigger: t or 3?
3
Let d(i) = 2*i**2 - i. Let u be d(-3). Let b be 801/(-12) - -1*(-9)/(-12). Let r be (1 - (-10)/6)*b/(-8). Which is greater: u or r?
r
Let o = 18 + -17.7. Let r = o - 0.8. Which is smaller: 0.2 or r?
r
Let q = -46.8 - -0.9. Let p = q - -46. Suppose -4 + 59 = 5*v. Which is greater: p or v?
v
Let q = -2.43 + 0.13. Which is smaller: q or 8/5?
q
Let p = -46 + 25. Let q = 21.11 + p. Do 0.1 and q have the same value?
False
Let w be (8/18)/((-92)/(-29394)). Which is greater: w or 144?
144
Suppose -19 = -7*j + 6*j. Suppose -2*n - 59 = -j. Let l be (9/n)/(6/32). Which is smaller: -3 or l?
-3
Let c be (3 - 2 - 2)*-3. Let f be c/(-5)*8/(-6). Let p(h) = -h**2 + h + 20. Let r be p(5). Is f bigger than r?
True
Let b be ((-3)/4)/((-12)/26). Let i be 2/(-24) - (-198)/(-1188). Which is smaller: i or b?
i
Let k = 18 + -13. Let t be (-30)/(-4)*(-2)/(-3). Suppose -5 = t*u - 5*v, k*u + 8 = -4*v - 6. Is -2 smaller than u?
False
Suppose -11*i + 13*i = 0. Suppose 3*k - 2 - 7 = i. Let f(s) = -s**3 + s + 1. Let d be f(k). Is d > -23?
False
Let s be 0/2 + 4 + -12. Let t be 13/2 + (-4)/s. Suppose 4*c + 3*g = -9, -g + 6 + t = -4*c. Which is smaller: -2 or c?
c
Let f = 53 - 55.02. Let j = f - -2. Let q = 1.98 - j. Is q smaller than 0?
False
Let d = 650.4 + -652. Which is greater: d or 0?
0
Let q be (-9)/(-81) + (-2)/18. Do q and 3/133 have different values?
True
Let s = -142.3 + 175. Let g = s + -31. Let h = g - 2. Do h and -1/3 have the same value?
False
Suppose -3*w - 4*v = -18, -4*v + 30 = 5*w - 8. Let t = w - 12. Which is smaller: 8 or t?
t
Let j be (-164)/38 + 9/((-27)/(-12)). Is -1 bigger than j?
False
Let r(b) = -5*b**2 - 2*b - 1. Let d be ((-6)/(-12))/((-2)/36). Let g = d - -8. Let n be r(g). Which is bigger: n or -7/2?
-7/2
Let q = 38 - 35. Which is smaller: 69 or q?
q
Let j = 14 - 57/4. Let m(d) = -d**2 - 6*d + 17. Let w be m(-8). Suppose -w = -2*x + 1. Is x greater than or equal to j?
True
Suppose -5*t - 4*y + 85128 = 0, 4*t - 57194 - 10908 = -3*y. Let v be (-2)/(-5) - t/(-140). Is v greater than 121?
True
Suppose -19 = -0*c - c. Suppose 6 = 5*j - 74. Let i = j - c. Is i bigger than -3?
False
Let g(z) = -z**2 + 4. Let c be g(-3). Let d be 25/(-15)*2/c. Are -3/5 and d unequal?
True
Suppose -r - 68 = -i, 2*r - 3*r = 5*i - 358. Suppose 2*b - i = -5*l, 0*b = -3*b + 2*l + 59. Which is smaller: b or 22?
22
Suppose 0 = -u + 4 - 1. Suppose 43 = u*g - 20. Let r be (-2)/(-42) + 6/g. Does 1 = r?
False
Let j(w) be the first derivative of -w**4/4 - 5*w**3/3 - 4*w**2 - 35*w + 23. Let d be j(-5). Let o = -478/21 - -185/7. Which is smaller: d or o?
o
Let u(s) = s + 0 - 2 + 3 - 6. Let x be u(6). Let w be (104/(-36) + 3)/(-1). Is x >= w?
True
Let t be (0 - 0) + -8 - -3. Let q(s) = -s**2 - 8*s - 9. Let z be q(t). Suppose 0 = -4*n + 2*n - z. Are -6 and n non-equal?
True
Let u(h) = h**3 + 11*h**2 - 10*h + 16. Let k be u(-12). Let y be (-10)/24 - (-2)/k. Is 0 at least y?
True
Let v(l) = -2*l**2 + 15*l + 2. Let q be v(13). Let u be (q/(-9))/((-21)/(-27)). Let g = -20 + u. Which is greater: g or -1/4?
g
Let r = 4.4 + -8. Let n = -4 - r. Let x = n + -6.6. Which is smaller: x or -0.1?
x
Let g(k) = 12*k**2 + 1. Let j be g(1). Suppose -8 + 5 = -q. Suppose -55 = -4*w + 2*v - 5*v, 5*w + q*v - 68 = 0. Is j equal to w?
True
Let t be 12/16*4 + 2. Suppose -u - 4*u - t*s = 10, 2 = -2*s. Do -9 and u have different values?
True
Let l = -1833/14 - -261/2. Let b be 14/4 + (-2)/(-4). Suppose -7 = -2*p + 3*h, -b*p - 4 - 15 = 5*h. Is p != l?
True
Let w be (-27)/729*(-29912)/2. Let d = w + -554. Is 0 bigger than d?
True
Let p = 960 - 22074/23. Is p equal to -1?
False
Let b = 6 - 11. Let r = b + -7. Let g = -11 - r. Is -1/3 > g?
False
Let w be 0/(4 - 4 - 1). Let t be w - 9/(-12) - 1/4. Which is greater: -37 or t?
t
Let k be ((-5)/6*2913/60)/11. Let b = 1/88 + k. Is b > -5?
True
Let s = -34 + 39. Is 6 bigger than s?
True
Let d be (2/2)/((-1)/(-9)). Let t(b) = -b**3 + 4*b**2 + 4*b + 4. Let j be t(5). Let f be (6/(-2))/(j/3). Is f not equal to d?
False
Let j be ((-18)/27)/((-2)/3). Let h = 35 + -34.94. Let n = h - -27.94. Which is greater: j or n?
n
Let k = -0.845 - -0.695. Which is smaller: -7 or k?
-7
Let j = 147 - 134.7. Let w = 43.3 - j. Which is bigger: w or -1?
w
Let a = -2/251 + -994/1255. Suppose -2*k + 4*m + 13 = 5*m, -4*k + 6 = -2*m. Suppose k*y + 0*y = -c, -24 = 4*y - 5*c. Which is smaller: y or a?
y
Let t = -109742222990 - -83952813782122/765. Let c = t + -86234/5. Let w = c + -14/17. Is w greater than or equal to -1?
True
Let i = 27 - 25. Suppose -h - i*h = 9, 20 = 4*v + 4*h. Let m = -24 + v. Which is smaller: -14 or m?
m
Suppose -2*u - 13*u = 60. Is -198/37 != u?
True
Let u = -1703041/13080 + 5/2616. Let y = 131 + u. Is -2 greater than or equal to y?
False
Let z = -6.79 + 4.79. Is z greater than -26/27?
False
Let g = -23679/80 + 296. Suppose -6 = -6*h - 0*h. Which is smaller: h or g?
g
Suppose -3*o + 12*o - 63 = 0. Suppose o*m - m = -180. Are -57/2 and m non-equal?
True
Let c = 139 - 153. Let v be 150/126*12 - (-4)/c. Let y = 27 - 12. Which is smaller: y or v?
v
Suppose 0 = 56*l - 49*l - 126. Is l less than or equal to -13?
False
Suppose 1200 = 9*k + 7*k. Let b = k + -72. Which is smaller: b or 13/4?
b
Let x(t) = 2*t + 29. Let n be x(-24). Is n bigger than -92/5?
False
Let z be (99/(-54) - -2)*222. Which is smaller: 4 or z?
4
Suppose -7*j = -3*j - 4*d - 40, 42 = 4*j - 5*d. Let s be (j/12)/(84/(-18)). Is 1/15 < s?
False
Let y = 321 + -335. Do 2 and y have the same value?
False
Let f = -343 + 339. Is -72/19 less than or equal to f?
False
Let k(h) = 7*h**2 + 7*h + 1. Let a(d) = -20*d**2 - 21*d - 3. Let g(m) = 6*a(m) + 17*k(m). Let i be g(-6). Let r = 5 - i. Is 2/7 smaller than r?
False
Let f(u) = 3*u**3 + 9*u**2 + 6*u - 1. Let w(g) = g**3 + g**2. Let b(c) = f(c) - 4*w(c). Let j be b(6). Suppose 8*v - 13 = 3*a + 3*v, -5*v = 5*a - 5. Is a < j?
False
Let f = -0.189 + 1.599. Let u = -0.38 - f. Let n = u + 1.7. Which is greater: -2/3 or n?
n
Let f(b) = -b**3 + 13*b**2 - 12*b + 8. Let t be f(12). Let r = 1 + 1. Suppose -a = 5*x - 20, 0*a = -r*x - a + t. Are x and 0 nonequal?
True
Let q = 123 - 119. Is q at most as big as -2/17?
False
Let h be (358/(-28))/(136/(-238)). Is h less than or equal to 23?
True
Let g = -284 - -5111/18. Is g smaller than 0?
True
Let q = -64 + 37. Let b be (-440)/(-45) - 6/q. Is b at most 10?
True
Suppose -4*l - 119 = 5*r - 7*l, 0 = -4*r - 5*l - 110. Let c be (10/4)/((-1)/10). Is r at least as big as c?
True
Let q = -50468/7 + 7184. Does -26 = q?
False
Suppose 0 = -10*c + 15*c + 570. Is c less than or equal to -114?
True
Let i be (-9)/(-2) - (-3)/(-6). Suppo