14*q + 34183 + 22181 = -80*q. Which is bigger: -1 or q?
-1
Suppose 3*t - 5*h = -3*h + 10, -3*h = 15. Let n be (-39)/405 - (-1)/(-5). Which is smaller: n or t?
n
Let v = 8.91 - 10. Let x = v + -12.91. Is x < -0.3?
True
Suppose 0 = -54*d + 91*d - 44*d - 1232. Is -188 <= d?
True
Suppose 7*p - 22 = -4*p. Suppose -p*k = -f - 2*f - 17, 21 = 3*k - 3*f. Let z = -43/2 - -161/6. Is z greater than k?
True
Suppose 0*o - 4*g = -3*o + 22, 3*g = -5*o + 27. Suppose -o*b + 5*b - 1 = 0. Let s = 2411/17 - 142. Is s <= b?
False
Let l(f) = 38*f**2 - 31*f + 191. Let r be l(4). Does 663 = r?
False
Let c be (-7150)/(-14) + 555/111. Is c not equal to 516?
True
Suppose r + 4*u - 3*u - 98 = -2*u, 4*u = 0. Which is bigger: 97 or r?
r
Let w(s) = 2*s**2 + 4*s**3 + 1 + 3*s**3 + 2*s - 3 - 6*s**3. Let d be w(-2). Let r = 411 - 419. Which is greater: d or r?
d
Suppose -3*x + 99 = 6*x. Let y be 38/5 + -10 + (-94)/(-10). Are x and y equal?
False
Let t(q) = -2*q**2 + 14*q - 10. Let p be t(6). Suppose 3*r = 3*k + 21, -2*r - p*k - 2 = -r. Let s be r/(-12)*6/(-2)*-7. Do -4 and s have different values?
True
Let x = 1074858844235/31 + -34676144442. Let p = 3278009 + x. Let h = p + 490. Which is greater: h or 1?
1
Suppose 2*c - 5 = -o, 8 = -o + 5*c - 8. Let s be 20/360 - 4522/75240. Which is greater: s or o?
s
Let h be 378*(-7)/35*-15. Is h greater than or equal to -0.1?
True
Let w(r) = -2*r**3 - 166*r**2 + 1065*r - 238. Let s be w(-89). Is s greater than 42?
False
Let i be (-1)/(-4) - (-166)/8. Suppose 5*j + 0 - 1 = 2*m, -3*m + 7 = j. Suppose 3*t - 31 = -m*s, 0 = -8*s + 9*s + 2*t - 14. Is i at least s?
True
Suppose -2 = -2*g - 4*q - 14, -g + q = 6. Let c = 13 + -20. Which is smaller: g or c?
c
Suppose -13333 = 56*w + 33*w + 1441. Suppose -370 = 4*k + 298. Is w at most k?
False
Let y = 316 - 469. Which is bigger: y or -147?
-147
Let g be 29/87 + (-115)/(-3). Which is greater: g or 39?
39
Let d be ((-4)/(-11))/((-30)/(-165)). Do 1229 and d have the same value?
False
Let y = -19920 - -5454. Is -14466 < y?
False
Suppose -7*g + 9*g + 22 = 0. Let u be (-27)/36*1184/78. Which is smaller: u or g?
u
Let i(p) = -341*p + 824. Let q be i(3). Which is bigger: q or 23?
23
Let c = 63 - 59. Let r = c + 0. Let q be (2 + r/(-1*4))*-2. Which is greater: q or 0?
0
Let l = 0.1 - -0.62. Let b = l - 30.72. Suppose -5*q = -q. Which is greater: q or b?
q
Let x be (-4)/14*(-1)/(-3 + 5). Let a = 4.6 - 5.6. Which is smaller: x or a?
a
Let l(m) = 7*m - 2. Let y(z) = -3*z + 1. Let u(c) = -2*l(c) - 5*y(c). Let f be u(3). Suppose 263*t - 492 - 61 = -290*t. Which is smaller: f or t?
t
Let y be 360/5760 - 34001/16. Does -2121 = y?
False
Let v = -252 - -198. Suppose -2*o = 3*a + 103, -a + 58 = 4*o + 269. Which is bigger: v or o?
o
Let z = 45 - 41. Suppose 4*l - 4*u = -20, -6*l - 4*u - 16 = -z*l. Let m be (l/(-105))/(-6 - -4). Is m >= 0?
False
Let d be (-1520)/(-38) - 3*(-20)/15. Is d greater than or equal to 46?
False
Let y be ((-52)/12)/(11/6). Let f = 4534 - 4537. Is f greater than y?
False
Suppose 2*g + 4*y = 616, 5*g + 2*y - 2011 = -479. Let n be 51/g - (-2)/(-12). Is 5/43 at least as big as n?
True
Let s(w) = w**3 - 13*w**2 - 147*w + 84. Let o be s(25). Which is bigger: o or 3908?
o
Let x = 21756901/15644 + -5563/4. Which is bigger: 0 or x?
x
Let h = 201 - 108. Let g = 94 - h. Which is smaller: g or 17?
g
Suppose 4137 = 10*s - 1643. Suppose -17 = 17*h - s. Which is greater: 26 or h?
h
Let a = 197.7 + -198. Let y = 9 + -20. Let n = y + 18. Which is bigger: n or a?
n
Let l be (-18974385)/3100 + (-9)/(-12). Let r = l - -6120. Which is smaller: r or -1?
-1
Let u = 1230 + -1245.06. Let x = 15.0302 - 0.0302. Let p = x + u. Is 2 smaller than p?
False
Let r = -82942 - -82946. Suppose z + 22 = 8. Is r at most as big as z?
False
Let z be (13862/1450)/(8/(-10)). Which is greater: z or -12?
z
Let m(y) be the first derivative of 10*y**2 + 7*y + 181. Let j be m(-4). Are -364/5 and j equal?
False
Let l = 3/86902 - 5563009/37107154. Is 0 at least as big as l?
True
Suppose 0*p + 5863 = -3*p + 2*i, 3*i = -p - 1947. Let g = p + 826120/423. Is g > 1?
False
Let w(t) be the first derivative of -3*t**2/2 + 12*t - 1. Suppose 22 + 8 = 9*r + 3. Let s be w(r). Is 13 > s?
True
Let w be ((-1278)/(-27) - 2)/(1/(-3)). Which is smaller: w or -1484/11?
w
Let j(r) = 2*r**2 - 12*r - 39. Let l be j(-3). Suppose 3*b = q + 15 + l, -4*q = 5*b + 69. Is -62/3 at most as big as q?
False
Let n = 1.9 - 15.9. Let s = n + 28. Let w = 0.119 - -0.181. Which is smaller: w or s?
w
Let b(v) = -v**2 + 4*v - 8. Suppose -5*r - 6 + 26 = 0. Let m be b(r). Let a = -48 + 41. Which is bigger: a or m?
a
Suppose -112 - 118 = 10*s. Let n = 25 + s. Let m be n/(120/(-182)) - -3. Which is greater: 1 or m?
1
Suppose 2*a + 8 = -i, -122 = 5*a + 5*i - 102. Which is bigger: a or -20.38?
a
Suppose -4*n = -3*k + 9, -7 + 20 = -k - 4*n. Let w be (-1840)/380 + 10/2. Are w and k non-equal?
True
Let u be 1 + 1 + 12/5. Let n = u + -48/5. Let d(s) = 4*s + 7. Let v be d(-3). Is v at least n?
True
Let o = -0.245 - -0.373. Let g = o - 0.228. Is 0.15 smaller than g?
False
Let j(w) = -37 - 16*w + 664*w**2 - 18 - 663*w**2. Let x be j(19). Are x and 17/13 equal?
False
Let y = -7759 - -4539. Let i be 11 + -3 - y/(-395). Is i bigger than 0?
False
Let s = -558 + 585. Suppose k + 4*k + 135 = 0. Let q = k + s. Which is greater: 6/5 or q?
6/5
Let k be 5 - (-9)/((-36)/112). Is k less than -32?
False
Let i(a) = a - 3. Let j be i(2). Let h be (-21 + 20)/(j/18 + 0). Let y be ((-24)/h)/((-392)/12). Are -1 and y equal?
False
Let w = -0.09 - -0.2. Suppose 0 = 36*p - 80 - 28. Let c be 1*(-4 + 3)*p + 2. Which is smaller: c or w?
c
Let p be 12/(-40) + (-525453)/(-510). Is 1028 greater than or equal to p?
False
Let f be (-3)/(-6)*0*1/(-2). Let z be -3 - 8*(-2)/4. Which is smaller: z or f?
f
Suppose 2*q - 5*d - 2353 = 0, -3*d - 3030 = -3*q + 495. Suppose -q*h = -1173*h + 9. Which is greater: h or -63/8?
-63/8
Let d = 0 - 1. Let k be -5 - (-37)/((-296)/210). Which is bigger: d or k?
d
Let u = -838 + 339388/405. Suppose k + 4 = 12*x - 10*x, -3*k - 12 = 0. Do u and x have different values?
True
Let a(f) = f**2 + 4*f - 9. Let d be a(0). Let z(q) = -q**3 - 9*q**2. Let r be z(d). Suppose -v - 23 + 23 = r. Is -2/29 bigger than v?
False
Let m = -410 - -648. Suppose 240*k = m*k + 2. Is -2/13 <= k?
True
Let a be 2468/(-3)*(-1)/((-14)/9). Let o = -12289/21 - a. Which is greater: o or -57?
o
Suppose 0 = -2*z - j - 12, -17*z + 13*z - 4*j - 24 = 0. Let a be (-80)/(-48)*-3*z/15. Let y = 17/14 + -61/154. Which is smaller: a or y?
y
Suppose -48*f + 47239 - 121629 = 125*f. Which is smaller: f or -434?
-434
Let w(o) = 0*o**2 + o**2 + 0*o**2 - 12 - 2*o**2 - 8*o. Let r be w(-6). Let a be ((-4)/14)/((-651)/(-147)). Which is smaller: a or r?
a
Let h be 4/16*12 + -233. Let c = -191 - h. Is 153/4 at most c?
True
Let z = 256/625 - 145678/383125. Which is greater: z or 0?
z
Let m be 5349022/(-2030) - (-10)/2. Let h = -2630 - m. Which is greater: -1 or h?
h
Let z be ((-5)/(-65) - (-4)/(-52)) + 2. Suppose 47 - 7 = 5*j. Suppose 5*c = -5*p + 4*p + 1, z*p + j = 0. Is c greater than or equal to 17?
False
Suppose -5*f + 104 = -1. Let k = -44819/117 + 4704/13. Let d = f + k. Which is smaller: 4 or d?
d
Let k = -5526 + 11047/2. Do k and -9.1 have different values?
True
Let u(z) = -z**3 + 25*z**2 + 212*z + 58. Let q be u(29). Is q at least as big as 2842?
True
Let f = 7311 - 16061/2. Which is smaller: f or -721?
-721
Let b = -0.348 + -2.652. Let i = 3 - 2. Let y = i - -4. Which is smaller: y or b?
b
Let m be (-2 - -1)/1*0*294/(-882). Let j = 0.13 + -0.15. Which is greater: m or j?
m
Suppose -p = -3*p + 8. Suppose p*m - 3*q + 3 = 0, -5*m - 10 + 40 = 3*q. Let c be 7 + (-6)/3 - (-12 + 14). Is m < c?
False
Suppose -2*p + 31 = 19. Suppose -3*t + 8*t - 20 = 0. Let n be -4 - ((-27)/p)/((-2)/t). Are n and 2 non-equal?
True
Let l = -2 - -1. Let n = l + 0. Let i = -2.62361 + 2.53361. Is n smaller than i?
True
Let u be (2 - -358)*(-136)/4386. Is -11 at least u?
True
Let d = 70 + -83.6. Let p = 12.6 + d. Let z be (-8)/21 + (-4)/14. Which is smaller: z or p?
p
Let j(b) = b**2 - 13*b + 83. Let c be j(4). Do 154 and c have the same value?
False
Suppose -c + 6 = 2*c - 5*l, 4*c - 8 = -5*l. Suppose -c*s + 40 = 5*y, y + 3*s - 33 = -2*y. Suppose y*r - 53 = 5*r. Which