 r. Is -3 at most as big as g?
False
Suppose 4*d = 12 - 0. Suppose 3*b = -d*q - 9, b + 5*q + 17 = -2. Which is smaller: b or 2/63?
2/63
Let t = 659 + -662. Which is greater: 26 or t?
26
Let a = 13/114 + -16/57. Which is bigger: -0.6 or a?
a
Suppose 10*v - 294 = -4*v. Let y(r) = r**3 + 5*r**2 - 17*r - 1. Let l be y(-7). Which is smaller: l or v?
l
Let h be (-20)/450*(-75)/12. Let s = 29/234 - h. Is -1 equal to s?
False
Let c(m) = 9 + 5*m + m**3 - 4*m + 0 + 9*m**2 + 0*m**2. Let r be c(-9). Suppose -z - 11 = 4*f, r = -3*z - 4*f + f - 15. Does -4 = z?
False
Suppose -44*i = -6*i + 456. Which is bigger: -50 or i?
i
Let m be 12/(-16) + 485/(-4). Let i = -7 - m. Let t be ((-138)/i)/((-7)/5). Is 1 bigger than t?
True
Suppose -3*o - o = 540. Let u = 943/7 + o. Which is smaller: -3 or u?
-3
Suppose 4*f + 135 = 9*f. Let y be ((f/12)/(-9))/(1/(-4)). Which is smaller: 1/2 or y?
1/2
Let b = -31 + 32. Let h(k) = -k**3 + 5*k**2 - 2*k + 7. Let i be h(5). Let g = 4 + i. Is g < b?
False
Let b be 5 + 1*(-3 + 7). Suppose b = -8*o + 1. Let z be 2/30 - 1/5. Is z equal to o?
False
Let x(g) be the second derivative of -1/12*g**4 - g + 1/3*g**3 + 1/2*g**2 + 0. Let m be x(2). Which is smaller: m or 1/2?
1/2
Let w = 3284/9 + -364. Let i(f) = -2*f**3 - 2*f**2 - f + 2. Let a be i(-2). Suppose 5*p - 20 = -5*n, -2*n + 5 + a = 5*p. Which is greater: w or n?
n
Let o(b) = b + 9. Let j be o(-4). Suppose 36 = 5*g + 2*m, -j*g + 2*m + 48 = -2*m. Let s be (-24)/(-2) - (5 + -2). Which is smaller: g or s?
g
Let h = 565 + -568. Is h smaller than 0.66?
True
Let y = -1.1058 - -0.0058. Suppose -z + 1 - 6 = 4*b, -2*b - 5 = 3*z. Which is smaller: b or y?
y
Suppose 2*w - 18 = -4*w. Suppose -f + w*n - 22 = 0, -5*n = -3*f + f - 42. Is 0 at most as big as f?
False
Let w = 758 - 757. Which is greater: w or -4/157?
w
Let r = 32.1 - 28. Let p = -4 + r. Which is smaller: -18 or p?
-18
Let q = 55 - 57. Let p = 0.081 - 0.281. Which is smaller: q or p?
q
Let u be ((-30)/8)/3 + (-141444)/(-144). Are 981 and u non-equal?
False
Let q(h) = -h**2 - 13*h - 48. Let t be q(-8). Does t = -16?
False
Suppose 0 = -i - 4*k + 15, 3*i + 5*k = -i + 71. Let v = i - 10. Suppose -3*z = 12, 0 = 5*p + 3*z - 8*z - 60. Which is smaller: v or p?
p
Suppose -35*x = -55*x + 1140. Is 175/3 less than x?
False
Let g = -51/140 + 13/20. Is g > 7.5?
False
Let i = 156 + -1734/11. Let g(y) = y**3 - 13*y**2 - 2*y - 5. Let a be g(13). Let c = a + 30. Is c greater than i?
True
Let t = 0.186 + -0.326. Is t less than or equal to -0.1?
True
Let o = 841/3 + -280. Which is greater: o or -3/20?
o
Let y be (-30)/(-2) - (2 + -2). Let o = 16 - y. Let c be (3/42)/(o/12). Which is greater: c or 1?
1
Let n = -4.12 - 3.88. Is n > -8?
False
Let g = 359/2 - 14180/79. Which is smaller: g or -1?
-1
Let d = -115401874/45 + 2562439. Let w = -2047 - d. Which is greater: w or 1?
1
Let r be (-177)/(-9) - (-5)/15. Which is smaller: r or 17?
17
Suppose 3*m + 0*m = 0. Suppose m = 4*i + 3*s - 19, -i - 3*i = -4*s + 16. Suppose -i + 5 = -4*h. Is 3 smaller than h?
False
Let x be (-241688)/(-7308) - 4/(-18). Let o = 8/203 + x. Let h = 33 - o. Which is smaller: -0.1 or h?
h
Let g = -0.18 + 0.08. Suppose b = -5*u + 32, -152 = -4*b - 0*b + 4*u. Is g < b?
True
Let x = 134 - 1472/11. Let a = 22470 - 22479. Do x and a have different values?
True
Let s be ((-166)/652 - -1) + 537/(-716). Which is greater: s or 0?
0
Let d be ((-4)/2*-21)/(22/43). Let a = d + -82. Let y = -5/19 + -23/57. Is y greater than or equal to a?
False
Let k be ((-5 + 7 + 0)/(-2))/(-1). Which is bigger: 1/16 or k?
k
Suppose 0 = 5*d - 3*u + 134, 4*d = 4*u - 5*u - 97. Let m be (-10)/d + (-24)/35. Is m smaller than 11?
True
Suppose -i - 11 = 5*v, -57*v + 15 = -58*v + 3*i. Is 71 less than or equal to v?
False
Let h(k) = 2*k**2 + 4*k - 1. Let w be h(-4). Let z = w - 44/3. Let f = -30 - -29.3. Which is smaller: f or z?
f
Let m be 4*(6 + 99435/(-16572)). Is 0 <= m?
False
Let h be 531/1491 + (-4)/14. Do h and 1 have the same value?
False
Let o be 68/(-306)*56/(-2). Is 5 greater than o?
False
Let l(v) = -v**3 + 6*v**2 + 6*v + 2. Let u be l(7). Let h be (-35)/20*u/35. Which is smaller: h or 0.021?
0.021
Let c be 268/15 + (-24)/(-180). Let y = 24 - c. Suppose 0*a = 2*z + 4*a - 10, -a = 1. Is z smaller than y?
False
Let v be 858/(-156)*2/(-61). Do -1 and v have different values?
True
Suppose 5*a - 16 = 9. Let g(f) = 5*f + 70. Let s be g(-13). Suppose a + s = -5*d. Is -0.2 smaller than d?
False
Let r be (-4)/4 + 1 + -1. Let x be ((-45)/270)/(6/(-9) - -2). Which is smaller: x or r?
r
Let d = 8 - 4. Suppose -19 = -d*n + 5. Let k = -2079 - -2086. Is k smaller than n?
False
Suppose -5*k - 25 = 0, 0*j + 2*k + 37 = j. Let m = j - 20. Is m != -1?
True
Let d(c) = 25*c**3 - c**2 - c + 1. Let k be d(1). Suppose 5*a - a = k. Suppose a - 3 = 3*n. Which is smaller: n or 3?
n
Let x be (-4)/(16/(-14)) + -3 + -1. Is x greater than or equal to -1/228?
False
Let p = -3724 + 1754002/471. Is -1 at most p?
True
Let y be 2 - (-5 + 9)*-3. Suppose -y*t + 3*t + 33 = 0. Let s = 0 + 3. Is t at least s?
True
Let k be (-1)/(((-10)/16)/5). Let g be ((-4)/(-5))/(4/10). Suppose -3*c + x + 3*x = k, c + x = g. Is -6/5 <= c?
True
Let h(k) = -2*k + 29. Let u be h(6). Let y be (-3)/9 - (-106)/(-6). Let v = u + y. Is -12/5 bigger than v?
False
Let n = -241 - -229.1. Let c = -5.9 - n. Which is smaller: c or 14?
c
Let t = -1 - 0. Let c(p) = p - 3. Let m be c(-11). Let b be ((-6)/m - 1)/10. Is t > b?
False
Suppose 20*u + 10 + 50 = 0. Is 13 at most u?
False
Let g = 5 - 4.2. Let v = -0.84 + g. Let h = 83/4 + -21. Which is smaller: v or h?
h
Let a(v) = v**3 - 15*v**2 + 15*v - 18. Let u be a(14). Let r(m) = -m**2 + 2*m + 10. Let p be r(5). Let t = u - p. Which is smaller: t or 1/4?
1/4
Let p(l) = -2*l**3 + 29*l**2 - 7*l + 5. Let z be p(14). Which is smaller: 102 or z?
102
Let f(i) = i - 7. Suppose 0 = 2*j - 0 - 14. Let q be f(j). Let h be ((-14)/(-84))/((-2)/(-12)). Which is smaller: q or h?
q
Let h = 9 + 1. Let t be (h/(-175))/((-1)/(-55)). Which is smaller: t or -4?
-4
Let p = 24 - 24.1. Let i = 100/4433 + 6/143. Is p at most i?
True
Suppose -13*t + 123 = -904. Which is smaller: t or 81?
t
Suppose 5*z = z - 28. Let l = -28 + 32. Suppose p = l*n + 20, 4*n - 3*p = -p - 16. Is z <= n?
True
Suppose -5*l + 2*l = 66. Let m be 92/22 - l/(-121). Suppose -m*v + 3 + 1 = 0. Which is smaller: v or 2/27?
2/27
Let h(t) be the second derivative of t**3/2 + 7*t**2 + 25*t + 1. Let j be h(-4). Do 30/11 and j have the same value?
False
Suppose 4*z = s - 10, -s + 2*s + 2 = 0. Let r = -38 - -46. Suppose -3*k + r = -5*k. Does z = k?
False
Let b = 31.4 + -59. Let f = 27.5 + b. Let k = -6.8 + -23.2. Which is greater: f or k?
f
Suppose 0 = 3*h - 68 + 53. Suppose y = 3*s + 2, h*y = 5*s + y + 8. Are 2/29 and s nonequal?
True
Let i(u) = -2*u - 5. Let l(v) = 10*v + 24. Let h(t) = 11*i(t) + 2*l(t). Let q be h(-3). Which is greater: -2 or q?
q
Suppose -3*p - 50 - 13 = 0. Let x be 1/4 + p/(-12). Let z be -3 + 5 - (x + -9). Which is bigger: z or 10?
10
Let t = 875 - 870. Is 12 at least t?
True
Suppose -25 = -4*a + 5*g, -3*a - 6 = 3*g + 9. Let r = -7898/21 - -376. Which is greater: a or r?
a
Let c = -31269/29 - -1078. Is c less than -1?
False
Suppose -v - 4*f = 4, 0*v - 2*v + 2*f + 2 = 0. Suppose v = 3*u - u - 2. Which is greater: u or -2/7?
u
Let u(c) = -4*c**3 + 4*c**2 - 2*c + 2. Let j be u(2). Let l be -3 - (2 + 10 + -1). Does l = j?
False
Let y = 124486/277629 - -4/42065. Let c = y - 4/15. Which is smaller: c or -1?
-1
Let b(r) = r**3 + 2*r**2 - 4*r - 5. Let w be b(-4). Let g be 1*(-322)/(-42)*(1 - 4). Is g not equal to w?
True
Let o = 118 + -161. Do -44 and o have the same value?
False
Let x be ((-8)/(-6))/((-2)/(-6)). Let b(t) = 5*t**2 - 39*t + 33. Let p be b(7). Which is greater: p or x?
p
Let n = -668 + 669. Which is bigger: n or -2/19?
n
Let o(w) = 4*w + 1. Let f be o(8). Suppose -5*n + 114 = 294. Let t = f + n. Which is smaller: t or -11?
-11
Let v = -121 - -123. Which is bigger: 7/5 or v?
v
Let n(d) = 2*d**2 - 22*d - 1. Let c be n(11). Is 4/25 at most c?
False
Let n(l) be the second derivative of 23*l**3/6 - 15*l**2 - 42*l. Let b be n(4). Is b > 61?
True
Let t = 0.58 + -25.53. Let v = 27.1 + -2.1. Let l = t + v. Which is smaller: -2 or l?
-2
Let a = 6.945 + 0.055. Is 1/3 smalle