 - (0 + -3). Which is smaller: -128 or j?
j
Let z(r) = -17*r + 6. Let h be z(1). Let l = 15 + -12. Which is bigger: h or l?
l
Suppose -9*v = -12*v - 4*x - 12, 3*v = 3*x - 33. Which is smaller: -83/9 or v?
-83/9
Let t(f) = f**2 - 1. Let a(c) = -c**2 - 3*c - 2. Let p(m) = a(m) + 6*t(m). Let l be p(-6). Let y = 1706/9 - l. Is 0 greater than y?
True
Let p be (2/(-1444))/((-3)/12). Let n = p - -337/4332. Let a = -1/3 + n. Which is bigger: a or 0.05?
0.05
Let y = -556 - -595. Is -0.6 greater than or equal to y?
False
Suppose 2*f + 18 = -4*f. Let s(b) = b**2 + 3*b - 1. Let r be s(f). Which is greater: r or 9?
9
Let q(c) = -23*c - 28. Let s be q(-4). Is 65 less than s?
False
Let s = -106.2 - -106.2. Is s not equal to 3.45?
True
Let r be (-4)/16*(-24)/(-38). Which is greater: r or 0.17?
0.17
Let a = -54 + 19. Let v = -56 - a. Let q = v + 19. Which is smaller: q or -1?
q
Let h = 201 - 329. Let m = 122 + h. Is 4/7 greater than or equal to m?
True
Suppose -i - 3*i = 0. Let n be i/1 - (-6 - -5). Let s be n/(-4) + (-17)/(-4). Is s <= 5?
True
Let g be (-6)/8 - 225/(-60). Let p(k) = k**3 + 8*k**2 + 10*k + 9. Let a be p(-6). Let h be (a/14)/(g/20). Is 1 <= h?
True
Suppose 19 + 56 = 5*k. Suppose -k + 22 = -7*h. Is h at most as big as -4/21?
True
Let t = -1.143 + -0.127. Is -1/4 greater than t?
True
Let w = -8 - -59. Suppose -4221*s = -4237*s + 95 + 721. Is s <= w?
True
Let z(n) = 6*n - 6. Let f = 3 + -1. Let u be z(f). Which is smaller: 5 or u?
5
Suppose -13*w + 913 - 900 = 0. Is -0.906 greater than or equal to w?
False
Let o be (-5 + (-3046)/(-610))*-15. Which is bigger: o or 1?
1
Let w be (-1)/5 + 2/10. Let p(u) = u**3 + 11*u**2 + 3*u - 69. Let q be p(-10). Does q = w?
False
Let w = 4 + -4.33. Let x = 0.03 + w. Let z = -32 + 32.1. Are z and x non-equal?
True
Let f be 2*((-21)/6 - -2). Let h be f/(-4) + (-38602)/56. Let g = h - -692. Which is smaller: g or 2?
2
Let w be (-968)/3192 - 1/(-3). Is w bigger than -1?
True
Let i be 11973/(-63) + (-2)/(-6). Let f = -190 - i. Let g = 4264 - 4264.3. Is g at least as big as f?
False
Let f be (162/8)/(9/24). Suppose -33 - 39 = -4*k. Let l be f/176 - k/99. Are l and 1 equal?
False
Suppose 25 = 2*s + 3*s. Suppose -5*n + s*j = 15, -n + j = -6*n - 15. Are n and -3 nonequal?
False
Let n be 82 + -37 + 3 + 3. Is 49 less than n?
True
Let b(a) = -2*a + 14. Let d be b(7). Suppose v + d + 5 = 0. Is v bigger than -6?
True
Suppose -5*x + 4*z = -251, 54 - 59 = -5*z. Which is smaller: x or 55?
x
Let j be -1 + (-2 - -5 - -1). Let m be 0 + j - (2 - -2). Are -6/7 and m non-equal?
True
Let s(v) = -v**2 + 7*v + 37. Let n be s(-7). Is -62 at least n?
False
Let v = -3755.3 - -3755. Let u(k) = 2*k**2 + k - 1. Suppose 3*l + 0 - 3 = 0. Let r be u(l). Is r less than or equal to v?
False
Let t be (-2)/(-5) + (-189)/510. Let f = 79/374 - t. Let q be ((-1)/4)/(61/122). Which is bigger: q or f?
f
Let u be -1 + (8/12)/(102/152). Is -1 smaller than u?
True
Let i(m) = 35*m + 3. Let g be i(0). Which is greater: g or -18?
g
Let z be 21/18 + 1058/(-828). Is -0.4 greater than z?
False
Let p = 12361/875 - 99/7. Which is bigger: 1 or p?
1
Let y be (70/(-230))/(3/12 - 0). Which is bigger: y or -2?
y
Let w = -372/151 - -77371/453. Suppose 3*o - 683 = -4*z, 2*o + 324 = 5*z - 3*z. Let h = w - z. Does h = 1?
False
Suppose -12*b + 15*b = 2*m + 5, m = -4*b + 3. Which is smaller: b or 2/3063?
2/3063
Let i be ((-27)/(-12))/(-9) + 5/4. Do i and -18 have the same value?
False
Let l = 54.827 + -0.927. Let m = l + -54. Which is smaller: 10 or m?
m
Let f = -0.07 - 0.75. Let l = 0.18 - f. Is -0.2 smaller than l?
True
Suppose -230 = -4*j - 2*h, 3*h - 36 = -j + 29. Let x = -68 + j. Is -10 != x?
True
Let p = -29 - -3. Let w = p - -23. Let d be ((-16)/(-24))/(2/w). Is d bigger than -6/7?
False
Let r = -511/1315 - 3/263. Let a = 6 + -3.2. Which is smaller: r or a?
r
Let i be (-77)/(-1)*(58 - 60). Do i and -155 have the same value?
False
Let c = -2 - -1. Let a(y) = -y**3 + y**2 + y + 1. Let f(j) = -j**2 + j + 2. Let b(q) = a(q) - f(q). Let d be b(c). Is -2/9 bigger than d?
False
Suppose 3*l = -5*z + 1848, -5*l + 352 = -z + 2*z. Let m be 2/(-4) + 1864/5. Let h = z - m. Is h > -1?
True
Let o(t) = -24*t + 3. Let l be o(1). Let v be (-323)/17 + 1 + -1. Is v <= l?
False
Let b = 642/5 + -2263/20. Which is bigger: b or 15?
b
Let a = 47 + -88. Let b = a - -40.8. Is 0.03 less than or equal to b?
False
Let o be (-4)/(-10) + (-34)/10. Let j be 15/(-9)*o/1. Let r be (-50)/(-30) + 6/18. Is r < j?
True
Let u = -35.56 + 36. Let g = 28.44 - u. Which is greater: g or 0?
g
Let q(d) = 3*d**3 - 2*d**2 + 2*d - 1. Let o be q(1). Suppose -2*h = -2*g - 2, -4 = 4*g + 3*h + o*h. Which is smaller: g or 4/17?
g
Let a = 36 - -10. Let x = 111 - a. Let p be (-1)/3 - x/3. Which is bigger: p or -21?
-21
Let x = -38.251 - -38. Let i = x + 0.051. Which is greater: -2/99 or i?
-2/99
Let b(a) = a**2 + 7*a - 13. Suppose 5*m = 2*s - 53, -2*m = -5*m + 4*s - 43. Let u be b(m). Let v be ((-6)/2)/((-3)/3). Is v less than or equal to u?
True
Let i(h) = -h**3 - 4*h**2 - 5*h - 14. Let y be i(-4). Let j(l) = -4*l + 15. Let f be j(y). Which is smaller: f or -10?
-10
Let h = -63 + 62. Let v = 38 - -12. Let x be v/(-24) - 5/20. Are h and x non-equal?
True
Let d = -16 - -8. Let l(r) = -r**3 - 7*r**2 + 8*r + 10. Let v be l(d). Suppose -2*q - 5 = 3*k, 5*k + 4*q + v + 1 = 0. Is -2 != k?
True
Suppose 8*q = -7*q - 15. Which is greater: q or -141?
q
Let s = 346/5 - 703/10. Which is bigger: s or -2/3?
-2/3
Let h = -247 + 221. Let g be (2/1)/(8/(-108)). Which is greater: g or h?
h
Let m = 469 - 277. Let n be ((-2)/44)/((-8)/m). Let z = -8 - -8. Which is smaller: n or z?
z
Let w(y) = 2*y + 5. Let h be w(-5). Suppose 11*v - 32 = 19*v. Which is bigger: h or v?
v
Let s = 2251.94 + -2252. Suppose 0 = -m - 4 - 0. Is m > s?
False
Let w(i) = -4*i**3 + 2*i - 2. Let u be w(1). Is -25/8 at least as big as u?
True
Suppose -3*r - 3*m = -27, 3*r + m - 18 = 1. Suppose w + r = -4*w. Let d be 3/((-51)/(-2)) - 11/(-51). Which is smaller: w or d?
w
Let t = -14 - -17. Suppose -2*d - n = 2*d + 15, -3 = t*d - 2*n. Is d less than or equal to 4?
True
Let g be ((3 + 3)*-1)/1. Let k = 1.2 - 9.3. Let l = -8 - k. Is g bigger than l?
False
Let f be 6/18 + (-15)/(-9). Suppose f*r + 0*a + 2 = 3*a, -4 = 3*r - 5*a. Suppose -r*u = u. Is 2/9 greater than u?
True
Suppose 10*x = -10*x + 19*x. Is 6/329 greater than or equal to x?
True
Let g(c) = 72*c + 408. Let h be g(-6). Is -19 at least as big as h?
True
Let w(l) = -2*l + 16. Let q be w(20). Let m(g) = -g**2 - 9*g - 15. Let b be m(-10). Which is smaller: q or b?
b
Let r = -13105 + 52919/4. Is 124 <= r?
True
Let l = 152 + -152. Let b be (1/6)/((-26)/4). Are b and l nonequal?
True
Let z(k) = k**3 - 14*k**2 - 2*k + 32. Let q be z(14). Suppose 6*h = q*h + 26. Which is smaller: 11 or h?
11
Let d = 155 - 138. Let l = d + 6. Is 23 not equal to l?
False
Let g = -1337.74 - -1350. Let q = 0.26 - g. Let c = 15 + q. Is 2 != c?
True
Let j be 2*-3*(-769)/78. Let a = -59 + j. Is a greater than 1?
False
Let y = 10 + -7. Suppose y*o + 12 = 18. Suppose 0 = -a - 3*j - o, 3*j - 46 = -a + 6*a. Which is greater: -6 or a?
-6
Let r be (-22358)/(-4)*6/39. Let n = -859 + r. Which is bigger: n or 2?
2
Let v(a) = 2*a - 9. Let d be v(6). Suppose -4*c + 46 = u + u, 0 = u - d. Which is greater: c or 5?
c
Suppose 0 = -w - 5*x + 28, x = -w - 0*x + 8. Which is bigger: -0.5 or w?
w
Suppose 2*a + 10*a = -348. Which is greater: -31 or a?
a
Let h(q) = -1 + 7 + 4 - 3*q**2 + 2*q**2. Let r be h(-3). Are 3/11 and r equal?
False
Let q(d) = -d**3 + 8*d**2 - d. Let t be q(8). Let f = t - -7. Let s be -1*(-16)/14 + 7/(-49). Does f = s?
False
Let j = -236 - -235. Which is bigger: j or 1/69?
1/69
Suppose 0 = 5*m - 4*n - 4, -14 = -4*n + 2. Let x(k) = -k**2 + 5*k - 2. Let r be x(m). Suppose -r = 5*o + 3. Which is smaller: -2/33 or o?
o
Let a be ((-4)/(-3))/((-2)/(-6)). Suppose 2*i = -2*z + 4, a*z + 2 = -2*i + 8. Is 1/26 less than z?
True
Let o be (-1)/(1/(14/(-2))). Suppose 4*j = -4*s + 3*j + 21, 5*s + j = 25. Let h = s - 2. Which is bigger: h or o?
o
Suppose -15 = 13*d - 28*d. Is 1/385 <= d?
True
Suppose -v - 17 = -3*f, 0 = v - f - 0 + 7. Which is smaller: 0 or v?
v
Suppose -m + 5*c + 215 = 0, 12*m - 1147 = 7*m + c. Which is smaller: 229 or m?
229
Let o = 556/9 + -6