
o
Let t be (-4)/14 + (-72)/(-546). Let c be ((-3)/(-9))/((-8)/(-432)). Let z = 19 - c. Is t bigger than z?
False
Let f(b) = 2*b**2 - 6*b - 12. Let s be f(5). Suppose 0 = -4*g - s*h + 3*h - 9, g + 21 = 5*h. Is g >= -8?
True
Let x be 4 + (-2)/(-4)*-2. Suppose -3*j + 2*a = -13, -3*a - 2 = -x*j + 2*j. Which is smaller: 4 or j?
4
Let d(q) = -8*q - 82. Let z be d(-45). Is 277 less than z?
True
Let a = -905 - -905. Which is smaller: a or 90?
a
Let q be -7 - ((-6)/252*547 - -6). Suppose -2*m + 1 - 3 = 0. Is m less than q?
True
Suppose 104*v + 4*m = 108*v + 56, 2*v - 5*m + 34 = 0. Let j = 35 - 49. Which is smaller: v or j?
j
Suppose -4*y + 0*y = -100. Which is smaller: 23 or y?
23
Let w = 22 + -17. Suppose -a + 6 = -3. Suppose k - 3*k - a = w*r, 2 = -2*r. Which is smaller: k or -4?
-4
Let b be (-345 + -1)*6/62. Let m = b + 15031/248. Let u = m - 27. Which is smaller: u or 0?
0
Suppose 3 = -4*h + 23. Let z = h + -8. Let a = z - 0. Are a and -1/4 unequal?
True
Let p(b) = b**2 + 9*b - 11. Let o be p(-10). Let s = 730/21 - -74/7. Let t = 45 - s. Is o bigger than t?
False
Suppose 0 = -2*t + 4. Suppose 0 = t*q - 3 + 1. Suppose 4*c + 0*c = 0. Are q and c equal?
False
Suppose -c + 3 = -11. Let s be 1/2 + (-3)/c. Suppose 5*f - 3*j + 0*j = -15, -5 = 2*f - j. Which is smaller: f or s?
f
Let m(c) = -c + 3. Suppose -2*k + 1 = v, 2*k - k = -v - 2. Suppose k*j + 4*s = -32, 2*s = 3*j - 3*s + 14. Let y be m(j). Is 11 < y?
False
Let h = -4077 + 1991. Let f = h - -33391/16. Let p = -27/80 + f. Which is greater: p or 1?
1
Let t = -22 + 27. Suppose -t*p + 2*f - 110 = 0, -2*p + 2*f - 44 = -3*f. Is -21 at most as big as p?
False
Let l(j) = j**2 + 6*j - 2. Let t be l(12). Let s be (-9)/(-18)*t/(-80). Let g = -19/16 - s. Which is bigger: 0 or g?
g
Suppose j = -2*j - 2*v + 18, 4*j - 4*v - 4 = 0. Let z(s) be the second derivative of s**5/20 - 5*s**4/12 + s**3/2 + s**2 - 13*s. Let m be z(j). Is m > -2?
False
Let g be -57*(-3)/27 + (-4)/12. Let s = 1.8 - 2. Do s and g have different values?
True
Suppose -5*j + j = 12. Let r(v) = v**3 + 8*v**2 + 2*v - 14. Let i be r(-7). Let c = 20 - i. Which is smaller: j or c?
j
Let y = 3707/71155 - -2/3745. Is 0.02 at least y?
False
Suppose 5*i - h - 637 = 0, 2*i = -h + 2*h + 256. Which is smaller: i or 126?
126
Let m = 1 - -34. Let i = -1485 + 1484. Is m != i?
True
Let q = 2 + -7. Let g be (-1012)/2805*1*5. Let m = g + -60/17. Is m at least as big as q?
False
Let b(t) = -2*t + 18. Let p be b(7). Let m = -4 - -5. Is m equal to p?
False
Suppose 2*b = b + 12. Let x be 13/2 + b/24. Is 8 > x?
True
Let p = 208 - 148. Let w be (((-24)/10)/4)/((-2)/p). Is w < 19?
True
Let x be -2 + 14/(-8)*(-90)/63. Are x and 2 nonequal?
True
Let j(b) = b**2 + 5*b + 6. Let w = 18 + -22. Let l be j(w). Let m = -292/1341 + -2/447. Which is bigger: m or l?
l
Let b(p) = -15*p - 2. Let s be b(2). Let v = s - -24. Let l be (-4)/8 - (-92)/v. Is -12 <= l?
True
Let x = -420 - -380. Which is smaller: -48 or x?
-48
Let c = -442 - -411. Which is smaller: c or -121/4?
c
Let t(u) = u + 56. Let p be t(-11). Is 46 greater than or equal to p?
True
Suppose -4*f - 278 - 2 = 0. Does -1.3 = f?
False
Let u be -2 - 2*(0 - 2). Does 720 = u?
False
Let p be 28/(-3)*225/150. Is p >= -5?
False
Let s = 857 - 854. Which is bigger: s or 36/13?
s
Let o(k) = -4*k - 49. Let s be o(0). Let n be 50/(-14) + 4 - (-23)/s. Is n < 0?
True
Let o(k) = -k**2 + k - 3. Let d be (8/(-6))/(2/(-3)). Let a be o(d). Which is greater: -6 or a?
a
Let s = 63 - 89. Let t = s + 24. Which is greater: -1 or t?
-1
Let v(u) = -u**2 + 5*u + 8. Let k be v(6). Let s = 339 - 343. Are k and s equal?
False
Let h = 6.8 - 3.8. Let p = 7.02 - 7. Let o = p - 0.02. Is o at least h?
False
Suppose 4*i + 11 + 9 = y, 4*y = 3*i + 28. Let q be 1/i + 879/(-4). Let s be 48/q - (-2)/(-11). Which is bigger: -1 or s?
s
Let a = -53 - -33. Let f = -20.6 - a. Which is smaller: 6 or f?
f
Let i be (-1 - 27/6)*2. Let t = i - -7. Let b(c) = 6*c + 68. Let o be b(-12). Is o > t?
False
Let k be 2/((-92)/(-84) + -1). Let x be 15 + (0 - 7)/(-1). Which is smaller: k or x?
k
Let d = 9 - -8. Suppose 0 = 5*y + 4*t - d, 5*y + 3*t = -0 + 14. Let j(v) = -v**2 - 20*v - 36. Let h be j(-18). Which is greater: h or y?
y
Let r(p) = p**2 - 3*p - 14. Let t be -3 - (-7 + (-4)/2). Let k be r(t). Suppose 0 = -4*j + 5*v + 28, j - k*v - v = 7. Which is greater: j or 6?
j
Suppose 13*o - 59 = 45. Is o at least as big as 1?
True
Let z(g) = 3*g + 12. Let a be z(7). Which is smaller: a or 29?
29
Let u = -6 - -6.11. Let b = -0.51 + u. Let f = -138 - -143. Which is bigger: b or f?
f
Let d be 1 - (-58 + 1 + 1). Let j = -41 + d. Let p = -14 + j. Is 4/7 at most as big as p?
True
Let t be -4 + 1 - (-1458)/513. Which is greater: -0.2 or t?
t
Let o = 144.8 + -145. Is o >= -48?
True
Let w = 0 + 1. Let k = 128 + -376/3. Let n = 3 - k. Is n > w?
False
Suppose -2*t = 2, 4*j - 18*t + 191 = -17*t. Which is greater: j or -46?
-46
Let b = 2.3 + -4. Let t = b + 2.8. Let r = t - 1. Which is smaller: r or 1/2?
r
Suppose 4257 = -109*h + 98*h. Which is smaller: -383 or h?
h
Suppose 63 + 242 = 5*s + 3*t, 265 = 5*s - 5*t. Let i = -54 + s. Which is bigger: i or 1?
i
Let b(x) = -x**3 + x**2 + x + 1. Let r be b(2). Let h be (5 + r)/4 + 2. Which is bigger: h or -1?
h
Let t be 0*4/6*39/104. Are -9/44 and t unequal?
True
Suppose 14*k = -4*k + 324. Let g be (-3)/(k/4) - (-38)/(-6). Suppose 5*d - j = -5, -d = -j - 0 + 1. Which is bigger: d or g?
d
Let k(n) = 13 - 2*n + n + 0*n. Let r be ((-15)/(-15))/((-1)/(-11)). Let a be k(r). Which is smaller: -1 or a?
-1
Let r = -23 - -22. Let w = -25 - -23. Let n = r - w. Which is smaller: n or 3/2?
n
Suppose -4*b = -i - 188, 7*i + 8 = 5*i. Is 49 greater than b?
True
Let f = 560 - 560.1. Which is bigger: f or -353?
f
Let s = -65 - -95. Let c = s - 32. Let f = 0 - c. Is f <= 4?
True
Let q be (-8 + 108/16)*(-2)/(-5). Which is bigger: -100 or q?
q
Suppose -8*b = 19*b - 189. Let p(i) be the first derivative of i**2 + 3. Let j be p(b). Is 14 at least as big as j?
True
Suppose -2*z = -2*u - 16, 5*z - u - 56 = -4*u. Suppose 2*b - 8 = 2*a, 6 = a + 2*b - 5. Let i be (a - 1)/(z + -9). Which is bigger: -0.6 or i?
i
Suppose 5*b - 5*f + 0 = -15, 0 = 2*b + 5*f + 41. Let k be -6*(20/b + 4). Which is greater: -8 or k?
-8
Let s(t) = 1428*t**3 - 18*t + 18. Let v be s(1). Is 1428 <= v?
True
Let s = -5 + 3. Let j = -49 - -29. Let r = j + 20.3. Do r and s have the same value?
False
Suppose 7*a - 3*d + 12 = 2*a, -12 = -3*a - 3*d. Which is smaller: 579 or a?
a
Let g = -0.0932 + -50.9068. Are 3 and g non-equal?
True
Let a(v) = v**3 - 8*v**2 - 8*v - 8. Suppose 0 = -r - 3*r + 36. Let z be a(r). Is 1/31 at least as big as z?
False
Let c be 28/5 - 2*(-1)/5. Suppose -16*t = -14*t - c. Which is smaller: -14 or t?
-14
Let k = 0.078 + -0.078. Is 0.2 at least as big as k?
True
Suppose 3*i = -4*n - 4, -i = 3*n - 6*i - 26. Let c be 100/2 + (9/3)/1. Let t = 54 - c. Are t and n equal?
False
Let g be (8/(-10)*(-105)/6)/1. Let v(b) = b + 17. Let w be v(-3). Is g <= w?
True
Let g be -18*(1 + 16/(-12)). Let u(k) = k**3 - 8*k**2 + 11*k + 3. Let m be u(g). Let p be m/(-15) + 14/(-20). Is 2 smaller than p?
False
Let j = -76 + 455/6. Let k(n) = 3*n - 2. Let w be k(2). Suppose f = 4*a + 1, 4*f - 5*a = -w*a + 4. Is f at most as big as j?
False
Let p be 5/20 + 91/4. Suppose -3*x + 16 = -p. Let b be -1*35*8/(-20). Does x = b?
False
Let w = -27.075 - -27. Let i = -1.355 - w. Let y = -0.28 - i. Is 1/5 at least y?
False
Let l = -5 - -25. Which is smaller: 14 or l?
14
Let n be 685/(-548) - (-814)/600. Is 0 != n?
True
Suppose -53 = 16*g - 37. Suppose -3*f + 3*z + 15 + 33 = 0, f = 3*z + 26. Let a = -8 + f. Which is greater: g or a?
a
Let d(v) = -40*v - 492. Let u be d(-12). Are u and -94/7 unequal?
True
Let x = -1175 + 4701/4. Which is smaller: 47 or x?
x
Let t(m) = 14*m**3 + 3*m**2 - 2*m. Let b be t(1). Let j be (-40)/15*(-63)/12. Is j at most as big as b?
True
Let t(v) = 12*v**2 + 10*v + 2. Let p be (8/10)/((-10)/25). Let l be t(p). Are l and 29 nonequal?
True
Let y be 43996/(-111) - 15/9. Let m = -398 - y. Are m and 0 unequal?
True
Let u = -0.66 - -8.96. Let a = 8.04 - u. Do a and 0.1 have different values?
True
Suppose -16 = -2*d + 2*i, -i + 4*i = -3*d + 6. Suppose -5*c - 3*y = -12, d*c - 4*y = 11 + 8. Suppose 5*x - 17 =