?
v
Let u = 72 - 46. Let b = u + -10. Is 16 <= b?
True
Let s be ((-12)/(-117))/(4/6). Let w be (225/150)/(6/(-4)). Is s less than or equal to w?
False
Let d = -1.74 + 0.74. Which is greater: 23 or d?
23
Suppose 57*d - 49*d + 16 = 0. Let z = 3 + -9. Let j be -1 + 1 - (-3)/z. Is d bigger than j?
False
Suppose 0 = p - 4*y - y - 9, 5*p - 19 = -y. Let n be p/(-14) + 6/21. Let w = -32/3 + 12. Which is bigger: w or n?
w
Let o be ((-98)/(-245))/(2/(-160)). Are o and -163/5 equal?
False
Let g = 40 + -40. Suppose g = -2*h - 4*h + h. Which is smaller: -12/11 or h?
-12/11
Suppose -d + a - 108 = 0, 5*d + a - 248 = -812. Which is smaller: -111 or d?
d
Let n = -86/5 + 617/35. Let j = 3 - 1. Suppose 2*o + j*o = 0. Which is smaller: n or o?
o
Let c = -79 - -81. Suppose -9 = -3*n - 0. Which is greater: c or n?
n
Let k(y) = -399*y**3 + 3*y**2 - 20*y - 22. Let d be k(-1). Is 402 at most as big as d?
False
Let k be (-2)/3 - 1505/(-129). Let n be 1/(-3) - 141/9. Let b be n*(-4 - k/(-4)). Is b != 19?
True
Suppose 0 = 2*b - b - 408. Let o be (0 + -1)*(-24)/b. Which is smaller: o or -1?
-1
Let f be (-3)/((-225)/(-10)) - 1006/105. Which is greater: f or -10?
f
Suppose -3*n - 4*p - 74 = 4, -2*n = 4*p + 56. Which is smaller: -67/3 or n?
-67/3
Let s(k) = k**3 - 8*k**2 + 7*k + 2. Let t be s(7). Let m be ((-11)/(-176))/(t/(-12)). Is 1/4 greater than m?
True
Let d = 168 - 97. Let f = -277 - -347. Which is bigger: f or d?
d
Let s = 69 + -97. Let f = -29 - s. Suppose -2 + 0 = -m + 3*c, -4*m - 67 = 3*c. Which is smaller: f or m?
m
Let m be (4/5)/((-13)/26). Let w = 6 + -1. Suppose w = -2*y + 3. Which is smaller: y or m?
m
Let l be -10*(5/30)/(4/(-12)). Do -55 and l have the same value?
False
Suppose -n - 6*n + 28 = 0. Let x be (-2)/n + (-40527)/304. Let g = x - -134. Which is smaller: g or 0?
0
Let x = -5.94 - -40.94. Is x bigger than -5/3?
True
Let y = -20 + 60. Suppose -4*j - 2*l - y = -0*l, 4*l = 2*j + 10. Let b(r) = -2*r - 19. Let v be b(j). Does -12/5 = v?
False
Let h = 80/19 + -3155/817. Let l = h - -914/215. Which is smaller: l or 5?
l
Let j = -125540147/174 - -721493. Let k = j + 13/6. Which is smaller: k or 1/4?
k
Suppose -2*t = 3*h - 42 - 9, -h - 81 = -4*t. Let x be (1 + 3 + -3)*(1 + -2). Let d be ((-14)/t)/(x/12). Is 9 greater than d?
True
Let m be (-136)/748 + 761/11. Which is bigger: m or 68?
m
Let x = 2 + -1.9. Let h be (2/1404)/((-22)/1419). Let y = h - 1/52. Is y bigger than x?
False
Suppose -121 = -2*r + 15. Let t = r - 66. Is t > -10?
True
Let o be ((-6)/15)/((-16)/10). Let p = -18 + 17.74. Does p = o?
False
Let b = -5973/13 + 459. Let d(h) = -h**2 - 4*h - 4. Let m be d(-3). Which is greater: b or m?
b
Suppose -5*b + 16 = -b. Suppose 0*k + 4*k = b. Let z = -17/21 - -8/7. Which is bigger: z or k?
k
Let y(s) = -7*s - 46. Let i be y(-6). Is i greater than or equal to -4?
True
Let l = -8 - -6. Let w be 23/(-2) + l/8*-2. Which is smaller: w or -10?
w
Let n(d) be the second derivative of -d**6/360 - d**4/8 - d**3 + 6*d. Let o(g) be the second derivative of n(g). Let t be o(3). Is -13 at least as big as t?
False
Let g be (-2 - -11) + 2 - (-27)/(-9). Let r be g/(-32) + (-65)/(-12)*-1. Which is smaller: r or -6?
-6
Let w = -132 - -136. Let r be 2/(-6) + 2/(-3). Is r at least w?
False
Suppose -164 = 9*u - 11. Which is smaller: -12 or u?
u
Let z = 3 - 2. Let c be 5/(-4) - ((-11)/(-4) - 3). Let p be c/((-8)/(-7)) - 3/(-4). Which is smaller: p or z?
p
Let f(v) be the first derivative of -v**3/3 - 3*v**2 - v - 2. Let z be 2 + 1 + (-6)/1 + -3. Let b be f(z). Is 1/3 equal to b?
False
Let z = -245.8 - -273. Let v = -3.2 + z. Let i = 40 - v. Is 0.1 less than i?
True
Suppose 2*q = -5*a + 9*a - 20, 20 = -2*q - 2*a. Let b(p) = -p**2 + 3*p + 1. Suppose -3*d + 9 = -5*r - 7, 3*r = -2*d - 2. Let t be b(r). Is t at most q?
False
Let p = -2407 - -2224. Is p != -190?
True
Suppose 0 = -2*d, -3*g + 6*g = d - 30. Suppose 4*w = -1 + 97. Suppose w = 2*o - 4*o. Which is bigger: g or o?
g
Let g be -4 + (1 - (4 - 8)). Let x = 1/691 - -25561/4146. Let k = -16/3 + x. Which is greater: k or g?
g
Let l = -0.06 + -4.94. Let h = 5.44 + l. Let u = h + -0.14. Is u greater than or equal to 3/2?
False
Let o = 6 + -7. Let z = 1.2 + o. Which is smaller: z or -7?
-7
Let i = -5/2 - -31/12. Is -9 equal to i?
False
Let v be (-40 - 2) + 7/(-28)*12. Is -47 != v?
True
Let t(z) = z**3 + 25*z**2 - 3*z - 32. Let i be t(-25). Which is smaller: i or 42?
42
Suppose -3*m + 2*m = 0. Let w be 4/((-48)/4)*3. Let l be (-1)/w + 1*-2. Is l >= m?
False
Let f = -4 + 8. Let b = 1573.2 - 1577. Let r = f + b. Is r smaller than 8?
True
Let t(v) = -v**2 + 11*v - 6. Let y be t(10). Suppose -y*m - 10 = 2*k, 0*m = -5*m + 4*k - 6. Is m < -2?
False
Suppose -5*p + 3*o = -149, 2*o = 3*p - 2*p - 34. Which is smaller: -16 or p?
-16
Let i = 2653/5 - 582. Which is greater: i or -51?
-51
Let f be (2/7)/(3/21). Let n(v) = -2*v. Let p be n(-1). Let d be 40/15 + p/(-3). Are f and d nonequal?
False
Let o(i) be the second derivative of -i**4/12 + 2*i**3 - 3*i**2 + 18*i. Let f be o(11). Let j = 0.2 + -0.3. Which is greater: j or f?
f
Let d be -1*(7 - 1)*(-81)/54. Which is smaller: 1/2 or d?
1/2
Let u = -8/9 - -47/9. Which is smaller: u or 0.2?
0.2
Let b be -1*(-2 + 36 + 1 + -2). Which is greater: b or -310/9?
b
Let g(b) = 3*b + 130. Let z be g(9). Which is smaller: 311/2 or z?
311/2
Let q = 80 + -85. Let p be q/(140/22) - -1. Which is greater: p or 0?
p
Let u = -2326.9 - -2327. Which is bigger: -8.2 or u?
u
Let p(u) = -4*u**3 - 5*u + 2. Let m be p(2). Let h be 464/m + -2 + 3 + -1. Which is smaller: -13 or h?
-13
Let w = -1.069 + 0.069. Do 12/19 and w have different values?
True
Let n = 35 - 33. Suppose -2*s + 22 = -5*p + p, -n*p - 9 = -3*s. Let w be (-3 + (-4 - p))*-5. Which is greater: 6 or w?
6
Let p = -37 + 183/5. Do p and 130 have the same value?
False
Let p = -0.1 + 0.1. Let x = 5.12 - -264.88. Let r = x - 272. Is r less than p?
True
Let q = 32.13 + -0.13. Let n = -31 + q. Is n at most as big as -6?
False
Let l = -9330/187 + 1080/17. Which is greater: 0 or l?
l
Let f(w) = -w**3 + 18*w**2 - 12*w + 7. Let n be f(13). Suppose z = 4*y - 24 - 108, n = -5*z + 2*y. Let a be -3 - (965/z - -4). Is 1 >= a?
True
Let h(t) = -t**3 - 5*t**2 - 4*t + 3. Let z be h(-4). Suppose -2*d - 3 + 8 = 5*s, -5*d - 3 = -3*s. Suppose -z*k = -d*k. Is 2 at most k?
False
Let i = -126 + 124. Is -38 at most as big as i?
True
Let f be -1*-3*5/15. Let s be (-176)/48 - (f + -4). Is 2/49 less than s?
False
Let m be (-16)/28 + (-118)/14. Which is smaller: -21 or m?
-21
Suppose n = 33 - 6. Suppose n = 6*m - 3. Let u be (-1*1)/(2/(-10)). Is m less than or equal to u?
True
Let m = 32 - 97. Let h be (3 - m/(-20))/(23/8). Let v be (-2 - -2)*(-2)/4. Which is smaller: h or v?
h
Let o = -587 - -6445/11. Suppose -8 + 1 = -7*t. Suppose -3*w - 7 = -t. Which is bigger: w or o?
o
Let g = -76 - -305/4. Which is bigger: g or -0.25?
g
Suppose 5*z + 2*q + 91 = 0, -z - 8 + 3 = -4*q. Let r = z - -19. Suppose r*f + 2*f = 5*y - 17, 3*y + f = 0. Which is smaller: -3/20 or y?
-3/20
Let p(n) = n**2 + 5*n - 1. Let x be p(-6). Let w = 20 - 10. Suppose -w = -5*j + 5. Which is bigger: x or j?
x
Let g = -0.19 + -13.81. Let k be (-62)/(-248)*(0 + 0 + -1). Which is greater: k or g?
k
Let b be -14*(-4)/(16/4). Let i be (-26)/4*b/(-7). Suppose -3 = 4*l + i. Is l greater than -4?
False
Let h(o) = 4*o - 28. Let j be h(7). Which is smaller: j or -1/183?
-1/183
Let k = 125.8 - 123.8. Is k bigger than -43/35?
True
Let w = 17060645/863 - 19769. Is w at most -1?
False
Let u = 37/42 - 3/14. Let v(f) = f**2 + 52*f + 51. Let k be v(-1). Which is smaller: k or u?
k
Let s be 1 + (1 - 1) + 14. Let x = 45 + 21. Let w = x - 50. Which is smaller: s or w?
s
Suppose 0 = 3*g + 29 - 23. Let n(l) = -l**3 - l - 1. Let v(h) = 5*h**3 - 4*h**2 + 3*h + 5. Let u(y) = 6*n(y) + v(y). Let b be u(g). Which is smaller: b or -5?
-5
Let t(q) = q**2 - 3*q + 4. Let o be t(8). Suppose -4*f - o = -2*g, 13 + 49 = -5*f - g. Let a be ((-15)/(-18))/((-16)/f). Is 2 equal to a?
False
Let p be 3 + (-80)/36 + (-12)/(-54). Which is bigger: -3/106 or p?
p
Suppose 2*j = 3*j - 2. Let o be j - 4 - 32/(-15). Let s = -15 - -15. Which is greater: s or o?
o
Let t = -3 - -9.5. Let b = 6.81 - t. Which is smaller: -0.1 or b?
-0.1
Let u be (-39)/(-12)*-2*2. Let p = 1228