hich is smaller: -3 or o?
-3
Let q be ((-4)/(-3))/(148/(-12)). Suppose 0 = 4*a - 9 + 13. Which is bigger: q or a?
q
Let f be (60/70)/((-3)/(-63)). Is 1 at most as big as f?
True
Suppose -8*r - 618 = -14*r. Are 104 and r nonequal?
True
Suppose q - 2*q + 5 = 0. Suppose -q*g = 13 - 3, -i = 5*g + 6. Suppose -4*y + i*a = 0, 5*a - a + 25 = -y. Is y greater than -3?
False
Let s = -124 + 64. Let c = s + 479/8. Let g = 0 - 0. Is c bigger than g?
False
Let y(j) = j**3 + 7*j**2 + j - 26. Let l be y(-6). Let h be (26*(-1)/8)/((-5)/l). Are h and -2/5 equal?
False
Let l = 328 - 325. Is 1.8 bigger than l?
False
Suppose -15 = -5*x - 0. Suppose 7*o - x*o + 8 = 0. Which is smaller: o or -3/5?
o
Suppose 0 = -4*w + l + 1200, 0 = w - 22*l + 25*l - 287. Is 299 not equal to w?
False
Let a be ((-60)/(-1100))/((-18)/8). Which is bigger: 0 or a?
0
Let x = -128 + 167. Which is greater: x or 36?
x
Let y = -2 - -3. Let w(v) = v**3 + 30*v**2 - 33*v - 110. Let d be w(-31). Let j = 51 + d. Is y not equal to j?
True
Suppose f = l + 3, -1 = 4*l - 5. Suppose -6 = f*g - 46. Is g at most 10?
True
Let l be -4*(-17)/(-6) + (-10)/15. Let t be 4 - (-16)/l*3. Let j = 2 - -1. Is j less than t?
False
Suppose -4*x = -g + 21, -9*x = -5*g - 10*x. Which is bigger: g or -2/513?
g
Let p(m) = m**2 - 6*m - 11. Let g be p(9). Let h be ((-195)/(-78))/((-1)/(-6)). Which is smaller: h or g?
h
Let d be (36/(-27))/((-1)/(-2)). Let m = -144 + 142. Is m less than d?
False
Suppose 14*s - d - 39 = 11*s, 63 = 4*s - 5*d. Let x be ((-1)/2)/(1/(-16)). Let j = x - s. Which is smaller: j or -3?
j
Suppose -2*m - 14 = -6*z + 2*z, 2 = z - 2*m. Suppose -2*a = -0*a - z. Suppose -14 = -0*u + a*u. Is -7 bigger than u?
False
Let x = 12.1 + 56.9. Let l = x - 68. Is 0.3 > l?
False
Suppose 9 - 63 = -18*h. Which is greater: 12 or h?
12
Let t be 929/15 + 1 + 48/(-80). Which is greater: t or 61?
t
Suppose -74*i + 4323 + 4261 = 0. Which is smaller: i or 802/7?
802/7
Let p(n) = -n + 12. Suppose -2*y + 15 = -5. Let u be p(y). Suppose -u = -2*f + 4*f. Is -3 at least as big as f?
False
Suppose 3*n = 2*u - 36, 2*n = -4 - 0. Let h = -10 + u. Suppose 3*l = -5*j + 17, l + 5*j - 4 = h. Is l <= 1?
False
Let y = 612 + -619. Let r be 0*(-1)/(-2) - 1. Which is smaller: r or y?
y
Let u = 0.204 - -74.796. Which is greater: u or -1?
u
Let n be 5 + -1 + 2 + (3 - 8). Let d be (-3)/6*(-1)/(-2). Is n < d?
False
Let q(o) be the second derivative of -2*o**4/3 + 19*o**3/3 - 3*o**2/2 + 24*o. Let n be q(5). Is n at most -11?
True
Let f = 906/5 - 178. Let n(j) = -j**2 + 5*j + 4. Let c be n(5). Is c at most as big as f?
False
Let f = -1108 - -1186. Which is bigger: f or 79?
79
Suppose 2*g + 5*m - 83 = 0, g + m - 42 = -2*m. Let l = 42 - g. Which is greater: l or 7/4?
l
Let s be -3 - ((-6)/(-2) + 49/(-7)). Let z = 9 - 6. Let q be (3 + (z - 7))/s. Which is smaller: q or 4/19?
q
Let t = -15 - -19. Suppose -3*b = -6, -4*o + 5*b = -241 + 83. Let u be (-12)/o + (-78)/(-28). Is u at least as big as t?
False
Suppose -4*q + 11 + 9 = 4*x, 5*x + 4*q - 25 = 0. Let m = 134256 - 38128515/284. Let b = -6/71 - m. Which is greater: b or x?
x
Suppose 16 = -4*d - 0*d, -3*d + 4 = a. Suppose -a = 15*j - 1. Which is smaller: -2 or j?
-2
Suppose -v = -2*h - 531, 5*v - 2*h + h = 2700. Which is smaller: 544 or v?
v
Let f = 40 - 14. Let b = f - 14. Let m = b + -13. Is 1/7 bigger than m?
True
Let g = -68 + 545/8. Let t = -740 - -741. Is g bigger than t?
False
Suppose 3*q + 3*r - 146 = 31, 3*q + 4*r = 179. Let n = q + -58. Is -18/13 < n?
True
Let h(q) = -3*q**2 - 29*q - 52. Let r be h(-7). Is 46 < r?
False
Suppose -10 = 5*p - 7*p, 2*p = 2*g + 50. Let a = g - -34. Which is smaller: a or 13?
13
Let h = 32.77 + -0.77. Let j = h - 36. Which is greater: j or 0.4?
0.4
Suppose -33*w = -w - 32. Is -1/580 equal to w?
False
Suppose 18*g - h + 63 = 20*g, 3*g = 5*h + 88. Let x be ((-3)/(-3))/((-1)/(-4)). Suppose -5*c = k + g, -x*c + 5*c = k - 11. Which is smaller: c or -11/2?
c
Let r = -1722 - -1722. Let g(k) = -k**3 + 3*k**2 + 8*k - 2. Let x be g(6). Which is greater: x or r?
r
Let b = -14 + 14. Let y = 17 + -27. Which is greater: y or b?
b
Let h be ((-12)/7)/((-56)/6664). Is 205 greater than or equal to h?
True
Suppose 40 = -89*t + 129*t. Which is smaller: 3/80 or t?
3/80
Let v = -78 + 163. Let c = v - 102. Is c less than or equal to -2?
True
Let w = -88 - -96.9. Do w and -4 have different values?
True
Suppose 2 = 3*d - 4*c + 15, -19 = d - 5*c. Is d > -2/367?
True
Suppose -76 - 86 = 3*g. Let y be (g/24)/(-1 - 68/(-56)). Which is greater: y or -11?
y
Suppose -j - y + 2 = 7, 4*y = -5*j - 20. Is 63 < j?
False
Let z = -0.8 + 1. Let l be (-37)/85 + 12/(-22) + (-7544)/(-10120). Which is smaller: l or z?
l
Let v = 37 + -17. Let q = -17 + v. Which is smaller: 0.4 or q?
0.4
Suppose 5*u - 10 = -3*h, -u = 5*h - 0*u - 24. Suppose 3*k = h*g + 7, 2*g + 2*k - 6 = k. Which is greater: 8/9 or g?
g
Let j be (0/8)/(-3 - (-3 - -2)). Let c = 3992/35 + -114. Is c <= j?
False
Let h = -1/319 - 1229/14993. Let x = 3477 + -3478. Are x and h nonequal?
True
Let c be 1348/12 + 2/3. Suppose -g = -4*d + 221, d = -d + 3*g + c. Which is smaller: 56 or d?
d
Suppose -4*v - 63 - 13 = 0. Let y be (v - (-2 + 2))*1. Is y bigger than -19?
False
Let w = -458/651 - 1/93. Which is greater: w or 30?
30
Let u(j) = 3*j - 7. Suppose -11*i + 5*i = -18. Let g be u(i). Is 2 smaller than g?
False
Let m(i) = i**2 - 7*i + 10. Let z(j) = 5*j**3 - 2*j**2 + j. Let s be z(1). Let h be m(s). Let c be (-1)/h - (-1 + 2). Is c greater than or equal to 5?
False
Let b(m) = -16*m - 51. Let v be b(6). Are v and -147 nonequal?
False
Let u(f) = -f - 20. Let b be u(0). Suppose r + 0 = 3. Suppose 5*p + 107 = 15*n - 12*n, p = r*n - 31. Is b less than or equal to p?
True
Let r(d) = -3*d + 10. Let h be r(3). Is -5/74 > h?
False
Let v = 101 + -17. Let j = v - 586/7. Suppose u + 2 + 1 = -s, s - 1 = -5*u. Which is bigger: j or u?
u
Let t = 10 + -16. Suppose -2*r = -29 - 7. Let y = 12 - r. Is y bigger than t?
False
Suppose 3*c + 4*x = 3*x + 1582, 0 = -5*c - 3*x + 2638. Is c at least as big as 527?
True
Let c be (-10)/20 + 7/2. Let d = c + 3. Let b = 0.5 + -1.5. Is b less than or equal to d?
True
Let c be 7*1*24/28. Let b(d) = d**3 - 6*d**2 + d - 5. Let l be b(c). Suppose -2*s - 3 = -2*v - l, -5*v + s + 1 = 0. Is v greater than 0?
False
Let r = -4 + 1. Suppose 5*b - 3 = 8*b. Is r at least b?
False
Let j = -2157 - -2165. Let a(n) = 2*n + 12 - 4*n + 4. Let v be a(j). Which is smaller: v or 7/9?
v
Let d be 1*(-23)/38 - 1/(-2). Let i = 1 + -2. Is d <= i?
False
Let c = -587 + 2933/5. Which is smaller: c or -162?
-162
Let m(f) = 2*f - 2. Let r be m(5). Let j be ((-3)/12)/((-1)/r). Suppose -3 = -j*k + 3*k. Which is smaller: -1 or k?
k
Suppose -4*v + 72 = 5*r, -3*v - r + 48 = -6. Let z = 10 - v. Let h = z - -6. Is h equal to -3/4?
False
Suppose 20*r + 4112 = -13508. Is r smaller than -881?
False
Let b = -1 + 5. Let v = -7 + b. Which is greater: v or -4?
v
Let i(x) = x**2 + 7*x + 12. Let k be i(-9). Let s = -31 + k. Which is smaller: -7/6 or s?
-7/6
Suppose -3*t - 23 + 5 = 0. Suppose d = 2*f - 142, -4*f + 2*d = 3*d - 290. Let u = f + -79. Is t at least u?
True
Let w = 30 - 31. Is w at least -1/934?
False
Let t = -636 + 637. Which is bigger: 5/122 or t?
t
Let j(m) = -m**2 + 9*m + 36. Let v be j(12). Is 16/15 greater than or equal to v?
True
Suppose 104*u = 103*u + 44. Suppose -49*o = -u*o + 50. Is o smaller than -43/5?
True
Suppose 4*o - f = -0*f + 5, -2*f + 6 = 0. Suppose -3*t - 2 = i - 1, 0 = -3*t + 2*i - 7. Let l be 4/(t + 3) + o. Which is bigger: l or 1?
l
Let z(o) = o**3 - 6*o**2 + 8*o + 4. Let v be z(4). Suppose -2*b - 5*i + 51 = -7, 87 = 3*b + v*i. Is 30 at most as big as b?
False
Let u = -168 + 168. Suppose -4*i + 0*g = -2*g + 10, 2*i = -5*g - 35. Let m be 6/(-20)*i/(-6). Which is bigger: u or m?
u
Let y = -0.256 + 0.156. Which is smaller: 8/9 or y?
y
Let g be 9*(5241/9 + -2). Let z = g - 161883/31. Let b = 334/217 - z. Is b > 1?
False
Let v(o) = 4*o - 4. Let b be v(4). Let j = b + -26. Let m = j - -19. Which is bigger: m or 6?
6
Suppose 5*j - 5*q + 839 = 114, 3*q = -2*j - 295. Is j less than or equal to -146?
True
Suppose b = -2*u - 18 - 73, -3*u - 3*b - 129 = 0. Let y be -3 - ((-1164)/u + 1/(-4)). Which is greater: y or -24?
-24
Let z = 329.1 - 329. Is z small