l and -1 nonequal?
True
Let t = -2478.6 + 2478. Which is bigger: 0.7 or t?
0.7
Suppose 0 = -2*h + 3*s - 418, 5*h - 3*s + 1070 = -8*s. Let k be (-1 + -1)*(-4)/h. Let g(i) = i**3 - 9*i**2 + 2*i - 18. Let v be g(9). Which is bigger: v or k?
v
Let s be ((-20)/(-344))/(-5)*-1. Let l = -22/43 + s. Which is greater: l or 46?
46
Let i = 119 + -35. Suppose v = 3*v - i. Let l be (-2)/(-3) + v/(-9) + 2. Is l greater than or equal to 11?
False
Let t = 1547.157 - 1548. Let d = t - 0.157. Is 1/4 at least as big as d?
True
Let p(n) = -7*n**3 + 51*n**2 - 7*n + 11. Let m be p(7). Is m > 176/3?
True
Let p(u) = u**3 + 10*u**2 - 10*u + 7. Let q be p(-9). Let z be (-180)/810 + 1 + (-3208)/(-18). Which is bigger: z or q?
z
Let z be (10 - (-33946)/(-1617)) + 11. Which is smaller: -1 or z?
-1
Suppose 90 = -5*t - 3*k, -16*k - 5 = -17*k. Let n(m) = 5 + 16*m + 7*m + 42 - 2 + m**3 + 22*m**2. Let y be n(t). Which is smaller: y or 3/2?
3/2
Suppose 0 = 58*c - 5293 - 6365. Is c <= 605/3?
True
Let w = -34852 - -141531/4. Is w bigger than 532?
False
Let s = 10.8088 - 10.4088. Let m = 7.36 - 6.5. Is m not equal to s?
True
Let a = 8.4531 + -8.359. Are 0 and a unequal?
True
Suppose -4*d - 3*i = 79, -5*i + 9*i = 5*d + 60. Let m be (-4170)/(-48) + (-2)/d. Is 87 at least m?
True
Let u be ((-16)/12 + -4)/((-12)/(-54)). Let r be (-36)/(-14)*(1 - u/(-18)). Is r < -1?
False
Let v = -12 + 23. Let c(q) = -q**2 + 11*q - 16. Let b be c(9). Suppose -b*r - 4*r + 60 = 0. Is r > v?
False
Let c be (-4)/3*5976/42. Which is bigger: c or -190?
c
Let v be (50/(-4))/((-325)/260). Which is greater: v or -37?
v
Let j be 0/(15 - (27 - 13)). Which is bigger: -37/64 or j?
j
Let s = -87141/7 + 10544075/847. Let r(u) = -u**2 + 6*u + 10. Let j be r(7). Let i = j - 3. Which is smaller: i or s?
i
Let t = 0.02 - -1.38. Let v = t - 0.8. Which is smaller: v or 34?
v
Let i(t) = -28*t**3 - t**2 - t. Let n be i(-1). Let k = 30 - n. Suppose -4*y + 5*y + 42 = k*s, s = -3*y - 91. Which is greater: y or -33?
y
Let f(y) = y**3 + y**2 - 16*y - 10. Let h be f(-8). Let s = 165 + h. Let d be s/(-25) + -7 + 43/45. Which is smaller: 0 or d?
0
Let b be (129*(-1)/30)/((-4)/30). Which is greater: b or 31?
b
Suppose 3*d = -2*d + 170. Suppose 0 = 2*l - c - 171, -5*c = -0*l + l - 69. Let i = l - d. Which is greater: 49 or i?
i
Let o = 19120 - 21263. Is o at least -0.2?
False
Let y = -87279/28 + 13769/4. Which is smaller: 326 or y?
y
Let n = 780 - 776.79. Let r = n - 5.09. Which is bigger: r or -2?
r
Suppose -24*l + 20*l + 5*y = -15, 0 = -2*l - 3*y - 9. Let b be (-16)/(-22) + (-2 - -1). Which is greater: l or b?
l
Suppose -3*j - 9 + 4 = 4*s, -2*j + 4*s + 10 = 0. Let f be j*(-165)/(-10)*2. Let r = -755 - -786. Does r = f?
False
Let p be (4240/(-6))/((-5)/(-45)). Let i be p/(-1280) + (0 - 5). Is i less than 0?
True
Let h = 117.5 + -115.64. Is h bigger than 2?
False
Let o be (219/(-365) + (-1304)/10)/(1/(-43)). Is 5633 < o?
False
Suppose -104264 = 383*h + 263416. Are h and -956 equal?
False
Let r = -15665 + 12971. Which is smaller: -2692 or r?
r
Let v = 4876 + -4892. Let b = -33214/7 + 4729. Is b less than or equal to v?
False
Let x = -31221/106 - -589/2. Is -5 > x?
False
Let r = 0.0497 + -0.0497. Which is bigger: r or -404/25?
r
Let h = 1901.9 - 1902. Which is bigger: -0.01377 or h?
-0.01377
Suppose -q + 20 = 3*q + w, -4*w = 4*q - 20. Let s = q - 24. Let o = -1229625/66466 + 2/33233. Is s != o?
True
Let x be (-149)/(-3) + 4 - (-2)/(36/6). Is 15 at least as big as x?
False
Let f = -17434 - -17434. Which is bigger: f or -46.4?
f
Let p be ((32/12)/(-1))/(20/(-8808)). Let x = 1199 - p. Is 25 smaller than x?
False
Suppose 173 = q + k + 44, -615 = -5*q + k. Suppose 4*v + 116 - q = 0. Which is greater: 14 or v?
14
Let x = 12 + -9. Suppose -x*v + 158 = v - m, -2*v - m = -82. Let r = 161/4 - v. Which is smaller: r or 7/4?
r
Let k be 9 + -3 + -1 + (-218957)/46788. Let y = 2/1671 + k. Which is greater: 0 or y?
y
Suppose 1007 = 3*s - 2*j + 409, -4*s = 4*j - 824. Suppose 4*v + 3*u = -261, 0 = 5*v - 2*u + 130 + s. Is v bigger than -64?
False
Let a(g) = -g**3 - g**2 - g. Let c be a(-1). Let x(m) = 2*m**3 - m**2 - m + 1. Let u be x(c). Let y = 21/16 - 125/96. Which is bigger: u or y?
u
Suppose 12*y - y = 4279. Let d = -33842/87 + y. Which is smaller: d or 1?
d
Let z be -14 + 1311/95 + (-5999)/5. Is -1203 not equal to z?
True
Let g = 5.9 + 314.1. Let h = g - 318. Is -0.31 smaller than h?
True
Suppose -73*w - 69*w = -16*w - 10836. Is w <= 107?
True
Suppose 70*f + 64530 = 115*f. Which is smaller: 1442 or f?
f
Suppose 0 = 55*g - 60*g - 3*n - 13, -4 = g + 2*n. Is g at least 108?
False
Let l = -13463 + 25154. Which is bigger: l or 11690?
l
Let l = -221987/300050 + -1/6001. Let x = 1221/400 + l. Do x and 2 have the same value?
False
Let b be (-1)/(-2) - (-7696)/96. Suppose 0 = 3*p + 2*p + 5, -p + 399 = 5*y. Which is greater: y or b?
b
Let a(b) = -15*b - 2. Suppose 5*c = 6*c + 4. Let h be -6 - c - (-3 + 0). Let r be a(h). Are -18 and r non-equal?
True
Let k be 5/10*(-2912)/16. Does 1/31 = k?
False
Suppose 0 = 4*n - n + 81. Let i(c) = c**2 - 156*c + 5799. Let f be i(94). Is f smaller than n?
True
Let r = 1885.9 + -1732. Let h = r - 124.96. Let g = 29 - h. Is g bigger than 2?
False
Suppose 3*r + 2 = 365. Let w = 1951 + -2032. Let i = w + r. Is 39 equal to i?
False
Let j = -3 - -1. Let h(p) = -p**3 + 10*p**2 - 7*p - 2. Let t be h(3). Let m = t - 203/5. Is j smaller than m?
True
Let c be (5/(-20))/1 + (-5035)/(-17580). Does 1 = c?
False
Let p = -10.6 - -13. Let z = -0.1905 + -0.2095. Let o = p + z. Is 7 at most as big as o?
False
Let m be 0 + 2 - 114*5/297. Let k = 706/11187 - m. Which is bigger: k or 1?
1
Suppose -5*f + 6*f = -3*p + 4, p + 1 = 2*f. Let c = -0.365 - -0.265. Which is greater: f or c?
f
Suppose 3*d = -4 + 1. Let n be ((-1)/(-25))/(d/3). Suppose q - f - 4 = 0, -5*q - 22*f = -25*f - 14. Which is bigger: n or q?
q
Let s = 3013/12092 + 5/6046. Is s > -235?
True
Let q be (-2 - (-19)/4) + 15/60. Let d be -3 + q + (-4)/((-120)/(-7)). Which is smaller: d or 0?
d
Let s = -42414063/608 + 69760. Let q = -66017/9120 - s. Let n = q - -43/5. Which is smaller: 0 or n?
0
Let k = 2403 + -2403.5. Let s = 80 + -70. Which is greater: s or k?
s
Let i(r) = 4*r**2 - 57*r + 163. Let o be i(0). Is o greater than 113?
True
Let t be ((-9556)/(-12))/(2 - 5/(-15)) - -7. Is t smaller than 348?
False
Suppose -27 = -41*v + 44*v - q, 4*v - 4*q + 44 = 0. Let x be (-2)/6*v*21/(-83384). Which is smaller: -1 or x?
-1
Let x = -0.11 - 3.89. Let w be (-13)/65 + 1803/1040. Let c = -27/16 + w. Is c >= x?
True
Suppose -24*q - 3*q - 2997 = 0. Let m = 0.1 + 0. Is q equal to m?
False
Suppose -7*k = -35 - 21. Suppose k*h = 9*h - 4. Is h <= 4?
True
Suppose -d = -108*d + 8239. Is d at most as big as 0.07?
False
Suppose -87 = k - w - 84, -14 = -2*k - 3*w. Do 4/615 and k have different values?
True
Let l = -33.862 + 34.086. Is l not equal to -13?
True
Suppose -15 = -5*n, -5*u - 2*n = -2*u - 72. Suppose -u = r + 77. Is -99 > r?
False
Let r be (-1)/4 - (-7)/(-4). Suppose 4*t + 4*h = t - 100, h + 129 = -4*t. Let g be (t/(-48))/(r/3). Which is greater: g or 3/19?
3/19
Let d = -11879 + 83151/7. Which is smaller: d or 20.37?
d
Let o = 6175.1 - 6175. Which is greater: -6325 or o?
o
Let q be 88/(-66)*6/(-4). Let v be ((-30)/(-21))/((-4)/28). Do v and q have different values?
True
Let v = -3355 - -2900. Let s = 76 + -75. Which is smaller: s or v?
v
Let s be 7*(-9)/63*-573. Which is smaller: 572 or s?
572
Suppose 0 = -5*v - 3*j + 646, -v = 5*j - 0*j - 116. Suppose -5*w - 125 = -c, 75 = w + 74. Which is greater: c or v?
v
Let s(v) = 4*v - 45. Let c be s(11). Suppose 0 = g - 5 - 3. Let x be 3 - (3 + g/13). Which is smaller: x or c?
c
Let b(x) = -3*x**2 + 16*x - 18. Let v(l) = l**2 + l + 1. Let s = 97 - 95. Let q(y) = s*v(y) + b(y). Let r be q(19). Which is bigger: -36 or r?
r
Suppose 66*t = -63*t + 158*t - 17922. Is 618 greater than t?
False
Suppose 5*n - 2982 = -0*n + 4*k, -n + 606 = 4*k. Suppose o = 14*o + n. Let c = -36 - o. Does c = 10?
True
Let g(m) = 16*m**3 - 11*m**2 - 10*m - 14. Let i be g(-8). Let o = 53155/6 + i. Which is smaller: 29 or o?
29
Let g = -116 - -129.6. Let w = g + -13.8. Is w equal to -0.002?
False
Let q be (7/(-182)*-13)/((-5)/(-17370)). Which is greater: 1749 or q?
1749
Let i = -2