+ 1533. Which is smaller: 12 or u?
12
Let k = -63 + 41. Let j = k - -11. Suppose -6 = 2*s + 4*p - 3*p, -10 = 2*s + 2*p. Are j and s nonequal?
True
Let i = -19 + 4. Let c(d) = -d - 11. Let b be c(2). Which is greater: b or i?
b
Let c = -8 - -28. Suppose 2*y - 8 = -c. Let w = 5 + y. Which is smaller: -2/47 or w?
w
Let v be (-8)/(-8) + 120 + -1. Suppose 17*x - 12*x = -v. Is x not equal to -24?
False
Let t = 9/14 + -1/7. Let u = -2074/165 + 63/5. Which is greater: u or t?
t
Suppose -6*h - 26 - 712 = 0. Which is smaller: -124 or h?
-124
Let a = -1 + -2. Let t be (44/12 + a)*-18. Let o be t/((-3)/1) - 1. Is 1 less than o?
True
Let c = 8.795 - 0.095. Let p = c - -1.3. Let i = p + -10.3. Which is greater: 2 or i?
2
Let x be (35/42)/((-4)/72*3) - 1. Suppose -3*b + 5 - 2 = 0. Suppose 5*l = -b - 34. Are l and x nonequal?
True
Let f(s) = -2*s - 25. Let k be f(-15). Suppose 3 = -k*m + 8*m. Is m bigger than 8?
False
Let o = -46.3 + 46.1. Is -1/9 at most o?
False
Let b(o) = o. Let j be b(2). Suppose -5*x + j*x = 0. Suppose 4*h + 0 + 16 = 0, -3*h = -5*u - 3. Which is smaller: x or u?
u
Let u = -186 + 215. Which is bigger: 24 or u?
u
Let m = -82 - -83. Let h be 2/(-9) + (-8)/(-36). Which is smaller: h or m?
h
Let y be (3 - 4)*1*-43*5. Let p be (48/20)/6 + (-66)/y. Do p and -1 have different values?
True
Let q = -38 + 44. Suppose q = -3*l - 3*l. Let o = l + -20. Is -21 less than o?
False
Let w be 2 + (-10952)/(-28) - 3. Let l = w + -389. Are l and 1 equal?
False
Let w = -115.32 + 103.5. Let a = w + 12. Which is smaller: a or 2/5?
a
Suppose 15 = c - 4*q, -4*c - q + 32 = -11. Suppose 2*u + c = -49. Let w be (36/u)/(54/(-20)). Which is bigger: 1 or w?
1
Let g be ((-196)/(-343))/((-181)/(-7)). Which is smaller: 1 or g?
g
Let t(j) = -4*j**3 - 2*j**2 + 2*j + 4. Let p be t(-5). Suppose -3*g = -5*m - p, 5*g + 5*m = -0*m + 780. Which is smaller: 154 or g?
g
Suppose 0 = -0*c + 4*c + 296. Let h = c - -27. Which is bigger: -46 or h?
-46
Let u = 230 + -230.7. Are 14 and u non-equal?
True
Let h(t) = 2*t**2 + 13*t - 8. Let n be h(-6). Suppose k + 3*k - 4 = 2*w, -5*k + 3*w = -6. Is n > k?
False
Let o = -97 + 125. Which is bigger: 30 or o?
30
Let k = 193181/26516 - -1/3788. Let w(c) = c**3 - 6*c**2 - 6*c + 1. Let j be w(7). Is k at most as big as j?
True
Let o(m) = -2*m + 17. Let g be 6/15 + (-38)/(-5). Let t be o(g). Let l be 0/(-2)*2/(-4). Are l and t nonequal?
True
Let z be 4/3*(-270)/(-20). Let j be 38/z*(-54)/(-18). Which is smaller: j or 7?
j
Suppose i - 5*i - t + 7 = 0, -3*i - 3*t = 6. Let b be -3*(2/i - (-1 - -2)). Which is bigger: b or 9?
9
Let j(q) = -9*q**2 + 1. Let w be j(-1). Suppose 4*f - 23 = 5*s, 5*f = s - 17 + 9. Do s and w have different values?
True
Let q be (294/96)/((-40)/32). Which is greater: q or -3?
q
Suppose -3*j + 3 + 6 = 0. Let t be (-6)/(-27) - (-29)/(-9). Let d be 2 + t + 3 + -2. Is d at least j?
False
Let x(u) = -u**2 - u - 13. Let b(y) = 3*y**2 + 4*y + 38. Let p(d) = 6*b(d) + 17*x(d). Let w = 1 - 7. Let l be p(w). Is l greater than 1/11?
True
Let b(y) = y**2 + 6*y + 2. Let t be b(-6). Let a be (2 - t)/(3 - 4). Let w be (-2)/(-4)*-2 + a. Which is bigger: 0 or w?
0
Suppose 4*z + r + 0*r - 500 = 0, -3*z - 4*r + 388 = 0. Let q = -125 + z. Which is greater: 2/627 or q?
2/627
Let i be 22 - (4 - 4)/(-12). Which is smaller: i or 26?
i
Let n = -64.5 + 51. Let l = n + 18. Is l smaller than -1/4?
False
Let a = 21418/19 + -1127. Which is bigger: -1 or a?
a
Let j = -3228 + 54896/17. Which is bigger: j or 2?
2
Let w = 43.1 - 43.1. Is 129/5 at least as big as w?
True
Let c(k) = -3 + k**2 - 2 + 3*k + 3*k. Suppose 0 - 7 = a. Let l be c(a). Are l and -0.2 non-equal?
True
Let s be (-24)/(-10)*40/16. Let t = s - 1. Let u be ((-2)/t)/(94/10). Which is greater: 0 or u?
0
Let d be (1/4)/(6/4). Let t = 1/3 + d. Suppose 37*s - 119*s = -54*s. Are t and s non-equal?
True
Suppose 119*g + 960 = 131*g. Is 94 <= g?
False
Let n be (4 - -14)*(-3)/6. Let v = 10 - 17. Is v equal to n?
False
Let a be 6/(-33) - (-72)/33. Suppose -6 = 2*p - 2*b, -5*p + 2*b + 2 = 17. Let z = 3 + p. Is z less than a?
True
Let d = -55 - 417. Is -473 > d?
False
Let o(w) = 9*w - 31. Let u be o(4). Is u at most as big as 25/7?
False
Let c be ((-18)/(-12))/((-3)/8). Let m be -4 - 4*c/(-16). Which is smaller: 2/11 or m?
m
Suppose -4*t = v + 19, 0 = 3*v + t + 2*t + 21. Let m(d) = d. Let c(o) = -2*o**3 + 2*o**2 + o + 2. Let r be c(2). Let h be m(r). Are h and v equal?
False
Let v = 38 + -44. Let w = v + 3. Is w equal to -11?
False
Let t be -1 + (-11 - (-3 - -1)). Let f(d) = -23*d**3 + d - 1. Let s be f(1). Let l = -33 - s. Is l smaller than t?
False
Let g = 126 - 116. Which is smaller: g or 23?
g
Let i = 218045/19 - 11481. Is i > -5?
True
Suppose 5*q - 4*i = 45, -6 = -q - 5*i - 26. Let b be 1/(-1)*0/(-1). Let m be (q + -6)/(b - -1). Which is bigger: m or 2/41?
2/41
Let g = 2786 - 2793. Is 32/13 greater than or equal to g?
True
Let t = 11.8 - 2.9. Let j = 9.3 - t. Which is greater: j or -10?
j
Let y = 8.7 - 3.7. Let x = 46 - y. Which is bigger: 0 or x?
x
Let l = -5.82 + 5.794. Are -1 and l equal?
False
Let q be (-4)/(-42) - 11715/(-693). Let o = -469/2 + 252. Which is smaller: q or o?
q
Suppose -b = -6*b - 6*s + 42, 32 = 5*b + s. Let w = 24/101 - -2785/606. Is b <= w?
False
Let w(a) = -a**2 + 15*a - 21. Let h be w(12). Let s = 17 - h. Suppose -3*q = -s*r - 2, -4*q = r - 3*q - 9. Which is bigger: r or 7?
7
Let h be (22/(-33))/(1 + 0 - 0). Is -642 <= h?
True
Let h = -59 + 84. Let b = h + -35. Let m = b - -14. Is 3 less than m?
True
Let f(y) = 0 + 12*y + 11 - 11*y + 4. Let j be f(-14). Suppose -5*b - 13 = -s + 2*s, -s = -2*b - 8. Is s bigger than j?
True
Let v = -58 + 96. Suppose -v - 72 = -5*a. Let d = a - 155/7. Are d and 1 nonequal?
True
Let g = -33 - -33. Let k be (-155)/(-170) - ((-1)/1)/(-1). Which is greater: k or g?
g
Let o = -473 + 479. Suppose -w = 4*c - 13, c - 3*w - 16 = -3. Is o equal to c?
False
Let t(q) = -q + 20. Let o = -29 + 30. Let l(x) = x + 1. Let f(h) = o*t(h) - l(h). Let u be f(9). Which is bigger: u or 6/5?
6/5
Let o(r) be the first derivative of r**4/4 + 8*r**3/3 + 7*r**2/2 + 15. Let g be o(-7). Which is greater: g or -2?
g
Let v be 14/(-12)*(4 + (11 - 2430/140)). Let x be (10/4 - 1)*2. Is v <= x?
True
Let j be (-40)/(-18) + 4/(-18). Let d be ((-18)/252)/(j/68). Do d and -1 have different values?
True
Let k = -0.265 + 0.405. Let m = -0.16 + 0.2. Let a = k - m. Which is smaller: a or 2?
a
Suppose -4*d = -2*d + 2. Let u = -452151/10 + 45356. Let y = 141 - u. Are d and y equal?
False
Suppose 689 = 3*m - 388. Suppose 2*q = 2*a + 218, 0 = 5*a - 4*q + m + 183. Which is bigger: a or -105?
-105
Let q = -587/7 + 83. Suppose 0 = -3*d + 9, 34 - 10 = 3*o + 3*d. Suppose w - 4*c + 13 = 0, 4*w + 2*c + 13 = o*c. Do q and w have different values?
True
Suppose -2*a - 4*v = -392, 4*a + 69*v - 800 = 65*v. Which is bigger: a or 2?
a
Suppose 3*a + 8 - 253 = 5*l, a = 4*l + 203. Let b = l - -50. Is -1 smaller than b?
False
Let p = 16 - 9. Let q = 1 - p. Let m be (-2)/q*(-3)/4. Which is smaller: 6 or m?
m
Let g = 0.2545 - 61.2545. Which is bigger: 8 or g?
8
Let k = -1292 + 1291. Which is bigger: -2/19 or k?
-2/19
Let h be (-9)/(-1)*(-11)/(-33). Suppose -2*y = h*y + 2*i - 86, -33 = -3*y + 5*i. Which is bigger: y or 33/2?
33/2
Let h = -321.28 + 322. Which is smaller: h or 1?
h
Let a = -23174483/300 + 77248. Let l = a - -2/75. Is -1 bigger than l?
False
Let o = -37777/34 - -1111. Is o >= -1?
True
Let l be (2 - 28)*1/(-2). Let x = -289 + 301. Which is smaller: l or x?
x
Suppose 0 = -6*q + 2*q. Suppose 2*j - 5*p - 21 = q, 0 = -5*j + 4*j + 4*p + 15. Suppose -m + j*z = 2 - 1, -4 = 4*m + 2*z. Which is smaller: m or 1?
m
Let q be 2/(4 - (-8 + -3 - 1)). Suppose 3*d = -0*d. Which is smaller: d or q?
d
Let w be (7 - 259/63) + -1. Which is bigger: 3 or w?
3
Let f be ((-4)/10)/((-2)/(-10)). Let s = 7999 - 48007/6. Is f <= s?
False
Let o be (-1 - 3/(-2))/((-1)/2). Let k be 3/(-36)*-109 + o/(-4). Which is smaller: 9 or k?
9
Let n = -95 - -47. Let b = 56 + n. Let c = -0.3 + -0.7. Is b at most as big as c?
False
Let o be 30/8*2/(-5). Let c = 1017 + -1011. Is c > o?
True
Let j = 620 - 620.21. Which is smaller: -4 or j?
-4
Let x = -18 - -27. Let o = 8.9 - x. Let g(c) = c**3 - 9*c**2 + 2*c - 12. Let k be g(9). Are o and k nonequa