or -48?
-48
Suppose 0 = -q - 8 + 156. Let l = -151 + q. Are -32/9 and l nonequal?
True
Suppose -2*v + 148 = -4*v. Do v and -75 have the same value?
False
Let l = 43.49 + -44. Let x = 24.6 + -24.7. Is l less than or equal to x?
True
Let s be 3/8*(-146)/2409. Let o = -2.3 - -2.3. Is o equal to s?
False
Let p = 63 - 93. Let f be (-88)/170 - 12/p. Let y(s) = -10*s + 90. Let j be y(9). Which is smaller: j or f?
f
Let m = -207 - -2253/11. Is -2 not equal to m?
True
Let v(l) = l**2 - 6*l + 9. Let q be v(8). Let u be 2*((-80)/(-5) - 3). Which is smaller: q or u?
q
Let i be 37/(20/(-5) - 1). Which is bigger: i or -7?
-7
Suppose 210 = -5*d - 5*s, -2*d = 5*s - 0*s + 87. Are d and -51 equal?
False
Suppose -13*j = -10*j + 90. Is -36 > j?
False
Let c be (-4280)/(-234) + 8/52. Which is smaller: c or 17?
17
Let n be ((-104)/91)/(2/7). Is -0.08 >= n?
True
Suppose 91 - 227 = 8*l. Let j(a) = -a**2 - 18*a - 13. Let q be j(l). Is 4 less than q?
False
Suppose -2*u = s - 7, 8 = 6*u - 8*u + 4*s. Suppose 43 = u*x + 1. Are 21 and x nonequal?
False
Suppose -34*u + 5423 = 935. Is 261/2 greater than u?
False
Let s be -1*1 + -9 + 3. Let i be s*(3/(-2))/(-3). Let j = i - -5. Which is smaller: j or -1/4?
-1/4
Let m be 48/20*5*4. Let v = 46 - m. Which is greater: v or -8/15?
-8/15
Let s = -263 + 250. Is 1 bigger than s?
True
Let s = -13 + 25. Let l = -131 + 111. Let q be 23 + l + 34/(-8) + 1. Is q < s?
True
Suppose -4*g - 4 = -0*g. Suppose 8 = 3*w + w. Let n be (1 - 1)*(w - 1). Is g less than or equal to n?
True
Let i(o) = -o - 28. Let g be i(24). Let h be g/42 + 52/91. Which is bigger: h or 7/4?
7/4
Suppose 4*m - 23 - 33 = 0. Suppose -5*f = 2*n - m, -4*f + 2*n = -2*n - 28. Suppose f = 4*v - 0. Does -2/15 = v?
False
Let o be (-16)/(-4) - (-36)/4. Suppose -1 = w, 0*w = -4*z - w - o. Let p be z + (-13)/(-11) + 2. Which is smaller: p or 0?
0
Let a = -3 - -4. Suppose -3*v + 8 = -v. Suppose 0*q + v = -4*q. Which is smaller: a or q?
q
Let h(s) = 16*s + 1. Suppose 0 = 2*k, 2*u + 4*k + 4 = 2. Let m be h(u). Is -15 less than or equal to m?
True
Suppose -5*r = -0*r - 230. Suppose -2*j - 84 = 5*n - n, -3*j = 5*n + 123. Let a = j + r. Is 11 less than or equal to a?
False
Suppose -3*t - 12 = -2*a, 6*a - 5*t - 22 = 2*a. Suppose -a*f + 7*f = 20. Suppose f*n = -0*n. Which is greater: n or 1/8?
1/8
Let t be ((-21783)/(-6))/((-1014)/(-4)). Let r = t + 2/169. Which is bigger: 0 or r?
r
Let b = 2328.6 - 2328. Which is greater: b or -116/5?
b
Suppose 0 = -44*o + 6*o - 1786. Which is greater: o or -46?
-46
Let s = -388/805 + 17/35. Is s less than 1?
True
Let v = 27 - -116. Which is greater: v or 144?
144
Suppose -23*s + 22*s = -235. Is s less than or equal to 236?
True
Let k = -65.222 + 3.222. Which is smaller: 0 or k?
k
Let f(k) = k + 9. Let b be f(-5). Let h = 0 + b. Let a be (-4*(-1)/h)/(-3). Which is bigger: 1/2 or a?
1/2
Suppose -105 = 3*v - 8*v - 5*l, 0 = -4*v - 3*l + 82. Suppose -52 = 4*g + 3*m - v, -5*g - 2*m = 36. Is g bigger than -4?
False
Let j = 641.89 + -639. Let c = j + 0.11. Let t = -2.6 + c. Which is greater: 2/9 or t?
t
Let g(o) = -36*o - 108. Let t be g(-3). Do t and 7/5 have different values?
True
Let d = -128 - -2175/17. Suppose 5*c + 0*l = -l + 37, -2*c - l = -13. Let a(r) = -2*r + 15. Let u be a(c). Is u greater than or equal to d?
False
Let j = 318214/155 - 2053. Let d(a) = -a**2 - 3*a - 1. Let y be d(-3). Which is smaller: j or y?
y
Let i = 22/909 + 20/101. Is i at least 3?
False
Let c = 0.08 - -10.92. Let r = c - 18. Let q be (8/100)/(((-7)/(-5))/(-7)). Is r at least q?
False
Let j be -2*27/(-6) + 1. Suppose 3*v = -11 - j. Let a = 8 + v. Is a > 6/7?
True
Let p be 0/(-1) - (-2)/((-2)/81). Is -81 at least p?
True
Let f be 1/2 + 1089/22. Let r(s) = -2*s**2 - 22*s - 6. Let d be r(-7). Is d equal to f?
True
Suppose 17*i - 289 = -85. Is i greater than 12?
False
Suppose -2*b = 5 + 9. Let m = -64 + 69. Suppose -m*i + 9*i + 12 = 0. Is i bigger than b?
True
Suppose 5*x - 3*z + 12 = 4*x, 0 = 3*x + z - 14. Suppose 7*h = 16*h. Suppose h = x*a - 4 - 5. Which is greater: 5/3 or a?
a
Let c = 1 - -1. Is c less than 6?
True
Let k be 126/28*(-1 - 35). Let v = -2422/15 - k. Is 1 smaller than v?
False
Let n be -3*(1 + 2 + -1). Let x(s) = s + 6. Let o be x(n). Is o > -4/3?
True
Let l(i) = 5*i + 74. Let k be l(-15). Let r = -36/85 - -2867/6970. Which is greater: k or r?
r
Let y be (-72)/(-16)*33/(-6). Let m = y + 497/20. Which is smaller: m or 5?
m
Let m be 0*(-1)/2 + 1. Suppose -68*l + 15 = -73*l. Let r be (3 + l + m)/(-1). Which is smaller: 2/25 or r?
r
Let y(f) = f**2 + f - 1. Let b be y(-2). Let m = -152 - -1823/12. Is b greater than m?
True
Let s = -17 + 17.2. Which is greater: 0.0247 or s?
s
Let c = -1.5 - -0.2. Let b = c + -9.7. Let t = b - -17. Which is smaller: t or -1?
-1
Let i be (35/(-15) + 3)*(-3)/2. Let c be (-7)/14 + 1/(-6). Which is bigger: c or i?
c
Let w be (-286)/(-88) - (-15)/(-12). Which is smaller: 8/7 or w?
8/7
Let w(g) = -479*g**3 - 3*g**2 - 3*g - 1. Let j be w(-1). Let v = -30239079/63715 + -12/12743. Let o = j + v. Is 2 less than o?
True
Let t = 153 - 87. Let x = -68.5 + t. Which is smaller: 0 or x?
x
Let p(g) = -g - 16. Let h(b) = b + 24. Let l(i) = 5*h(i) + 8*p(i). Let u be l(-4). Let v be 23/(-3) - u/(-6). Which is smaller: v or 0?
v
Let i = -15 - -81. Let c = i + -57. Is 1 greater than or equal to c?
False
Let k be (-1)/3 + (-470)/30. Let x be 12/k + 11/4. Let v be -2 + 3/(-1) + x. Are -3 and v equal?
True
Let q be ((-15345)/(-660))/(342/(-16)). Which is smaller: -2 or q?
-2
Let u(o) = o**3 - 2*o**2 - 11*o + 13. Let q be u(4). Which is smaller: -5 or q?
-5
Suppose 6*n - 6 = 3*n. Suppose -4*k = -12, 0 = -5*l - n*k + 18 + 8. Suppose l*u = -3*v + 16, 6*v - 2*v + 4 = u. Which is smaller: -2 or v?
-2
Let w(k) = k**3 - 13*k**2 - 30*k + 1. Let n be w(15). Which is smaller: -1/156 or n?
-1/156
Suppose 4*g = 9*g - 35. Suppose g*i = 9*i - 66. Let x = 29 - i. Which is smaller: x or -6?
-6
Let c = -17.5 + 15. Which is smaller: c or 8?
c
Let t be ((-1 - -5)/24)/(225/(-4)). Which is smaller: 0 or t?
t
Suppose 4*z + 36 = -2*v, 11*v - 13*v = -z + 61. Which is greater: -27 or v?
-27
Let n = -1795 + 1954. Is 159 >= n?
True
Let d be 2/6*(-2)/4*6. Which is smaller: -13/14 or d?
d
Let b = 111.2 - 14.2. Let p = b - 97.1. Which is smaller: -29 or p?
-29
Let l(h) = 8*h + 23. Let y be l(-5). Suppose -3*z = -5*w - 9 - 43, 0 = z - 3*w - 16. Let u = y + z. Is u <= -4?
False
Let i(v) = -88*v**2 - 4*v + 2. Let x be i(1). Let l = x - -72. Is l <= -17?
True
Suppose -11*k - 20 = -31. Does -4/319 = k?
False
Let r be 30/40 + (-9)/(-4). Suppose 0 = -r*z - 137 + 11. Let q be (-2 + z/(-15))*-10. Do -7 and q have different values?
True
Let b = -4 + -5. Let p(h) be the third derivative of h**4/8 + 20*h**3/3 - 33*h**2. Let s be p(-13). Which is greater: b or s?
s
Let d be (-336)/5 - (-7)/35. Which is bigger: d or -329/5?
-329/5
Let w be (-58)/3*((-3)/(-2) + 0). Is w at least as big as -30?
True
Suppose -3*v + 132 = -9*v. Let c = -0.19 + 0.09. Which is bigger: v or c?
c
Suppose -7*o + 55 = -6*o - p, 0 = -o + 3*p + 53. Does o = 219/4?
False
Let n(v) = -24*v + 48*v + v**2 + 2 - 20*v. Let a be n(-3). Is 2/47 greater than or equal to a?
True
Suppose -4*i + 2*w + 15 = 7, -2*w - 8 = -3*i. Is i bigger than -35/12?
True
Let n = -1145 - -1145. Which is smaller: -9/11 or n?
-9/11
Let t = 62.07 + -62. Let n = t - -0.03. Is -0.033 at most as big as n?
True
Let c be ((-9)/2 + 4)*(0 + 0). Suppose -3*b - 5*l - 125 + 23 = c, 0 = 4*l + 12. Is b <= -29?
True
Suppose 9 = -3*t, 8*x - 4*x - 5*t - 319 = 0. Suppose 3*w - x + 61 = 0. Let z = -274 + 836/3. Which is smaller: w or z?
z
Let z(v) = -2*v + 73. Let x be z(30). Do x and 13 have the same value?
True
Suppose 0 = 40*g + 23*g. Is g greater than -16/75?
True
Let q = 1441 - 1677. Which is smaller: -237 or q?
-237
Let m(r) = -r**3 + 19*r**2 - 19*r + 20. Let t be m(18). Let l = 5 + -2. Is t equal to l?
False
Let m = 2249/5487 - 46/93. Do -1 and m have different values?
True
Let x = -3/61 - -161/793. Let y be (732/90 - 3) + -5. Is x less than y?
False
Let g(m) = 3*m**3 - 5*m**2 - 26*m + 140. Let a be g(4). Which is smaller: 151 or a?
a
Let u = -22 - -27. Suppose 0 = u*a - 5, t + 4*t - a = -46. Which is greater: t or -10?
t
Let q = -1 - 129/7. Do q and -1 have the same value?
