or -42/13?
g
Let a = -34 - -137/4. Suppose 3*g + 130 = 2*r, r - 4*g - 23 = 47. Let q = 60 - r. Which is bigger: a or q?
a
Suppose 30*f + 8103 = -7*f. Does -221 = f?
False
Let a = 156 - 156. Let r be a + (-1 - 1) + (-4)/(-4). Is -19/9 greater than or equal to r?
False
Let p(i) = -i**2 - 8*i - 3. Let l be p(-5). Suppose -4*s + s = l. Let a be s/16 - (-2 + 1). Which is greater: a or 0?
a
Let p = 127/296 + -2/37. Suppose -k + 4*k - 9 = 0. Suppose -6 = -0*s + 3*s, k*u + 4*s + 11 = 0. Is u at most p?
True
Let o be (10 + 1216/40)/(8/10). Which is greater: o or 52?
52
Let i = 126.4 - 121.4. Is 58 != i?
True
Let w = -10.6 + 3.6. Let i = 6 - w. Which is smaller: 2/9 or i?
2/9
Suppose 0*s + 24 = 2*s. Suppose -2*t = t - s. Suppose -3*h + 2*b = 2*h - t, 2*b + 4 = -3*h. Is -1 bigger than h?
False
Let q(n) = -n + 7. Let u be q(7). Let r = 237/440 + -7/40. Which is smaller: r or u?
u
Let l be (-4)/(-38) + (-83)/1216*2. Is l at most as big as 1?
True
Let z(k) = 2*k**2 - 36*k - 16. Let n be z(14). Is -129 at least as big as n?
False
Let p(t) = t**2 + 9*t + 8. Let g be p(-8). Let k be -2*(5/185 - g). Which is smaller: 0 or k?
k
Let l = -54 - 4. Let v = 58 + l. Which is smaller: v or -1/2?
-1/2
Let q(l) = -2*l - 11. Let c be q(-7). Suppose 0 = -4*o + c*o - 2. Let b be 3/(-9) + (-28)/24. Which is smaller: o or b?
o
Let t = -0.05 + 0.21. Let g = t + -3.16. Let o = g - -3. Which is greater: -2/7 or o?
o
Suppose -5*m - 22 = 2*h, 0 = 5*h - h + 3*m + 44. Is h != -11?
False
Let o be -4*((-45)/(-54))/5. Let l = -31 + 19. Is l bigger than o?
False
Let j(n) = -7 - 3*n + 57 - 30. Let g be j(5). Suppose p = -4*i - 28, 0*p - 3*p + g*i = -1. Which is greater: -7 or p?
-7
Let o = 351.5 - 358.5. Let x be (-1219)/21 - (-2)/(-3). Let d = 59 + x. Which is smaller: o or d?
o
Suppose 154 = 3*u + 5*b, -4*u - 3*b + 53 = -156. Does 209/4 = u?
False
Let c = 0.23 - -59.77. Let y = -59.91 + c. Which is greater: y or -2?
y
Let c(l) = -6*l + 2. Let k be c(1). Let t(m) = m**3 + 4*m**2. Let f be t(k). Which is bigger: f or 2/63?
2/63
Let v = 68 - 32. Let a = -21 - -24. Let y be ((-2)/4)/(a/v). Which is bigger: y or -7?
y
Suppose 0 = i - 4*t - 19, -14 - 2 = -4*i + 4*t. Which is smaller: -2 or i?
-2
Let n = -80676 - -888662/11. Let m = n - 112. Are -2 and m non-equal?
True
Let h = -1 - -5. Let k(r) = -r**3 + 5*r**2 - 2*r - 3. Let w be k(h). Suppose 0 = -0*o - 5*o - w. Which is smaller: o or -4/3?
-4/3
Suppose -k = -3*v - 20, 2*v = -6*k + k - 2. Is v at least as big as -8?
True
Let v be -2*(-5)/(-20) + (-616)/(-16). Let h be (-117)/(1 - 4) - 2. Do v and h have the same value?
False
Let l(m) = -4*m**2 - 9*m + 4. Let t be l(-4). Is -18 not equal to t?
True
Let w(l) = 2*l + 8. Let n(r) = r**3 - 3*r**2 + r - 1. Let a be n(3). Let k be -1 + (4 - a) - 7. Let m be w(k). Is m less than or equal to -6?
False
Suppose 43*s - 34*s + 18 = 0. Are -34/23 and s unequal?
True
Let h(g) = 7 + 14 + 2*g**2 - 3*g + 7*g - 25. Let d be h(-5). Which is greater: 25 or d?
d
Suppose 0 = 5*d - 20*d - 15. Is d greater than -3/41?
False
Let a = -48 + 110. Suppose 5*w + 0*j - a = -3*j, 5*w = 2*j + 67. Is w bigger than 13?
False
Let d = -0.182 + -3.718. Is d less than -2?
True
Let s be (-60)/200*4/(-6). Suppose 23*m - 27 = 14*m. Which is greater: m or s?
m
Let x = -4 - -34. Let k be (-108)/x + (-4)/(-1). Which is smaller: 0 or k?
0
Let j = -148 + 147.5. Suppose b - 3 = -1. Which is smaller: j or b?
j
Let c = -76 + 8. Is -72 > c?
False
Let o(m) = -13*m - 234. Let s be o(-18). Which is smaller: 7/38 or s?
s
Let x = -8.34 - -9. Let c = x + -0.21. Which is smaller: -0.2 or c?
-0.2
Let j = 26 + -22. Let u be (-54)/42 - j/(-14). Let a(y) = -y**3 - 2*y - 2. Let r be a(u). Which is smaller: 2/55 or r?
2/55
Let w = 430 - 609. Which is bigger: 0.2 or w?
0.2
Let w be ((-14)/(-6) - 1)/(1820/390). Is w greater than or equal to 86?
False
Let f = -3 - -3.8. Let h = -1 + f. Let m = h - 0.5. Is 0 less than m?
False
Let g = 218/45 - 94/9. Let r = g - -6. Which is greater: r or 1?
1
Let o be 3 - ((-2)/3)/(220/(-6831)). Which is smaller: o or -18?
-18
Let g = 3.6 + -44.6. Let h = g + 63. Which is greater: 1/4 or h?
h
Let a = 93 - 369/4. Which is smaller: -5/8 or a?
-5/8
Suppose -2*c = 5*v - 2*v + 11, -3*v = -4*c - 13. Let l(w) = 2*w**3 - 42*w**2 + 197*w - 22. Let p be l(14). Which is bigger: p or c?
c
Let n = -0.137 - -0.537. Is -8.3 >= n?
False
Let r = 12 + -14. Let b be (-1)/r + 2445/510. Let i = -1136/221 + b. Is i at most 0?
False
Let r be ((-1)/(-1))/((-5)/(-15)). Suppose 3*t - a + 9 = 0, r*t - 3*a + a = -12. Which is greater: t or -6/5?
-6/5
Let h = -878 + 877. Do -40.1 and h have the same value?
False
Let x be (-16)/128*(-3)/6. Let o be (-10)/5*1/(-2). Which is greater: o or x?
o
Let g be (1 + -3 + 0)*60/(-140). Which is bigger: g or 1?
1
Let l = 153 + -152.8. Are -213 and l nonequal?
True
Suppose -3*i = -658 + 178. Suppose -i + 20 = 5*m. Which is bigger: m or -27?
-27
Let q = 383275/597 + -642. Which is bigger: 1 or q?
1
Suppose 0 = 2*d + 2*d - 416. Suppose 0 = -z - 0*y - y + 40, 2*z - 4*y = d. Suppose -6*o = -2*o + z. Are -10 and o nonequal?
True
Let n = 32.9 - 32.8. Which is smaller: -129 or n?
-129
Let t = -4.1 - -4.1. Let x(p) = 10*p + 45. Let v be x(-3). Is v <= t?
False
Suppose 3*f = -2*f + b - 5, 2*b + 2 = 4*f. Suppose -2*o + 2*s - 32 = -0*s, 4*o + 74 = 2*s. Let u be 12/o + (-60)/(-154). Is f less than u?
True
Let o be (170196/447 - 5)*4*2. Let m = 3006 - o. Is m greater than 0?
False
Let m(a) = a**3 - a**2 + 3*a - 3. Let b be (-3 - -6) + -3 + 0. Let y be m(b). Are 0.3 and y non-equal?
True
Let w = -0.025 + 0.225. Let z = 15 - 11. Is w at most as big as z?
True
Let t = 16/25 - 1724/3475. Is -1 at most t?
True
Let p(t) = 94*t**2. Let f be p(1). Let l = f + -31. Which is smaller: 64 or l?
l
Let i = 21 + -31. Which is greater: -12 or i?
i
Suppose -13*z = -10*z + 9. Let k = z + 18. Which is smaller: 13 or k?
13
Let c = 0.07096 - 0.02342. Let r = c + 29.92246. Let a = r + 0.03. Which is smaller: 1/3 or a?
1/3
Let k = 152.1 - 146. Let v = -5.1 + -0.9. Let s = v + k. Which is bigger: -1 or s?
s
Let g(m) = -m**2 + 1. Let d(z) = -z + 6. Let r be d(6). Let h be g(r). Let o be -8*((-11)/6)/11. Is h at most as big as o?
True
Let v be -2 + 200/9 + 4/(-18). Let y be (24 - v)*2/(-3). Let s(n) = -n**3 + n**2 + n - 1. Let b be s(2). Which is greater: b or y?
y
Let s = 27 + -21.2. Let l = s - 5.6. Does l = -6?
False
Let w = 1.77 + 2.23. Let f = -0.4 + 0.5. Which is smaller: f or w?
f
Let l(g) = -6*g + 4. Let y be l(4). Suppose 18 + 70 = -4*w + 2*f, -2*f + 112 = -5*w. Let b = w - y. Which is greater: b or -8?
b
Let g be ((-4104)/162)/(1 + 5/(-3)). Which is smaller: 36 or g?
36
Let n be 49/8 - (0 - -7). Which is bigger: 2/3 or n?
2/3
Let o be -10*4/(-8) - 297/55. Let x = 1 + -5. Let d = 5.2 + x. Which is smaller: o or d?
o
Let g(r) = -3*r + 18. Let x be g(-8). Let w = 292/7 - x. Let i = -650 + 5842/9. Is w <= i?
False
Suppose -2*l + 44 = 2*l. Suppose -y + l = 2*a + 2*y, a - 5*y + 27 = 0. Let t be 1/(-2) + 45/18. Does t = a?
False
Let m be (-6)/(-9) - 246/(-9). Which is greater: -4 or m?
m
Let q be -2 + (-1)/((-5)/55). Let g be (q/(-138))/(-4 - 9/(-2)). Are g and 1 non-equal?
True
Let l be 2 - (1 + -6 - (-558)/80). Suppose 2*t = -0 - 2. Is l > t?
True
Let f = 687 - 673. Suppose 5*p - n = 74, -3 + 2 = -n. Which is greater: f or p?
p
Let s(d) = d**2 - 19*d + 39. Let h be s(17). Suppose -2*j + 2*o - 20 = 0, 5*j + h*o + 13 = -7. Is j not equal to -25/3?
True
Let m = 6374 + -25357/4. Which is bigger: m or 34?
m
Let n be 10/(-30) + (-2 - (-3 + 0)). Which is greater: n or -354?
n
Let n = -216 - -208. Which is greater: n or -1/41?
-1/41
Suppose -3*i = i. Suppose 4*a = -i*a. Which is smaller: a or -7/12?
-7/12
Suppose 5*x = -3*a + a - 15, x - 2*a - 9 = 0. Let b be (-2 - -4)*(-317)/2. Let p = 2539/8 + b. Is p less than x?
False
Let m be (3*-8)/(-6) - 10. Let y(c) = c**2 - 10*c + 11. Let u be y(9). Suppose -l + 22 = -5*l - u*n, -35 = 5*l + 4*n. Which is smaller: l or m?
m
Let c(l) = -2*l**3 - 16*l**2 + 2*l - 27. Let r be c(-8). Which is greater: r or -44?
r
Let g(d) be the first derivative of -d**2/2 + 16*d - 23. Let t be g(17). Which is smaller: -4/23 or t?
t
Let x be (-4)/24 - (-5)/(-6). Let o(v) be the first derivative of -v**4/2 + v**3/3 + v**2 + v - 7. Le