hich is smaller: l or -300?
-300
Let t be 1*(-2 + 7)*1. Let o(f) = -f**3 + 6*f**2 - 5*f + 2. Let s be o(t). Suppose 4*x = -5*k + 60, 5*k - 7*k + 24 = -x. Which is bigger: s or k?
k
Let g be (1 - (-9)/3) + -1. Let w = 14 + -13. Let l = w + 0. Which is greater: l or g?
g
Let g = 14 + -14. Let n be 3 - ((-1155)/(-6))/5. Let k = n - -35. Is g at most as big as k?
False
Let s = 3319 - 229009/69. Let d be 1 + 1 + (-1 - 0). Which is greater: s or d?
d
Let q = -329 - -328. Is 7/44 bigger than q?
True
Let b = 3 - 14. Suppose 13*s + 13 = 12*s. Which is smaller: s or b?
s
Let f = 24299 + -315467/13. Is f <= 33?
True
Suppose 1 = -4*g + g + 2*t, 3*g - 5 = -t. Is 2/219 > g?
False
Let a = 2.9 - -0.1. Let w = -3.3 + a. Do -5/2 and w have different values?
True
Let h = -1949.3 + 1950. Are -0.43 and h unequal?
True
Let p(f) = f**3 - 22*f**2 - 3*f + 105. Let a be p(22). Which is smaller: a or 38?
38
Suppose 0 = 5*f - 3*f. Let t = 13 + f. Let y = 4 - t. Which is smaller: y or -11?
-11
Suppose 4*j - 2*l + 4*l + 532 = 0, 5*l = 5*j + 680. Are -135 and j nonequal?
True
Let o = -2.2 - -0.2. Let t = -0.0372 + -4.9028. Let d = 5 + t. Is o at least as big as d?
False
Let q = 5 - 0. Suppose 7*k - 42 = q*k. Suppose -k = 2*p + p. Do -8 and p have the same value?
False
Let x = 7.57 + -9.57. Is x greater than or equal to 6/37?
False
Let u be 4/12*3393/10. Let j = -113 + u. Do -1 and j have the same value?
False
Let v be 57/(-399) + (174/(-7) - -2). Which is smaller: v or -15?
v
Let p(i) = 11*i**3 - i**2 - 2*i + 3. Let s = 43 + -42. Let b be p(s). Are 10 and b equal?
False
Let v = 11.22 - 1.22. Let c = -7 + v. Are c and 1/2 equal?
False
Let w = 21 + -32. Let f = 2 + -11. Which is smaller: w or f?
w
Suppose -2*i = -2*h + i + 14, -5*h - 3*i = 7. Let y be (7 - 9)*(-20)/(-112). Are h and y equal?
False
Suppose 5*g = 23 + 62. Suppose 16*m + 15 = g*m. Are 8 and m equal?
False
Let c be ((-2)/(-3))/(4/30). Suppose 4*y + 10 = -5*d - 9, -c = y + d. Let o = y + 6. Is o at most as big as 1?
True
Suppose -5*d - 18 = 2*u, 3*d = u - 2*u - 10. Let p be 0*(-1 + 6/4). Suppose i = 3*j + 8 + 5, p = 2*j + 4*i - 10. Which is smaller: d or j?
j
Suppose 0 = -12*u - 495 - 741. Are u and -103 equal?
True
Let x = 61.15 + -61. Is -3/5 at least x?
False
Let u be 12/30 + (-51)/115. Let m(s) = -s**2 - 7*s + 8. Let h be m(-8). Which is smaller: u or h?
u
Let n = -26 + -22. Let y be (-4536)/n*(-4)/(-6). Does y = 63?
True
Let c = 47 + -30. Suppose 14 - c = m. Which is smaller: 1 or m?
m
Let m = 1.2 + -1. Let j be (-4 - (1 - (3 + 2)))/2. Let g be -4 + 1 + j + (-45)/(-27). Is m bigger than g?
True
Let g = 15 + -9. Let o(h) = h**3 - 5*h**2 - 4*h - 2. Let s be o(g). Suppose b + s = -4*b. Is b at least as big as -2?
True
Let u(n) = 59*n - 6. Let j be u(2). Is j < 112?
False
Let l = -411 + 2057/5. Which is greater: l or 9?
9
Let d(m) = -m**2 - 7*m + 9. Let j be d(-8). Let n be (-9)/(-12) - j/(-4). Is -31 bigger than n?
False
Suppose -13*x - 378 = -27*x. Is 12 != x?
True
Let a = 9 + -3. Let l be 6/2*a/(-27). Suppose 0 = -2*p + 3*g - 13, g - 4*g + 11 = -p. Which is bigger: l or p?
l
Let n(c) = -3*c + 3. Let k(a) = -5*a + 6. Let f(y) = 6*k(y) - 11*n(y). Let p be f(-4). Let m(l) = l**2 + 10*l + 8. Let o be m(-8). Which is smaller: o or p?
p
Let a = -434 + 404. Is -25 > a?
True
Let y = -23 - -17. Suppose -3*w + 110 = 2*w. Suppose 2*q + 3*d + 29 = -2*q, -3*q = 2*d + w. Is y at most as big as q?
False
Let a(v) = v + 24. Let r be a(-25). Which is smaller: 2 or r?
r
Let m = -12.9 - -13.9. Let o be 0 + (0 + -2 - -18). Suppose -i + 2 = 3*a - 10, 4*a - o = -2*i. Is m less than or equal to i?
False
Suppose 0 = -3*v - 5*x + 20, 0*x + 4*x + 8 = 0. Let z be (-75)/(-33) + (-5)/(v/4). Let m be 0 - -1 - (3 - 2). Is z <= m?
False
Let n be (90/4)/((-6)/(-8)). Suppose -n = 7*g - 13*g. Is g not equal to 6?
True
Suppose 2*h - 4*h + 7 = f, 2*h = 3*f - 5. Suppose f*o + 18 = 2*o. Let n be (-3 - 166/10) + (-6)/(-10). Which is smaller: n or o?
n
Let s = 26257/3 - 4664993/533. Is 1 <= s?
False
Let i = -626 - -621. Let h be (-6)/5*3/(-12). Which is greater: i or h?
h
Let n = -514 - -513. Which is smaller: 4/33 or n?
n
Let u = -32 + 35. Let f be -2 - 3*(-1)/u. Is -1/3 > f?
True
Suppose 2*j + 3*j = 35. Let s(i) = 8*i - 24. Let f be s(4). Is f equal to j?
False
Suppose p = 5*y - 38 - 81, 2*p - 26 = -y. Let o = y + -88. Is -64 at least as big as o?
True
Suppose 10 = -2*l - 0*l. Let x be 0*(4 + (l - -2)). Which is smaller: x or -1?
-1
Suppose 24*r = -1585 + 529. Which is smaller: -10 or r?
r
Let v be 12/(-45) + 0 - 4/12. Let n = 3/20 - v. Is 0 >= n?
False
Let p(y) = 9*y + 77. Let v be p(-16). Which is smaller: v or -68?
-68
Let z be ((-1)/((-3)/2))/((-2)/471). Which is greater: z or -156?
-156
Suppose 3*v - 11 = 13. Let g be (-136)/220 - v/(-10). Are 2/3 and g equal?
False
Let q(n) = -n**2 + n + 1. Let l be q(0). Let t = 11 - l. Suppose -2*h + 4*x - t = 4, 28 = -4*h + 2*x. Does h = 1?
False
Let q be (-2 + 5 - -3) + -1. Suppose -7*p = -q*p - 10. Suppose -5*c + 5*d = 2*d + 80, 3*c + p*d = -48. Is c < -16?
False
Let x be ((-1)/(-29)*-3)/(-1 + -2). Which is smaller: -1 or x?
-1
Let g = -0.73 + 0.685. Let m = 0.055 - g. Which is bigger: -2/43 or m?
m
Let v = 3478 + -24259/7. Are v and 12 non-equal?
True
Let d = -0.772 + 0.872. Let j = -66 - -47. Which is bigger: j or d?
d
Let r be (-3)/18 + 246/72. Let m = r + -31/12. Which is smaller: -1 or m?
-1
Suppose -60 = 5*u - 2*u. Suppose -6*x - 64 = 56. Is x greater than or equal to u?
True
Let l = 356 + -345. Which is smaller: 1 or l?
1
Let x = 3604 + -14727/4. Is 2/3 >= x?
True
Let a = -3.03 - -0.23. Let c = a - -2.63. Is 0 smaller than c?
False
Let n be 0/((-5 + 4)/1). Let h(c) = n*c - 2 + 6*c - 5 + 1. Let w be h(3). Is w at least as big as 1/5?
True
Suppose -4*o - 1376 = -4*p, 4*o = o - 4*p - 1046. Let l = o - -3810/11. Suppose 48 - 52 = 4*u. Is l less than u?
False
Let a = -1063/5 + 205. Do a and -7 have the same value?
False
Let b(a) = 3*a**2 - 121*a + 113. Let p be b(40). Which is bigger: p or 53?
p
Let n be (4 - 4)/(1 + -3). Let b(m) = 0*m - m + n - 3*m**2 + m**3 - 5*m + 6. Let f be b(4). Is -5 less than f?
True
Let l be 294/(-30) + 9 + (-1)/5. Is -26/47 bigger than l?
True
Suppose 848 = -h + 847. Let i = 139 - 3613/26. Are h and i nonequal?
True
Let z = -16 - -16. Suppose -r + m = 8, -2*r - 16 = 2*m - z*m. Is -29/4 at most as big as r?
False
Let h = -74387/42067 - 8/1357. Which is bigger: h or -2?
h
Let k be 3/6 - 1/(-2). Suppose 5*x + k = -4. Suppose 3*n = 4*a - 6*a, -2*n = 5*a. Which is greater: x or n?
n
Suppose 0*h = -4*x + 2*h + 290, -4*x = 5*h - 325. Suppose 0*g = -3*g - 12. Let d be x/(-20) + g/(-1). Is d at most -1?
False
Let u = 42/145 - 20/29. Suppose c + 3*j = 6 + 10, 0 = 2*c - 4*j + 18. Which is smaller: u or c?
u
Let r be 4/((32/(-16))/(1/3)). Which is smaller: r or 293?
r
Let k = -1201 + 8405/7. Let q(y) = -3*y - 1. Let f be q(-4). Which is greater: k or f?
f
Let v = -27 + 27. Let j(l) = -l**3 - 2*l**2 + 3*l - 1. Let z be j(-3). Let r(s) = -s - 1. Let n be r(z). Is n at most as big as v?
True
Let d = -0.0155 - -0.0155. Is -6/71 bigger than d?
False
Suppose -5*s - 2*w - 7 = 0, s + 5*w - w = 13. Let c be (7474/(-143))/(317/(-14)). Let d = 2/3487 - c. Which is smaller: s or d?
s
Suppose 105 = 36*f - 31*f. Which is smaller: 24 or f?
f
Let a be -1*2/1421409*-3714. Let x = a + -1/2267. Let t = 423/1045 - x. Which is greater: -0.07 or t?
t
Let j = 1192 - 249127/209. Which is smaller: j or 0.1?
j
Suppose -3*l - 6 = -h + 7, -36 = -2*h + l. Which is greater: h or 21?
21
Let a = 109 + -120. Let f be 4/(-6) - (-86)/(-6). Let y = a - f. Is 4 at least as big as y?
True
Suppose 3*a + 4*i = 4, -2*a - i - 2*i + 1 = 0. Which is bigger: a or 1?
a
Suppose 0 = -4*z - 0*f - 4*f + 64, z + 5*f - 20 = 0. Let j be 1 + -5 - (z - 18). Which is greater: j or 2/13?
2/13
Let f(m) = -6*m**2 + m + 3. Let y(z) = z + 4. Let a be y(-6). Let k be f(a). Let s = 26 + k. Which is greater: 7/2 or s?
7/2
Let r = -1085/636 + -7/159. Suppose d + 3*d = -4. Let m be -2 + (-1)/d + -1. Which is bigger: m or r?
r
Let c be 4 + 3 + -10 - 1. Which is bigger: 2/103 or c?
2/103
Let o be (-8 - -7) + (49 - 3). Which is smaller: 44 or o?
44
Suppose 5*u - 2*c = u - 154, 0 = 2*u + c + 75. Which is smaller: u or -40?
-40
Suppose x = -4*o + 3*x +