 Let p = b - 0.12. Is 0 at most as big as p?
False
Suppose -84 = -5*d + d + 3*k, -k + 28 = d. Let b = -7 + d. Let l be (10/(-12))/(841/(-15138)). Which is smaller: b or l?
l
Let h be (-1)/(2/46 + 0). Let m be ((-49)/7 - -4) + 4754/(-4). Let d = m + 1170. Is d greater than h?
True
Suppose 10*n = 7*n - 18*n + 2*n. Is n greater than -2/23873?
True
Suppose 5*t - 1243 + 263 = 0. Let z = -14566 + 14761. Which is smaller: t or z?
z
Let t = 21949 - 21948.6. Which is greater: -821 or t?
t
Let p(v) = -9*v**2 - 12*v + 9. Let h be p(-4). Which is greater: h or 4?
4
Let d(h) = h**3 + 2*h**2 + 3*h + 2. Let x be d(-1). Suppose 2*j - 2*v = 40, x*j + 2*v = 3*j - 58. Let q = -19 + j. Are q and 0.2 equal?
False
Let q be (-8)/96*-4*12/10. Are q and 963 nonequal?
True
Let v = 291 - 294. Is v at least as big as -71/23?
True
Let f be (80/152)/(26/(-130)). Let t(o) = -2*o + 1. Let h be t(2). Do f and h have different values?
True
Suppose -20 = -5*v - 5*a, -4*a = -5*v - a + 4. Let n = -22908 + 180517/8. Let t = 344 + n. Which is smaller: v or t?
t
Let n be 1/57*-2*-3. Let f(i) = -i**2 - 5*i + 25. Let k = -637 - -629. Let d be f(k). Which is smaller: d or n?
n
Let u be (-15)/6*((-64764)/30)/7. Let a = 771 - u. Which is bigger: a or 1.9?
1.9
Let f(m) = -18*m - 726. Let d be f(-40). Which is bigger: -3 or d?
-3
Let v be 2/(-4)*((-63)/(-54) - 7/6). Let q be 492/(-2940) - 4/(-30). Which is smaller: v or q?
q
Let s be 2/2 + 28/138. Let c = 112/9 + -124/9. Let i = c + s. Does -1 = i?
False
Let p be 361847124069/(-1620) + 2 + -2 + -1. Let x = -223362362 - p. Let d = 245/4 - x. Is 1 smaller than d?
False
Let u = 284.84 - 284.82. Which is greater: 1787 or u?
1787
Let n be 1/2 - 1 - (-344)/(-16). Let x = 17 + n. Suppose 0 = 3*r - 4*s + 28, 0 = -4*r - 2*s - 8. Is r not equal to x?
True
Let z be -1*1/((-1)/5). Let r(s) = -5*s**2 - 179. Let m(n) = 11*n**2 + 385. Let v(w) = 6*m(w) + 13*r(w). Let b be v(z). Is b < 8?
False
Let t = -164 + 3771/23. Let h be ((-12)/36)/(253/102). Let q = h - t. Is q != 0?
True
Let x = 52 + -46. Suppose -x*y + 308 = y. Suppose -y = 4*i - 220. Which is smaller: i or 45?
i
Let v = -166 + 9961/60. Let b = -31/60 + v. Let o(t) = t**2 + 7*t - 10. Let i be o(-8). Is b less than i?
False
Let q = -366 + 367.128. Let a = q - 0.128. Is a less than or equal to -53?
False
Let r be (4/(-54))/(4648/103999). Which is bigger: r or -1?
-1
Suppose m = b - 3, b - 1 = 4. Let r = -22089 - -22089. Which is smaller: m or r?
r
Suppose j - 5*i + 0*i = 5, 2*j = -i + 43. Let h be 2/((6/j)/((-6)/(-8))). Suppose o + 52 = x, -2*o - 380 + 132 = -h*x. Are 48 and x non-equal?
False
Let o = -813 + 816. Suppose -50*t = -o*t - 5828. Is 124 greater than or equal to t?
True
Suppose 154*o + 45 = 151*o. Let g = -406/3 + 119. Is g less than o?
True
Suppose m = 5, -2*v - 360 + 12 = -4*m. Let g = -160 - v. Which is smaller: g or 22/7?
22/7
Suppose 6*h + 44 - 68 = 0. Suppose 5*p = t + 300, 9*p - h*p + 5*t = 330. Which is greater: 58 or p?
p
Suppose 3*i = -5*a + 96, -2*a - 18*i = -17*i - 39. Suppose 0 = -s + 6*s + 3*x - 213, 5*x = -3*s + 131. Let w = s - 22. Is w greater than a?
False
Let n(y) = -58*y + 1. Let m be 3 - (-4 + 1)/(-3). Let l be n(m). Which is smaller: l or -0.1?
l
Suppose 3*l - 9 = -3*c, -l + 3 = -5*c - 6. Suppose l*p + 3*m + 4 = 0, -m - 16 = -p - 6*m. Let n be 4*p - (4 - 2). Which is bigger: -17 or n?
-17
Suppose 22*s - 30 = 16*s. Let n be (-385)/42 + s/(10/8). Is n smaller than -4?
True
Let w = 5806 + -6480. Are -674 and w unequal?
False
Suppose 256*c = 289*c - 3531. Are 107 and c equal?
True
Let l = -4839.8 + 4840. Is l smaller than 5351?
True
Suppose 2092 + 122 = 9*a. Let h = 215 - a. Suppose 150 = -5*n + 2*g, -2*n - 2*n + 5*g - 120 = 0. Is h at most as big as n?
True
Let h = 1656.4 + -1656. Which is greater: -747 or h?
h
Suppose 12*w = 286 + 602. Let t = 99 - w. Suppose z - 4*x - 1 + 20 = 0, 5*x = t. Which is greater: -10 or z?
z
Let v be 1*(-34)/(12 - (-260)/(-22)). Which is smaller: -171 or v?
v
Let i be ((-40)/(-12))/((-480)/144). Let u = -521/7 - -206823/2779. Which is greater: i or u?
u
Let u = -841 + 883. Let c be 0/3*-6*(-7)/u. Which is smaller: 6/61 or c?
c
Suppose -115*h - 2781 = -186*h + 98*h. Is -122 at least h?
False
Suppose 30*y - 100 = 55*y. Is y >= -237/59?
True
Suppose 3*m - 5*v = -2*m + 25, 3*m + 2*v = 10. Let j be m*4/(-120) + (-2)/10. Let p = -1475 - -137173/93. Is j less than or equal to p?
True
Suppose 4*j + 937*y + 603 = 938*y, -4*j = -4*y + 612. Which is smaller: j or -1051/7?
-1051/7
Let g = -513793 + 9278587791/18059. Which is smaller: 0 or g?
0
Let w be 0/(18/168*-4*-7). Which is smaller: -155 or w?
-155
Let m(b) = -b**2 + 17*b - 16. Let f be (128/24 + 0)/(2/6). Let p be m(f). Which is smaller: 1/9 or p?
p
Suppose -3*f + 5 + 1 = 0. Suppose 12 = 2*r - 11*m + 13*m, -r - 4*m = -12. Suppose i + 0 + 2 = f*w, w = r*i - 6. Are 3 and w nonequal?
True
Let n be -4 - (-11)/2 - (-1)/2. Suppose -n*f + 5 + 9 = 0. Let w(l) = -7*l + 31. Let i be w(f). Which is smaller: -17 or i?
i
Let a = 59 + -62. Let m be 2 + (-44 - a) + -1. Let f be (8 + -11)*m/(-6). Is f at least as big as -19?
False
Let k(v) = -22*v + 1. Let p be k(1). Let r = -0.03919 - 0.36081. Does p = r?
False
Suppose -p + 6*p + 20 = 4*a, -a + 5 = -2*p. Let u(i) = i**3 - 6*i**2 + 5*i + 5. Let k be u(5). Suppose -k*t + 16 + 14 = p. Which is smaller: t or 3?
3
Suppose -5*w - 15 = 5*i - 7*w, 0 = 3*i + 5*w - 22. Which is greater: i or 4/1787?
4/1787
Let n = -98374.932 - -98609. Let p = n - 234. Which is greater: -1/6 or p?
p
Let d be (-1)/(-5)*(31 - 6). Suppose -h = 3*k + 51, -h + d*k - 75 = -0*h. Let s = 55 + h. Which is bigger: s or -7?
s
Suppose 278598 + 33877 = -22*v + 30875. Are v and -12801 equal?
False
Let h = 28/59 + -1069/885. Let g(u) = -u**2 - u + 10. Let o be g(-4). Which is smaller: o or h?
o
Let j = 8113 - 14869. Which is bigger: -6757 or j?
j
Suppose -3*y + 3*b - 189 - 294 = 0, -2*y - 330 = -4*b. Which is smaller: 7 or y?
y
Let z = 130.32 - -35.58. Let m = z + -154. Let c = -3.9 + m. Which is bigger: -1/5 or c?
c
Suppose -123246 = -9*r - 123984. Which is smaller: -74 or r?
r
Let c = 2241 - 2218. Is -11/2 < c?
True
Let x be 2/(-8 + 6/1). Which is smaller: x or -0.6?
x
Let u = -132/28037 - 5/1058. Which is smaller: -2/19 or u?
-2/19
Suppose 0 = -q + 34 - 5. Suppose -1 = 2*f - 7. Suppose 3*u - 8*t = -4*t + 83, -u + 26 = -f*t. Is q > u?
False
Let d be (-984)/(-44) - (1 - (-25)/5). Let u = d + -27944/1705. Which is bigger: 1 or u?
1
Suppose 5*g = g + 20, 4*i - 4*g = -2556. Let a = 624 + i. Which is bigger: -3 or a?
-3
Let h(a) = -4*a**2 - 26*a - 1. Let i be h(-5). Suppose 13*j - 10 - i = 0. Which is smaller: 19 or j?
j
Let y be (3672/66045)/(9/(-90)). Is -2 > y?
False
Let h(t) be the first derivative of -3*t**4/4 + t**3/3 - 10. Let i be h(1). Which is greater: -32/13 or i?
i
Let a be (-31)/(-60) + (-6)/9. Suppose 0 = -3*d + 1 - 10. Let h(z) = -z**3 + 10*z + 4. Let r be h(d). Are a and r nonequal?
True
Let v be -449*(80/(-75))/(-16)*9. Which is smaller: 0.1 or v?
v
Let j = -62033005/77372 + 1/19343. Let d = j - -797. Is d bigger than -6?
True
Let y(g) = 28*g**2 + 18*g - 51. Let h be y(3). Let m be (5865/h)/((2*-2)/(-2)). Which is smaller: 12 or m?
m
Let a be (28/(-1568)*32)/((-4)/966). Is a smaller than 150?
True
Suppose -108*l + 140844 = 59520. Is l > 750?
True
Let z = 3010 - 2992. Is z >= 229/12?
False
Let r = 644 + -139. Let v = r - 505. Is -2/55 > v?
False
Let y be (-60)/57*69/(-8073). Are y and 0 non-equal?
True
Let y(n) = 20*n**2 - 7*n + 16. Let i be y(-9). Let b = -130827/77 + i. Let a = b - -547/154. Which is bigger: 0 or a?
a
Let a = -264 - -1660. Suppose 32*k + a - 52 = 0. Which is bigger: -41 or k?
-41
Let a = 194 + -190. Suppose -3*w + 40 + 28 = -a*d, -4*w + 2*d = -104. Is w less than 138/5?
False
Let j = -49.59 + 49.01. Let z = 0.862 + 0.018. Let m = j + z. Which is greater: -4 or m?
m
Let b be (-1338)/(-48) + (92 - 88) + 62/(-16). Let q be (-2)/8 - (-218)/8. Do b and q have the same value?
False
Let i = -1905 + 3330. Let t = 24240/17 - i. Is 1 smaller than t?
False
Suppose 12 = v + 4*m, -2*v - 3*m + 16 = m. Suppose -6*p - 5*q = -8*p + 7, -v*q + 34 = 5*p. Which is bigger: -14 or p?
p
Let r = 3 - 10. Suppose 8*g - 96 = -24*g. Let a be (2/g - (-232)/(-24)) + 4. Is a at least r?
True
Let a 