s bigger: -62 or n?
n
Let w(j) = j**2 + j. Let f(a) = 5*a**2 + a - 4. Let l(q) = -f(q) + 6*w(q). Let z be l(-5). Suppose k = -z*k. Which is smaller: k or 1/3?
k
Let r(g) = -g**2 + 49*g + 103. Let h be r(-2). Is h equal to 92/55?
False
Let j = 0.18 + -0.171. Let m(c) = 2*c**2 - c - 5. Let b be m(-2). Suppose -5*v + 5*u - 6 = 7*u, 4*u + 12 = b*v. Is j <= v?
False
Let m(y) = 2*y - 4. Suppose -9*p + 27 = -0*p. Let v be m(p). Let q be 1*v*(616/208 + -3). Is q != 1?
True
Let w = -1044 - -9418/9. Let y(f) be the third derivative of f**6/120 - f**5/6 + f**4/24 - 3*f**3/2 - 10*f**2. Let n be y(10). Are w and n equal?
False
Let f be (3910/920)/(1/(-2416)). Is f greater than or equal to -1/4?
False
Let d(p) = 103*p - 7450. Let r be d(75). Is r < 275?
False
Let j be 1 + 15509/(-33813) + 1 + (-26)/18. Which is smaller: -1 or j?
-1
Let p = 281 - 259. Let n be p*(10/4 + (-1 - 2)). Let c be 553/(-77) + (-4)/(-22). Which is smaller: c or n?
n
Let t(v) = v**2 - 5*v - 2. Let p be t(3). Let n(q) = -5*q**2 - 15*q + 1689. Let m be n(-20). Which is smaller: p or m?
m
Let s = 42054 - 169099/4. Is s at most -221?
False
Suppose 0 = 3*o + o. Let b = 394409/26 - 15169. Which is bigger: o or b?
b
Let a = -32143 - -32144. Which is bigger: a or -12/3779?
a
Suppose -30*k + 78 = 9*k. Let f be (2/105*-9)/(k/(-40)). Are 2 and f equal?
False
Let h be (5/30*-2)/(((-273)/14)/13). Is h at least as big as -2749?
True
Let f be (0 + 3/12)/((-567)/504). Let m = -24 - -34. Is m less than or equal to f?
False
Let h = -3684 + 3590. Which is bigger: h or -565/6?
h
Suppose 0 = -89*p + 84*p + 245. Let r = p - 40. Let i be (r/18)/(-2*3/12). Is -15/17 greater than i?
True
Suppose -2*f - 25 = 2*f + v, -4*f - 4*v = 28. Let w = -50955 + 50941. Which is greater: f or w?
f
Let t(l) = -l**3 - 13*l**2 - 39*l - 7. Let j be t(-9). Suppose 16 = j*u - 504. Is 23 at most as big as u?
True
Suppose -101299 = -23*d - 256710. Are d and -6757 non-equal?
False
Let d = 12203 - 17346. Which is bigger: d or -5142?
-5142
Let o(c) = -4*c - 9. Let m be o(-9). Let b(s) = 2*s - 55. Let r be b(m). Let q be r/5*-3 + 16/(-10). Which is smaller: q or 6/31?
q
Let a = 235072 - 234893. Let y(z) = 23*z**3 - z - 2. Let d be y(2). Which is smaller: a or d?
a
Let p = 9 + -7. Suppose -3*b = 2*l + 3, 0 = -l + 2*b + p*b - 18. Let q be (4/l)/((-38)/(-7) - 4). Are q and -1 equal?
False
Let k be (793/(-325))/(2/(-1405)). Let t = -1712 + k. Is 3 greater than t?
True
Suppose -757*q + 669 = -760*q. Which is bigger: -225 or q?
q
Let r = 10.7 - 74.7. Suppose -127*x + 129*x = -3*m - 4, 6 = -3*x + 4*m. Which is smaller: x or r?
r
Let h = 0.057 - 54.057. Let k = h - -53.949. Let r = 31.949 - k. Which is smaller: r or 2?
2
Let k = 442 + -440. Suppose a - 212 = -k*j, 13 = j + 16. Which is greater: a or 1?
a
Let k be (-8)/40 + 1/5. Let c = -1/2924 + 5851/8772. Is c >= k?
True
Suppose 7*s = 13*s - 774. Suppose -s*y + 130*y = 5. Suppose 0 = -y*n + 28 - 23. Is 7 > n?
True
Let a = -188768 + 188768.27. Let s = 0 + 0.2. Which is bigger: a or s?
a
Let v = -1.1 + 1. Let a = 12656.751 + -12657. Is v equal to a?
False
Let a = 44.014 + -44. Let h = a - 2.014. Which is smaller: h or 27?
h
Let j = 1657 + -1634. Let f(d) = d**3 + 11*d**2 + 12*d - 3. Let y be f(-9). Suppose 7*n - 3*r = 3*n + 107, r + y = 2*n. Are j and n non-equal?
False
Let p = 37.26 + 0.74. Let v = p - 38.3. Let h = -4.7 + v. Is -2/5 bigger than h?
True
Let y be (-10*9/3350475)/(6/(-15)). Which is smaller: y or -1?
-1
Suppose -v - 134 - 81 = 3*m, -3*v - 705 = -3*m. Let d = v - -201. Is d at most -27?
True
Let c = -185 - -134. Let a be c/(5 + -8) + -3. Are a and 12 non-equal?
True
Suppose -3*k + 184 = 166. Which is smaller: k or -79?
-79
Let f = -16909 + 16981. Which is smaller: 7/4 or f?
7/4
Let d be 6 - (-7662)/252 - 201/(-469) - 1. Suppose -4*v - 3*m + 0 = -125, -3*m - 15 = 0. Which is bigger: v or d?
d
Let w = 0.3575 + -438.8575. Is -2 greater than w?
True
Suppose 5*f = 6*m + 791, 5*m - 8*f + 658 = -4*f. Which is bigger: -72 or m?
-72
Let b = -44240291/467 + 94733. Is 0 at most as big as b?
True
Let f = 2 - 4. Let s = 18934/51 + -809/17. Let r = 321 - s. Which is smaller: f or r?
r
Suppose 163*r = 158*r + 5*z + 65, 0 = -2*z - 12. Which is smaller: 135/17 or r?
r
Let p = -4429 - -2344. Suppose -3*n + 7*n - 3*a = 26, 14 = 2*n - 2*a. Let t be p/75 + (-1)/n. Which is bigger: -25 or t?
-25
Let r be ((-2)/1)/(2 - (-16)/(-10)). Let z be 249/(-21) - r - (1 - 5). Are z and -2 equal?
False
Let f = 0.1429 - 745.1429. Let d = f + 745. Which is greater: -50 or d?
d
Let n be 3/(27/(-10))*(957/(-11968))/29. Which is smaller: 1 or n?
n
Let y be (-36)/2*1*4/(-12). Let s be (16/(-24))/(y/(-45)). Suppose -s*p + 3 = -l, -2*l + 4*l = p - 6. Which is bigger: 1/27 or p?
1/27
Suppose 3*n + 2*n + 3 = 3*f, 3 = n. Let i be (-3)/f - (-10)/4. Suppose 2*o + v + 8 = 0, 3*v - 7*v + 28 = -i*o. Which is bigger: o or 2?
2
Suppose -67*t + 125*t = 70*t. Is 5/993 greater than t?
True
Let f = 185 + -185.77. Let p = 14.23 - f. Which is greater: p or 4?
p
Let f be (27/(-3))/(-3) - 28. Let k be 2 + 60/f + 5496/15. Is 366 greater than or equal to k?
True
Let d(r) = 147*r + 440. Let x be d(-3). Which is smaller: -1.4 or x?
-1.4
Suppose -8 = 4*x, 2*z + 472 = 4*x - 690. Let y = 617 + z. Does y = 38?
False
Suppose 0 = -23*i + 19*i + 2*h - 10306, -3*h = 15. Are i and -2579 equal?
True
Let t = -984 - -984. Which is bigger: 33/34 or t?
33/34
Suppose -i = -5*i + 12. Let m = -14162 - -14162. Suppose -n + 5*c = 0, -i*n - 3*c + 94 - 22 = m. Which is smaller: 21 or n?
n
Let i be 575/132 + (-19)/(-76). Let l = 11651/2508 - i. Is l less than 1?
True
Let p = -71.581 + -0.219. Let a = 72 + p. Let s = 46 - -3. Is s < a?
False
Suppose -2*k + 64 = 44. Suppose -k*n + 18*n + 3008 = 0. Is n not equal to -377?
True
Let c = 0.46 - 0.7. Let i = -1.493 - -0.733. Let f = i + c. Which is smaller: f or -75?
-75
Suppose -x - 4*m + 40 = 0, -4*x = -0*x - 2*m - 52. Suppose -5*k + 4*s = -2, k + 10 - 2 = 5*s. Let o be (16 - x)/(k + 0 + 0). Which is smaller: o or 2?
o
Let m(u) = -u**2 - 27*u - 48. Let f be m(-19). Suppose -32 = -f*t + 108*t. Which is smaller: t or -33/5?
t
Let l(p) = -p**3 + 8*p**2 - 10*p - 11. Let z be (-122)/(-18) + -1 - (-42)/189. Suppose -6 = -7*q + z*q. Let x be l(q). Do -2/27 and x have the same value?
False
Let t be -10 - (10 + 1130/(-110)) - -10. Which is greater: t or -5/7?
t
Let k be -6*(-5 - (-88)/16)*-123. Which is smaller: 379 or k?
k
Suppose -u + 0 = -5. Suppose -u*b = -2*a + 32, -2*b + a = -b + 7. Suppose -16*v + 20 = -21*v. Which is smaller: v or b?
b
Let h = -327.8 + 294.9. Is h greater than -2/21?
False
Let n = -14.023 - -14.1171. Is n != -5/6?
True
Let y be 3/6*(3 + 37432/(-120)). Let w = 155 + y. Which is bigger: -0.1 or w?
w
Let x be ((7 - -4) + -10)/(-1). Let n be -3*4/(-174) + 0. Let s = 186/667 + n. Is x <= s?
True
Let k be 25/(-5) - -4 - -1. Suppose k*j - 2*j = 6. Let l be (-3)/(-6)*(-1 - j). Which is smaller: l or 4?
l
Let n = -30.2 - -30.31. Is n less than or equal to -0.006?
False
Suppose 0*d - 12 = -4*d. Let f = 5 - d. Suppose -f*u + 8 = -3*n, -3*n + 8*n + 20 = 5*u. Is n smaller than -1?
False
Let l = 4975 - 4759.9. Let t = l - 215. Which is smaller: 308 or t?
t
Suppose -7874 = 5*l + 4*i, 61*l - 66*l - 7910 = -5*i. Is -1577 less than l?
False
Suppose -112*s - 1185 - 5535 = 0. Which is smaller: s or -1146/19?
-1146/19
Let m be 0 + (-116)/30 - 2. Let d = m - -691/105. Suppose -2*c = -5*i + 15, 18*i + 26 = 19*i - 5*c. Which is greater: i or d?
i
Let l be (2 + (-371)/34)*32/(-1320). Let r = l - 3/187. Is -11 > r?
False
Let n = 187/126 - -1/63. Let y(k) = -2*k**2 + 13*k - 13. Let b(l) = 2*l**2 - 13*l + 13. Let u(i) = -6*b(i) - 5*y(i). Let c be u(5). Which is smaller: c or n?
n
Let i be (-2)/6 + 1686/56. Let n = 89/3 - i. Suppose -4*o + 2*f = 20, 15*f - 19*f + 23 = -25. Do o and n have different values?
True
Let c = -244 + 239. Let y be -1 + ((-275)/20)/c. Which is greater: y or 1?
y
Suppose -5 = -165*t - 87 - 83. Which is bigger: t or 709/16?
709/16
Suppose -3*k + 4 = -v - 2, 5*k = -3*v - 4. Which is smaller: k or 1/4207?
1/4207
Let u be 0 + 2*(-2)/20 - (-1158)/4790. Is 1 bigger than u?
True
Suppose -v = 4*j - 4*v + 190, -2*v = -j - 45. Let o = -51 - j. Which is greater: -5/4 or o?
-5/4
Suppose 3 = z, -2*r = 3*z + 480 - 4