11*d = -2*b - 9*d + 554. Which is greater: b or 11?
b
Let c be (-2 + 23 - 15)*3863. Is c > 23178?
False
Let q(b) = -b**2 + 11*b - 28. Let y be q(4). Let j = 13.97 - -0.03. Which is smaller: y or j?
y
Let w = 420897/9625 + -21/1375. Which is bigger: 45 or w?
45
Suppose -5*l - 34 - 1 = -5*p, 0 = -5*l + 4*p - 29. Which is bigger: l or -77/103?
-77/103
Let i = 71 - 68. Suppose -28 = -2*a - 4*o, -i*a + 2*o - 2 = -2*a. Suppose -2*y - 3*y = 5*k + 15, 3*y = -a. Are k and -4 unequal?
True
Let f = -113 - -170. Suppose -4 - 27 = o. Let h = o + f. Is 26 at most as big as h?
True
Let w(f) = 2*f**3 + 49*f**2 - 67*f - 42. Let t(j) = -3*j**3 - 74*j**2 + 100*j + 63. Let l(n) = -5*t(n) - 7*w(n). Let k be l(-28). Which is smaller: 309/5 or k?
309/5
Let o = -113 - -160. Let p = o + -50. Which is bigger: 10 or p?
10
Let l(x) = 15*x + 262. Let z be l(-17). Let u be z + (-1408)/24 - 9. Is -60 < u?
False
Suppose -11*k = -14*k + 243. Suppose 3*g + 0 - k = 0. Let w = g + -28. Is 3/44 less than w?
False
Let s = 13/37 - 1441/3996. Suppose -41*k = 4*k - 1440. Suppose -k*l + 0 = 32. Which is bigger: l or s?
s
Let h = -38 + 87. Let j = -32.6 - -49.7. Let f = -17 + j. Which is bigger: f or h?
h
Let p = -0.12164 - -0.04364. Which is smaller: p or -5/7?
-5/7
Let v be (2612/6888)/((-456)/32). Let z be (-4)/114*(-6)/(-41). Let t = v + z. Which is smaller: t or 1?
t
Let b(a) = -a**3 + 8*a**2 - 5*a - 17. Let t be b(7). Let h be 2/t - 12524/(-18507). Which is bigger: -1 or h?
h
Let u = -6562 - -6275. Is u greater than -6/13?
False
Let f be 2/1 + 992/11. Suppose 2*t = 145 + 39. Let l = t - f. Which is smaller: 0.3 or l?
l
Suppose -2*w = 2*w + 3*q + 8, -3*w - 3*q = 3. Let h be (w/(-3))/(1/(-3)). Suppose -484*p = -477*p + 35. Are p and h unequal?
False
Let h = 188 + 31. Let u be (h/84 - 2)*32/12. Which is bigger: 2 or u?
2
Suppose -4*f + 348 = -4*a, 6*f + a - 405 = f. Let y = -74 + f. Which is greater: y or -0.2?
y
Let i = 82 - -26. Let j = i - 121. Let m = j - 2. Which is smaller: m or 3/8?
m
Let u = 52002/19085 + -119/347. Are u and 3 unequal?
True
Let k = -155 + 156.0344. Let g = k - 0.0344. Let j = 8 - 25. Which is greater: g or j?
g
Suppose -96 = -6*k + 10*k. Let z be ((-15)/25)/((-42)/(-1666)). Are z and k nonequal?
True
Let s = 26865 - 26865. Which is bigger: s or -2/25041?
s
Let g = -33.9 + 23.9. Let p = 1.81 - 0.41. Are p and g equal?
False
Let b be (-25 - 0)/(-1) + 0. Let j = b - 29. Let f be 1 + (0 - j/(-36)). Which is bigger: f or 2?
2
Let l = 16730 - 16735. Is 16/13 bigger than l?
True
Let j be (-15*(6 + -5))/(-3). Let i be ((-6)/18)/((-5)/(-24))*j. Is i > -5?
False
Let x be (20/(-1110))/(1408/(-330)). Is x >= 0?
True
Suppose -5*l - 103350 = l. Let y be (-5)/(l/(-20))*4/8. Is 0 not equal to y?
True
Suppose -26 + 1 = -5*j, 0 = 5*y - j - 15. Let z be (-183 - -3)/y + -6. Is -51 at most z?
True
Let t(n) = n**2 - 5*n - 1400. Let l be t(-35). Let z = 616 + -73302/119. Which is smaller: z or l?
l
Let s be (((-6)/6 - -2) + 1)*19/38. Which is bigger: 0.296 or s?
s
Let t = 11 + -2. Let y = -12.21 - -3.17. Let h = y + t. Is 0.3 bigger than h?
True
Suppose 0 = -b - 3*y + 140, 0 = -2*b + 3*y - 157 + 455. Suppose -4*u - u + b = -4*t, -5*t = -5*u + 185. Let a = t + 41. Is a smaller than 3?
True
Suppose 9*z + 75 = -16*z. Let c be (-1)/z*(-41 + 26). Is -64/13 not equal to c?
True
Suppose 4*z + 3*u + 59 = 0, -3*u = -4*z - 39 - 14. Is 22 > z?
True
Let r = 23 - -5. Let q = r + 44. Is 71 >= q?
False
Let z be (6/(-3032))/(4/(-8) - 234/(-144)). Which is smaller: -1 or z?
-1
Let c(p) = p**3 - 7*p**2 - 4*p - 37. Let d be c(-6). Let a be d/104 + 5/(-20). Is -4 at least as big as a?
True
Suppose -3*d + 3*g = 0, 4*d - 3*g + 0 - 4 = 0. Suppose 4*t + 5*j + 702 = 0, 536 = -d*t + t + j. Does -178 = t?
True
Let t = -1586/5 - -12703/40. Which is smaller: t or -22?
-22
Let s = -78.62 + -2.98. Let t = -81.655 - s. Is 0.6 at most t?
False
Suppose -6*r = -5*r - 29. Suppose 10 = 17*b - 15*b. Let o be ((-2)/b)/((-68)/4675). Which is smaller: r or o?
o
Let m be (-10 + 626)/(1/1) - 5. Let a be (-94)/m + (-178)/26. Which is greater: a or -2?
-2
Let p be 3/(-9) + 14/6 + 3. Let x be 1/14*(p - (-52)/(-12)). Let s = 29 - 30. Which is bigger: s or x?
x
Suppose 7*w - 3*n - 12270 = n, 0 = -2*w - 2*n + 3512. Do w and 1754 have different values?
False
Let o = 4224/7 - 600. Which is greater: o or 4?
4
Suppose -11*u - 33*u + 176 = 0. Suppose u*v + 15*r = 19*r + 332, -5*v = 2*r - 436. Which is bigger: v or 85?
v
Let l = 0.2 - 0.1. Let q = -0.60268 - -13.30268. Which is smaller: l or q?
l
Suppose 65 = -s + 156. Let l = s - 817/9. Let i = -4 - -18. Which is greater: l or i?
i
Suppose -13*k = 13*k - 52. Let y be ((-687)/(-18) - k/3)/(-3). Suppose 0 = 3*n - 0*n + 39. Are n and y non-equal?
True
Let d = -1/517 + -510/3619. Which is smaller: d or -15?
-15
Suppose -2*n - 4 = 2*n. Let q = 1501 + -222. Let o = 70347/55 - q. Which is smaller: o or n?
n
Let y be ((-6)/8*4)/(2/166 + 0). Let g be (-1244)/5 + (-1)/5. Is g < y?
False
Let j(u) = u**2 + 2*u - 4. Let c be j(-4). Let r(f) = -3*f**2 - 27*f + 12. Let q be r(-9). Suppose -q = -c*p + p. Which is greater: 5 or p?
5
Suppose 44 = -4*i - 3*c, -2*i - 23 - 25 = -5*c. Let x = i + -1. Let v = -27 - x. Which is greater: v or -11?
-11
Let b(l) = 7*l**2 + 455*l. Let i be b(-65). Is i at least 37/280?
False
Let g = 19939 - 16898. Is g greater than 0.4?
True
Let g be 15147/1452*232/3. Does 806 = g?
False
Let h = -499/7 + 4013/56. Is h at least 44?
False
Suppose -3*l - 974 = -4*h - 998, 4*h = -4*l - 24. Let t be (3/(-18))/(1/4). Is l < t?
False
Suppose -b + 4*b = 3. Let u be 64892/(-206) + b - 7/(-7). Let t = u + 313. Which is greater: -1 or t?
t
Let k = 291.4 + -206. Let o = 2.5 + 82.5. Let p = k - o. Are -6 and p unequal?
True
Let y be -6 - (39/65 - (-224)/(-45)). Let n = y - -17/9. Which is bigger: 0 or n?
n
Suppose l - 5*o = 40, -36*l + 32*l + 5*o = -85. Let q be 12/(4/(-1))*(-565)/l. Which is smaller: q or 114?
q
Let s = 55 + -38. Let g = -71942.1 + 71942. Is g at most as big as s?
True
Let v = 27 + -11. Let n be v/7 + -4 - -2. Suppose -24*a - 70 = 74. Is n smaller than a?
False
Let i = -79 - -84. Let o be (i - (-1 + 7))*-10. Let n be (32/280)/(84/o). Which is bigger: n or 1?
1
Let s = -2269 - -2269.2. Is s smaller than -233/2?
False
Let k(c) = 32*c + 178. Let s be k(24). Which is bigger: s or 953?
953
Suppose 246*u = 255*u - 990. Is u less than 119?
True
Suppose 0 = -9*o + 12*o + 36. Let h = o + 6. Let w = 5 + h. Which is bigger: 1 or w?
1
Suppose 4*g - 7*g = d - 4, -4*d - 14 = -3*g. Suppose 4*t - 224 = -g*m, 3*m - 290 = -4*t + 48. Is 114 <= m?
True
Let g = -1.173 - -495.173. Let b = 483 - g. Is b smaller than -0.1?
True
Let r = -68 - -68. Suppose 0 = 9*v - 9 - r. Suppose -5*f = -26 + v. Does 5 = f?
True
Let t = -4795 + 14780/3. Let q = 199050 - 198919. Which is bigger: t or q?
t
Let q(h) = h**3 - 15*h**2 + 55*h + 30. Let k be (-99)/(-9) + (-2)/(-2) + 1. Let r be q(k). Which is bigger: 408 or r?
408
Suppose -22*n - 2*i = -21*n + 897, i = 4*n + 3642. Is -908 at least n?
True
Let z = 0.24 + -0.24. Suppose -p + 194 = -j + 3*j, -785 = -4*p - 5*j. Let l be (-3 - -1) + (p/(-90))/(-2). Which is bigger: z or l?
z
Let c be (0/2)/(-4) + 6. Suppose 36 = 6*h + c*h. Suppose -h + 4 = -f. Is -4/7 bigger than f?
True
Let i be ((-9)/(-1212)*-9)/((-22)/((-1056)/(-522))). Is i not equal to 1?
True
Let k(s) = -4*s + 6 + 5*s + 0*s. Let f be -8 - 0/5 - -3. Let t be k(f). Is t <= -14?
False
Let x be (-4)/(-2)*6/(-4). Let i be 6*(-1)/(-3 + x). Suppose 3*h = -i - 14. Is -0.3 <= h?
False
Let j = 514789638/44315 + -9/44315. Let q = 11573 - j. Is q greater than or equal to -44?
True
Let t(w) = 8*w**2 + w. Let o be t(-1). Suppose i = o*i + 6. Let n = 2/685 - -2029/8905. Are i and n non-equal?
True
Suppose -97*q - 30 = -96*q - 5*w, -4*w = -4*q - 24. Which is smaller: q or 18/1487?
q
Let c be ((-7)/(343/14))/(4/(-46)). Suppose -5 = d, 28*w + 5*d + 31 = 30*w. Is c bigger than w?
True
Let d be (78/13)/((-1)/(-29)). Is d less than -6?
False
Suppose 5*r = -2*j - 21, 5*j - 3*r = -4*r + 5. Let x be -3 + (-1)/(-2)*20/j. Suppose x*w + 31 - 3 = -2*y, -5*w - 4*y - 70 = 0. Is w smaller than -14?
False
Let i be (-12)/15*(-90155)/38. Which is bigger: 1900 or i?
1900
Let h = -70330/7161 + 108/11. Which is smaller: 1 or h?
h
Let 