4/3 or c?
4/3
Let x = -9 + -165. Which is greater: x or -176?
x
Let k = 22 + -19. Let z be (k/(-3))/(1/1). Let o be ((2 - 4) + 0)/(-2). Which is greater: o or z?
o
Let w = 2916.94 + -2917. Which is greater: -17 or w?
w
Suppose 0 = 5*u - 2*g + 910, 3*u + 3*g + 572 = -g. Is -183 greater than u?
True
Suppose 10 - 1 = 3*a. Suppose 2*x = -4*n - 68, 0*x + 2*x = a*n + 37. Is n equal to -14?
False
Let v = 2239 + -11237/5. Is -7 at most as big as v?
False
Suppose -5*k + 15 = 0, 150 = -v - 2*v + 4*k. Is -46 bigger than v?
False
Suppose -5*n - t + 78 = 0, 69 = 5*n - 0*n - 2*t. Let i = -1/1060 + 14311/1060. Which is smaller: i or n?
i
Suppose -2*n - 726 = -2*l, -1815 = -5*l - n + 5*n. Suppose 6*o = -5*o - l. Is o < -33?
False
Let o be (9 + -11 + 12)*28/5. Let g be (-15)/(-2)*o/(-42). Which is bigger: g or -12?
g
Let j be -2 + 3225/1386 + (-1)/3. Are 0 and j unequal?
True
Let a(l) = l**2 - 4*l - 3. Let h be a(-3). Let p be 50/3*(-7 + 10). Suppose 0 = 3*v - p - 1. Which is bigger: h or v?
h
Let x = 11.8 + 2.2. Let o = 39 - 23. Let d = x - o. Are -0.1 and d equal?
False
Suppose -1 = -7*d - 8. Let i = d + 11. Let l(b) = 11*b - 1. Let z be l(1). Is i < z?
False
Suppose 6 = -2*l - 2. Let n(t) = -2*t - 2. Let i be n(l). Let r = 78 + -71. Which is smaller: i or r?
i
Let k be 69/(-2)*(-12)/9. Is 43 <= k?
True
Suppose 4*c + 2*h = 88, -4*c + 6*c + 4*h = 56. Suppose -342 = -4*k - k + 2*w, 5*w = c. Is k <= 69?
False
Let g = 125 + -124. Which is bigger: g or -5/71?
g
Let u be ((-20)/8 - -4)*2/3. Which is bigger: -8/51 or u?
u
Suppose -4*g - 282 + 1158 = 0. Let x = 650/3 - g. Which is smaller: -1 or x?
x
Let m = 647 + -643. Which is smaller: m or 1/25?
1/25
Let u = -46.086 - -46. Let s = u + -0.014. Is -0.38 at most s?
True
Let f = -1596459/66380 - -1/3319. Let r = f - -93/4. Is r < -2?
False
Let y = 0.06063 + 27.93937. Let c(h) = -h**3 - 3*h**2 - 3*h - 3. Let g be c(-2). Do g and y have the same value?
False
Let i(z) = z + 6. Let w be i(-5). Let y be (3 + 25/(-10))*8. Suppose -v = 4*l - y*v - 8, 8 = 4*l + 3*v. Which is greater: l or w?
l
Let u be (-8)/(-28) - 18/14. Let w = -1142 - -19403/17. Are w and u nonequal?
True
Let h be 2/(-20)*((-44)/(-28) + -1). Which is smaller: h or -1?
-1
Let n = -454/35 - 428/5. Let i = n + 98. Is -0.04 at least i?
True
Let o(j) = -8 - j**2 + 4 - 6*j - 4. Let y be o(-3). Let v = 11 + -8. Which is smaller: v or y?
y
Let o = -57 + 91. Do o and 104/3 have the same value?
False
Suppose 4*c + 0*c + 35 = -3*p, -p + 3*c - 3 = 0. Which is smaller: 3/28 or p?
p
Let z(k) = 6*k**2 + 9*k - 1. Let g be z(-5). Let d = -11 + 9. Let h be 34/g - d/(-8). Which is smaller: h or 2?
h
Suppose 330 = 3*b - g, -4*g + 191 = 2*b - 29. Which is greater: b or 109?
b
Let l = -18 + 18. Let d = -2164/13897 + 2/1069. Is d < l?
True
Let j be 3/4 - ((-330)/(-24) - 14). Are j and 1/714 non-equal?
True
Let m(x) = -6*x**2 + 40*x - 29. Let a be m(5). Let o = -7 + 31. Is a greater than or equal to o?
False
Suppose -8*b - 215 = 345. Let y be 2/(-28)*(-40)/b. Is y greater than -1?
True
Let h = -1080 + 1020. Is -62 at most as big as h?
True
Let r be (-4)/(-14) - 108/2583. Let m = -4/41 + r. Let p = -100/123 + m. Is 2 at least p?
True
Let s(b) = b**3 - b**2 - b + 4. Let g be s(0). Let w = g + -5. Let u = -309 - -9887/32. Does w = u?
False
Let k = -6.42 - 23.68. Let z = k - -30. Which is bigger: 14 or z?
14
Suppose -2*w + 5*w - 9 = 0. Is 40/13 >= w?
True
Suppose -3013 = 10*p - 33*p. Which is greater: 133 or p?
133
Suppose d = 3*c + 10, 0 = 5*d - c - 10 - 26. Let o(v) = v**3 + 5*v**2 - v + 2. Let k be o(-5). Let w = k - d. Which is smaller: 3 or w?
w
Let s = 4.55 + -4.65. Let u(d) = 3*d**2 + d - 3. Let z be u(-3). Which is greater: s or z?
z
Suppose -10*j - 2*j - 9*j = 0. Which is greater: 2/331 or j?
2/331
Let g(h) = -3 - 18*h**2 - 13*h**2 + 30*h**2 + 25*h. Let c be g(23). Is c smaller than 43?
False
Let i = 1144 + -1119. Let y = -18 + 42. Is y at least as big as i?
False
Suppose 3*p + 29 - 5 = 0. Let m(d) = -15*d. Let r be m(-2). Suppose 4*o + r = -2. Is p > o?
False
Let r = 215 - 2799/13. Which is greater: r or 13?
13
Let b be (2/(-6) + (-12)/(-36))/3. Which is bigger: 10/71 or b?
10/71
Let c be 4/10 + 22/(-10). Suppose 19*b + 6 = 22*b. Let j be b/(-16)*-4 + 7/(-2). Do j and c have different values?
True
Let f = 55287 + -662483/12. Let d(z) = z**3 + 5*z**2 + 7*z - 2. Let l be d(-6). Let s = l + f. Is s less than or equal to -1?
False
Let d = 26/71 - 1856/3905. Which is smaller: d or 1?
d
Let a = 46 + -37. Let o be 2*(a/(-2) + 4). Do 1/8 and o have different values?
True
Let g(w) = w**2 - 10*w + 5. Let k be g(4). Is k less than -17?
True
Let a = -1001 + 560. Is -440 at least a?
True
Let a(j) be the third derivative of -j**4/24 + j**3/6 - 13*j**2. Let z be a(5). Which is greater: -3 or z?
-3
Let h = 167 + -173. Which is smaller: h or -0.09?
h
Suppose m - 488 = 948. Let t = -35894/25 + m. Which is bigger: t or 1?
1
Let b = -7.2 - -12.3. Let r = b + -4. Is r less than or equal to -0.1?
False
Let l be -11 + 16422/(-91) + -7. Which is greater: -197 or l?
-197
Let c(d) be the first derivative of -5*d**4/4 - d**3/3 - 3*d**2/2 - 2*d - 6. Let m be c(-1). Do 7 and m have the same value?
False
Let k(m) = -5*m**2 + 8*m - 12 + 6*m**2 - 16*m. Let c be k(0). Is c bigger than -13?
True
Let o(y) = y**3 - 40*y**2 - 83*y - 73. Let i be o(42). Suppose -3*d - 48 - 25 = 5*s, 4*s + 77 = -3*d. Is d at least as big as i?
True
Let f(m) = 11*m**2. Let g be f(1). Suppose 46 = 7*n + g. Suppose -4*l + 1 = 2*p - 9, 0 = n*p - 25. Is l greater than or equal to 2?
False
Suppose -5*s - 20 = -5*i, -10*s = -13*s + i - 8. Let o = 1/126 + -421/126. Is s smaller than o?
False
Let w = -21 - -29. Suppose -5*r + 4*p + 41 = 0, 0*p + 2*p + w = 0. Suppose 0 = r*n + 10, -u - n = 4*u - 3. Which is bigger: u or 2/17?
u
Suppose 0 = 2*b + 4*j + 1 - 15, -4*b + 4 = 2*j. Is -30/43 less than b?
False
Suppose 2*d = -2*y + 8, 0 = y + d - 2*d. Suppose -a + 3 = w - y*w, 5*w - 5 = a. Suppose -5*t + 13 = -7. Which is smaller: t or w?
w
Let f be 0 - (7 - -1) - -1. Let y(d) = 2*d + 5. Let o be y(-2). Suppose -5*w - 29 = o. Are f and w unequal?
True
Let i(a) = a**2 + 14*a - 17. Let x(g) = g**2 + 13*g - 16. Let n(h) = -5*i(h) + 6*x(h). Let u be n(-9). Let d be (4 - 62/16)*-5. Is u >= d?
False
Let h = -28/3 - -26/3. Let u = -119.47 - -119. Let l = 4.47 + u. Which is bigger: l or h?
l
Suppose -16 = 5*p - 26. Let o = 15 - 11. Which is bigger: o or p?
o
Let u(m) = -m + 4. Let i be u(2). Suppose -4 = i*x - 16. Is 3 < x?
True
Suppose -25 = -5*t + 4*j, 0 = -t + 3*j + 4 + 1. Suppose -t*a = -3*d + 1, -2*a + a + 3*d = -7. Suppose 0 = -3*q + h - 7, q + 3*h - 6*h = -5. Is a bigger than q?
False
Let w(x) = 52*x - 211. Let t be w(4). Suppose -5*v + 25 = -10*v, 5*s + 65 = -3*v. Which is bigger: s or t?
t
Let u = 31739/447 - 71. Does u = -1?
False
Let o(s) = 8*s**3 + 8*s**2 + 13*s + 44. Let b be o(-5). Which is smaller: -819 or b?
b
Let c(q) = -1 + 12*q**3 - q**2 - 3*q + 0*q - 11*q**3. Let u be c(-1). Let y = -883/35 + 129/5. Which is smaller: u or y?
u
Let w be 1205/8 + (-549)/(-1464). Is 147 at most w?
True
Let w = 1014 + -1013. Let g = -2698/11 - -245. Is w less than g?
False
Let f = -0.3 + 35.3. Let l = -1.74 - 30.26. Let r = l + f. Do -0.1 and r have different values?
True
Suppose -91*h + 102*h = 11. Which is bigger: h or 4/201?
h
Let x = 15661895 - 1863732179/119. Let d = 280 - x. Let r = -184/1071 + d. Is 1 bigger than r?
True
Let s = -23.2 - -23.4. Which is smaller: s or -0.1?
-0.1
Let s(x) = 119*x - 202. Let k be s(3). Which is bigger: k or 311/2?
311/2
Suppose 4 - 3 = -l. Let b = -703267/218 - -3226. Which is smaller: l or b?
l
Suppose 6*d + 61 = -41. Let c = d - -18. Is -3 < c?
True
Let h be (1162/(-105) - -11)/(-2*1). Is -4 != h?
True
Let h be (66/(-55))/((-3)/40). Let i be h/(-20) + (-63)/(-60). Which is greater: 19 or i?
19
Let y = 66 + -212. Is 1 smaller than y?
False
Let f = -310/2223 + 4/117. Suppose -3*v + 4*y + 4 = 3*y, 0 = -3*v - 2*y - 8. Is f equal to v?
False
Suppose 3*z - 33 = -3*q, -3*q + 4*z + 26 = -2*q. Suppose 3*m + 5 = 5*m - o, -5*m = -o - q. Suppose 4 = m*n + 1. Is n at most 1/8?
False
Let o(i) = -i + 38. Let d be o(0). Let v = d - 24. Let j be 7/12*4/v. Which is greater: -1/2 or j?
j
Let n = 1 - -3. Suppose r - n*r = -5*w + 1