et m = 5496 - 5269. Are 228 and m nonequal?
True
Suppose -3479 = 3*s + 370. Let w = 162943/127 + s. Is w smaller than 1?
True
Let v be (665/15)/(114 - 5). Let k = -8/109 + v. Let f = 2.1 + -2. Which is greater: f or k?
k
Let y = 4/290739 + -4388996020/5524041. Let r = y + 794. Which is smaller: r or 0?
r
Let g(m) = m**3 + 5*m**2 - 11*m + 9. Let p be g(-9). Let s be (2/(-10))/(1/1102). Let t = p - s. Which is bigger: 5 or t?
5
Let c be 1*1154 + 13054/(-2562) + (-4)/(-42). Is c bigger than 1139?
True
Suppose -3*s = j - 22, 0*j + 5*s + 22 = j. Suppose 107*t - 1339 = -3821 - 2333. Let f = t + j. Which is smaller: f or -24?
-24
Let u(k) = -k**2 - 47*k - 549. Let s be u(-25). Is -15/137 bigger than s?
False
Let k be (-64)/(-8) + -33 + 1 + 0. Let f be ((-18)/k)/((-357)/2). Which is greater: -1 or f?
f
Let c(k) = -4*k + 31 - 13 + 0*k**2 + 22*k + k**2. Let d be c(-23). Which is greater: d or 263/2?
d
Let g = 40017 - 42217937/1055. Which is smaller: 0 or g?
g
Let u be 3450/(-60)*20/(-5). Which is bigger: 221 or u?
u
Let j be (4/(-6)*6)/(-1). Suppose j*d = 5*i + 28, -5*i - 5*d - 52 = -d. Suppose -m = -9*m - 64. Do i and m have the same value?
True
Let b be 1/(((-3)/(-1236))/1). Suppose -4*l + 6*l - b = 0. Let p be -2 - l/(-102) - (-5)/15. Which is smaller: p or -2?
-2
Let i be (3 - -1)/(8 - 12 - -6). Suppose 3*w = -3*x + 1 - 58, -5*w - 2*x = 95. Let h be 79/w + 2 + i. Which is smaller: h or 0?
h
Let x(g) = -3*g**3 + 20*g**2 + 4*g + 24. Let z be x(7). Suppose -2*l - 44 = h, h + 151 = -3*h - z*l. Let q be -2*(-16)/(-1) - 1. Which is smaller: q or h?
h
Let k(c) = -24*c + 83. Let t(q) = 16*q - 56. Let a(o) = -5*k(o) - 8*t(o). Let u be a(-11). Is u < 119?
False
Let n be 4/(-6) - 68/(-12). Suppose -14*g + 18*g + 20 = 0, -3*g - 80 = -5*b. Is n less than b?
True
Let r = -18999/5 - -3784. Are r and 4 equal?
False
Let h = 195 + -195.66. Let v = h - 0.34. Which is smaller: 2.34 or v?
v
Let q(x) = -14*x + 869. Let u be q(62). Let g be 65/(-32) + 2 + 0. Does g = u?
False
Let r(h) = h**3 + 26*h**2 - 81*h - 575. Let p be r(-28). Is p at most 149?
True
Suppose 0 = -3*c - 6, 23*c = 3*i + 28*c + 1126. Which is bigger: -6 or i?
-6
Let c = -0.067 + -52.933. Is 59 greater than or equal to c?
True
Let j = -901 - -903. Suppose 0 = -4*a - j*s - 12, 15*s + 36 = -4*a + 19*s. Suppose o - 2 = -4*z - 0, -4 = -2*z. Are o and a nonequal?
True
Let g(r) = -4*r**3 + 9*r**2 + r - 12. Let d be g(4). Let c = -2284/19 - d. Are c and -5 unequal?
True
Let s be (26361/(-204))/29 + (-2)/8. Let w = -48067120 + 44942752834/935. Let p = s - w. Is p != 0?
True
Suppose 0 = 20*u - 3774 + 74. Is u bigger than 13?
True
Let d(r) = 3*r**2 - 40*r + 18. Let u be d(13). Suppose u*s + 2*c + 1339 = 0, s + 2*c - 27 + 298 = 0. Is -268 greater than or equal to s?
False
Let k = -163147/6 + 27023. Let o = -169 - k. Which is smaller: 6 or o?
o
Let l be (50/(-15) + 1)/((-1)/(-3)). Let z be 5/l*(64/(-20))/(-4). Suppose d + 4 = -3*d. Which is smaller: d or z?
d
Let u be (-6)/33 + (-192)/(-1298). Suppose 6 = 7*a - 8. Suppose -w - 1 = -a*w. Are w and u unequal?
True
Suppose 15 = 9*a - 12. Let b(h) = h**2 + 36*h - 101. Let i be b(a). Is i <= 174/11?
False
Suppose 0 = 4*l - 2*i - 2*i - 8, 0 = -4*l + 3*i + 6. Suppose -6*v + 1197 - 3663 = l. Is -411 > v?
False
Suppose -101 - 247 = -6*n. Suppose -2*j - n = -3*y, y - 94 = 3*j - 0*y. Let w(h) = -h**2 + 8*h + 1. Let m be w(11). Is m smaller than j?
False
Let z = -22.467 + 0.427. Let t = -22 - z. Let k = t - 0.04. Is 3/10 at least as big as k?
True
Let q = -0.13279 - -4.13279. Is q not equal to -16/35?
True
Let x(z) = z**2 - 8*z + 6. Suppose -201*t - 44 = -212*t. Let h be x(t). Is h less than or equal to -154/17?
True
Let x = -4 - -4.15. Let m = 0.34 - x. Let b = 4565 - 4565. Is m > b?
True
Let u = 273 - -190. Let o = 462.9 - u. Do o and -5.9 have the same value?
False
Suppose 92 = -5*m + 327. Suppose m*o = 42*o. Are o and 1/19 nonequal?
True
Let a be -1 + (978/(-3) - 0). Suppose 0 = -x - z - 325, -3*x + z - 620 - 367 = 0. Which is bigger: a or x?
a
Let m = -2/10919 + 3974522/32757. Let d = 680066 + -14278742/21. Let f = d - m. Which is smaller: 5 or f?
f
Let a be (-1)/(3/(-6)) - (1 + -1). Suppose -a*z - 2*z + 16 = 0. Suppose -z*d = 0, -4*d = 3*v + 2*v. Which is greater: -10/7 or v?
v
Suppose 0 = -3*q + 4*s - 16964, 0 = -1057*q + 1059*q + s + 11302. Is q greater than -5654?
True
Suppose -34*d = -28*d + 12. Let s(j) = 2*j**3 + 4*j**2 + 7*j + 13. Let m be s(d). Which is greater: m or -23/10?
m
Let g(l) = -l**3 - 5*l**2 - 7*l + 3. Let p be g(-5). Suppose -p + 20 = 9*t. Let d be 4/(-14) - (-5)/(-7). Is d less than t?
False
Suppose -5*o + z + 1 + 17 = 0, 3*z + 6 = -o. Suppose 5*m - o*v + 195 = v, -v - 156 = 4*m. Which is smaller: -41 or m?
-41
Suppose 44 = -2819*u + 2830*u. Do 61/14 and u have the same value?
False
Suppose -556 = 25*c - 27*c - v, -4*c = -v - 1100. Is c less than or equal to 275?
False
Suppose 48*h + 2596 + 9185 = -71*h. Which is smaller: h or -17?
h
Let k(f) = -8*f**2 - 12*f + 4. Let r(x) = 7*x**2 + 13*x - 4. Let i(y) = -6*k(y) - 7*r(y). Let s be i(-19). Suppose 4*g - s = -8. Is g smaller than -0.3?
True
Let m = 26/217 + -3233/25172. Let j(n) = 3*n**2 - 6*n + 7. Let p(t) = 7*t**2 - 11*t + 14. Let r(w) = -5*j(w) + 2*p(w). Let u be r(7). Which is bigger: u or m?
u
Let j be (-41525)/85650 + (-14)/(-28). Which is greater: 1 or j?
1
Let a be -1*2*7/(-14). Suppose 0 = 4*j - t + a, 4*j - 3*j = -t + 1. Let c be (5/1 - 1) + (-55)/13. Which is smaller: c or j?
c
Let j(c) = c**2 + 44*c - 55. Let m be j(-46). Is 215/6 less than m?
True
Let g = 21.51 + -21.49. Which is smaller: g or 2.7?
g
Let l = -0.08323 + 0.05323. Which is greater: l or -1/825?
-1/825
Suppose 3*j - 380 = 4*d, 0*j + 5*j - 616 = -2*d. Let s be -21*1/6 + (-1255)/(-10). Which is greater: s or j?
j
Let s = 0.235 - 0.15. Let r = s - 0.065. Is r less than or equal to 1.5?
True
Suppose 3*i = 6, 5*r - 2*i + 506 = i. Let n be 40/r*10/(-12). Are n and 16 unequal?
True
Let i = 283/200 - 26/25. Let o = 1403 - 557. Let y = 845.9 - o. Which is bigger: i or y?
i
Let f = -1.606 - 122.394. Let m = -16 + 18. Is m less than f?
False
Let f = -26.952 - 0.048. Let v = f + -44. Let a = 70.51 + v. Is a at least as big as 0?
False
Let g = -357 - -355. Let d be 9 + g - (-543)/(-87). Are 2 and d nonequal?
True
Let t = 49.1 - 49. Let i(w) = 5*w - 12. Let s be i(12). Let x be s/63 + (-14)/21. Is t < x?
False
Let j = 17 - 6. Suppose 16*r - 35 = j*r. Which is bigger: 18 or r?
18
Let h = 43559/52903382 + -5/7294. Is 1 at most h?
False
Let i be ((-14380590)/(-868))/((-6)/8)*4/30. Which is smaller: -2944 or i?
i
Let r(g) = -g**3 + g**2 + 70*g + 69. Let q be r(-1). Which is smaller: 1/4797 or q?
1/4797
Suppose -24*j + 8 + 40 = 0. Is 48/37 smaller than j?
True
Let m = 0.514 + -5.154. Which is smaller: -2/7 or m?
m
Let d be (-108)/24*-4*4/(-72). Is 0.2095 equal to d?
False
Suppose 3*k - 15 = 0, -2*k - 40 = -4*b + 2*k. Let v = -49 - b. Which is smaller: v or -62?
v
Let p = 96 - 96. Suppose -j - 24 + 26 = p. Let t be -4 + 2 + 22*1/j. Is t at most as big as 7?
False
Suppose 13*g + 298 = 311. Which is greater: g or 4/5775?
g
Let g be ((-20)/24 - (-3 - -2))*(-3546)/(-12411). Let a be (-1 - -1) + 2/(-6). Are a and g non-equal?
True
Suppose 3350 = 3*n + g, -3*n + 6*g - g + 3356 = 0. Let h be (8/(-12))/(-2 - (-455604)/227870). Let i = h - n. Which is smaller: i or 0?
0
Suppose -v - t + 3 + 17 = 0, -2*v + 40 = 4*t. Suppose 3*k - v = -k. Suppose -3*h + 6*p - p = 7, 5*h - k*p + 15 = 0. Which is smaller: h or -3?
h
Suppose 0 = -97*s - 5270 - 647. Let q(d) = d**3 + 5*d**2 - 6*d - 3. Let m be q(-6). Let a = m + -58. Is a at least s?
True
Let g be 0 + 1*(-6)/117. Let b(y) = -y**2 + 6*y + 8. Let k(v) = -4*v - 25. Let t be k(-8). Let w be b(t). Which is smaller: g or w?
g
Let y = -712.4 + 713.4. Is y not equal to 5725?
True
Let x = 728 - 726.37. Which is greater: 3 or x?
3
Suppose 3*u = -3 + 36. Let v = u - -49. Let a = 55 - v. Which is smaller: a or -3?
a
Suppose -3*z - 5*g = -z - 11, -4*z = 2*g + 2. Let b be (-14 - (-3 - z))*(-1)/1. Let c(p) = p**3 - p**2 - 2*p - 1. Let d be c(3). Is b at most as big as d?
False
Let z(g) = 11*g**2 + 2*g - 3. Let x be z(-3). Suppose 9*i = 585 + x. Does i = 76?
False
Let d = 6.5 - 6.33. Let u = 2.17 - d. Let f be (-27)/(-15) +