 o?
False
Let o = 1576/3 - 1577/3. Which is bigger: 16 or o?
16
Let f = -813 + -15. Is f at least as big as -1?
False
Let r(v) = -3*v**3 + 308*v**2 + 110*v - 811. Let i be r(103). Is i at least as big as -1728/19?
True
Let t = 2111 + -1025. Is t at most as big as 1085?
False
Suppose -3*z = 127*z + 130. Is 538 at most as big as z?
False
Let d(t) = -t**2 - 52*t + 751. Let j be d(12). Suppose 4*p + 92 = 8. Do p and j have the same value?
False
Let h = 51 + -52. Let d be (-3 + 1)*-6*(-15)/(-2925). Is d not equal to h?
True
Suppose 5652 = -8514*l + 8478*l. Is l at most -28?
True
Let t = 9/10 - 89/110. Let c = t + 13/99. Let q be (-18)/(-33)*2/(-2). Which is smaller: c or q?
q
Suppose 11*b = 3*b + 208. Let p be 2/b*2 - (-2961)/273. Let a be (p/4 + -2)*-2. Is -2 >= a?
False
Let d be (-2)/10 - 52/(-310). Let h(n) = -2*n**2 + 9*n - 1. Let b be h(4). Let a be (0/b)/(-2 + 3). Are a and d equal?
False
Let y be -91 + 91 + (-10)/447. Is 1 at least as big as y?
True
Let t be (-7 + -1)*7/(-14)*-79. Let k = t + 265. Which is greater: k or -3?
-3
Let h be 302*(9/(-288) - 0). Which is bigger: h or -9?
-9
Let b = 2.955 + -2.555. Let q be 1/((-2)/(-1) - 16). Which is greater: q or b?
b
Let q(b) = b**3 - 8*b**2 - 11*b + 38. Let u be q(8). Let i = 601/12 + u. Let a = 0.02 - 0.22. Which is greater: i or a?
i
Let l(w) = -12*w - 3. Let u be l(-3). Suppose 5*a = -5*o - 40, 3*a - 5*o = 7*a + u. Let n = -921 + 915. Do n and a have the same value?
False
Let x = 1534 + -1535.1. Which is smaller: x or 276?
x
Let t = 37.0442 - 0.0442. Is t less than or equal to -0.7?
False
Suppose 18*c - 9 = 15*c. Let i(x) = 4*x - 2*x**2 + 0*x**2 + 56 - 55 - 3*x**c. Let o be i(-3). Is 52 equal to o?
True
Suppose -35 = -4*a + 29. Suppose -a*o + 20*o + 24 = 0. Let p be (-4 - o - -13)*3/(-9). Which is smaller: 0 or p?
p
Suppose 10*g - 120 = 6*g. Let k be (9/g)/((-30)/(-475)). Let a = 35 - 31. Is k at least as big as a?
True
Let y = 7 - -25. Suppose 8*p = y - 0. Suppose -3 - 5 = -p*k. Which is greater: 5/3 or k?
k
Let p be (-1)/(-2)*(-3 + 9). Suppose -p*r - 83 = 2*f, -151 = -2*f + 6*f + r. Let c = f + 37. Are c and 9/10 non-equal?
True
Let c be 9/21*-7*976/6. Which is smaller: -490 or c?
-490
Suppose 441 = 4*g + 2*k + 675, -4*g + k - 213 = 0. Does -88 = g?
False
Let j be (-4745675)/(-1827375) + (-13)/5. Does 1 = j?
False
Suppose -2399 = -5*n + z - 0*z, 2*n = -3*z + 963. Which is smaller: n or 4330/9?
n
Let r be 18/88*(703/(-228) + 3). Is r != 0?
True
Let c = -6 - -8. Suppose 0 = d + c*d. Let u be 8*(-5 + (-3384)/(-672)). Is d at most u?
True
Let m be -8 + (-8)/24*21. Is m >= -124/9?
False
Let y = -164 + 2. Let d = -3079/19 - y. Suppose 7 = 2*h + 5. Which is smaller: h or d?
d
Suppose 0*c = -3*c - 3. Let w be 8/(-14)*231/(-8382). Let z = -1637/889 - w. Which is bigger: z or c?
c
Let y(v) = -6*v**2 + 5*v + 7. Let u be y(-3). Let m = u - -27. Let q = -31 - m. Which is greater: q or 5/2?
q
Let y(a) = 2*a + 39. Let k be y(-16). Let d = k - 0. Suppose -d*b = 2*b - 63. Is 8 > b?
True
Let z = -4 - -4.15. Let m = 64335 - 64335.3. Which is smaller: m or z?
m
Let g = 1758 - 1731. Suppose -f - f + 40 = -3*x, -4 = -x. Is g not equal to f?
True
Let p = -3721 + 3704. Is p greater than or equal to -156?
True
Suppose -242*o = -245*o - 1272. Let x be (-2)/(-7) - (-261696)/(-616). Let t = o - x. Which is smaller: t or 0?
0
Let u(o) = 19*o + 77. Let q be u(-4). Let a be ((-18)/(-36))/((-110)/12). Is a less than or equal to q?
True
Let i = 29 + -22. Suppose 17*u - i*u = -760. Is -153/2 greater than u?
False
Let m(i) = i - 43. Let a be m(0). Let k be (176/(-144))/((42/(-180))/(-7)) + -7. Are k and a non-equal?
True
Suppose j - 3*h = -242, 40*h - 45*h - 1270 = 5*j. Suppose 0 = 5*u + 656 + 599. Is j at most u?
True
Let f(j) = 8*j - 2. Let v = 56 - 53. Suppose -2*m = v*m. Let z be f(m). Is -0.03 > z?
True
Suppose 393 + 113 = -2*v. Let s be (-20)/32*10190/25 - -2*(-4)/32. Which is greater: v or s?
v
Let g(n) = 23*n - 142. Let v be g(25). Let o = v - 422. Let h(p) = 2*p - 1. Let z be h(7). Is z at most as big as o?
False
Let s = -0.871 - -1.871. Is 148 greater than s?
True
Let h be (-116)/(-32)*(7 - 3). Which is smaller: -80 or h?
-80
Let f = 1.51 - 10.51. Let m = f - 144. Is m smaller than 0?
True
Suppose 4*v + w = 3*w + 18, -4*w - 12 = 0. Let k be -2*(-8 + 21/v). Is k > 14/27?
True
Suppose 3*h - 2*b + 5834 = -753, -5*b = -3*h - 6590. Is h greater than -2195?
False
Suppose 3*s = 5*s. Let g(z) = -z**3 - z**2 - z + 10. Let a be g(s). Let x be (-17 + (-564)/(-36))/(((-4)/(-15))/(-2)). Is a bigger than x?
False
Suppose 0 = 111*t + 26216 + 17851. Is -406 > t?
False
Let m = -36187/15 - -2417. Let l be (-3552)/685 - (-4)/6. Let w = l + m. Which is greater: 1 or w?
1
Suppose -d - 4*y + 73 = 0, 17*y = d + 12*y - 28. Which is smaller: 488/9 or d?
d
Let r(g) = -g**3 + 6*g**2 - 4*g + 3. Let q be r(5). Let l be (-121)/3 + q/(-12). Suppose 0 = 3*u + 4*b + 124, -46*b - 121 = 3*u - 45*b. Is u equal to l?
False
Suppose -o + 0 = -l - 6, 0 = -2*o + 3*l + 15. Suppose 4*f = -2*x - 12, o*f + 6 = x - f. Which is smaller: x or -1/17?
x
Let p be (18 + 512/(-48))*(-2 + 46/20). Is p bigger than 1/48?
True
Let o(w) = 2*w**2 - 2*w - 4. Let c be o(0). Let x be -126 - ((-1 - -4) + c). Which is smaller: x or -121?
x
Let y = 1960 + -2061. Let n be (103/(-3))/((-1)/3). Let z = n + y. Which is greater: z or 0?
z
Let p(v) = 38*v - 10494. Let t be p(272). Let l = -168 - -8. Is l smaller than t?
True
Let d = -311 + 396. Suppose -b - 40 + d = 0. Does 45 = b?
True
Let b(x) = 8*x + 32*x**2 - 11*x - 25 - x**3 - 19 + 0*x + 4*x. Let d be b(32). Suppose 3*s + 54 - 12 = 0. Is d less than or equal to s?
False
Suppose -y + 4*s = 17, 2*s + 2 + 3 = 5*y. Let k(h) = 5*h**2 - 3 + y*h**2 + 2*h**3 - 2 + 10*h - 3*h**3. Let x be k(9). Is 2 != x?
True
Let w = -27.05 - -61.263. Let b = -34.8 + w. Let g = -0.087 - b. Which is smaller: -15 or g?
-15
Suppose 91*b = 50*b + 1640. Let j be 6954/b - ((-148)/20 - -7). Are 173 and j unequal?
True
Let w(l) be the first derivative of -25*l**2 + 35*l + 199. Let i be w(7). Is i equal to -315?
True
Let x = 8825 + -3697657/419. Are x and -1 nonequal?
True
Suppose 22*f = 27*f + 5*l + 190, 0 = -3*l + 12. Let g be 88/14 + 7/(f/18). Let h(d) = d**2 + 7*d + 4. Let b be h(-7). Is g < b?
True
Let b be -13*(15 + -8 - 16). Which is greater: 119 or b?
119
Let b = -105991/3 + 35344. Which is greater: b or -4?
b
Suppose 0 = d + 5, -2*d + 34 = -3*q + 308. Is 77 greater than q?
False
Let s(d) = -d**2 - 12*d + 357. Let l be s(-18). Is 255 equal to l?
False
Let s(h) = -11*h**2 + 128*h - 38. Let f be s(12). Is f not equal to -85?
True
Let q = -4000 + 1060. Which is greater: -2939 or q?
-2939
Let u be (1 - 29*(-3)/(-81))/((-4)/(-3)). Suppose 2*c + 0*c = 4*t + 4, -3*c = 2*t - 14. Which is smaller: t or u?
u
Let h(r) = -2*r - 335. Let i be h(-12). Is i < -318?
False
Let t(v) = -10*v - 19. Let r(u) = -30*u - 57. Let b(s) = 3*r(s) - 8*t(s). Let x be b(-2). Suppose -2*o - 2 = -0, -4*i = -o + 11. Is i at least x?
False
Suppose h - 29*h - 10444 = 0. Let i = -27681593/21 + 1317798. Let p = h - i. Which is smaller: -1 or p?
-1
Let w = -902113436/3469 - -260050. Is w at least as big as 0?
True
Suppose 3*i = 8*i. Suppose -3*v + q + 0*q = i, 0 = -4*q. Let b = -3 - -2. Is v at least b?
True
Let o(j) = 26*j**3 + j**2 - 38*j + 75. Let p be o(2). Is 210 less than p?
True
Let o(x) = -x**2 - 21. Let t be o(-7). Suppose 1156 = 4*a - 21*a. Is t less than a?
True
Let q(l) = -51*l + 2. Let p be q(-6). Suppose 1240 = 4*u - 3640*o + 3638*o, 0 = u + o - 301. Is p at least u?
True
Let v = 13898 - 13934.1. Is -16 > v?
True
Let l = -1126 - -5628/5. Is l equal to 6.9?
False
Let u(c) = 3 - 29 + 15 - 5*c. Let v be u(11). Which is bigger: v or -259/4?
-259/4
Let f be (-3 + 11/5)*(-1360)/(-72). Is f greater than or equal to -16?
True
Suppose -2*c + 14 = 4. Suppose -c*f - 3*m = -0*m - 29, 8 = 5*f - 4*m. Suppose 9*h = f*h. Which is greater: h or -2.9?
h
Let u = 129.3 - 129.33. Let f = -3 + 7. Let q = 5 - f. Are q and u equal?
False
Let n be ((-2)/(-90)*-3)/((-29)/(-87))*-5. Which is greater: n or 30/929?
n
Let m be -18 + 1875*(-261)/(-27189). Is 1 > m?
True
Let z(f) = -71*f - 365. Let o be z(-5). Is o bigger than 0.07?
False
Let p = 163038/31 - 5260. Let b = p + 296/155. Let u = -94 - -95. W