h is greater: v or l?
v
Let p be (-3 + 4)*(-4)/(-2). Let n = 4 - p. Suppose -4*r - n = -3*o, 0 = -0*o - o + 4*r + 6. Which is smaller: o or -1?
o
Let i(b) = -b**2 - 9*b - 8. Let h be i(-8). Suppose h = -k + 2*k - 23. Suppose -k + 3 = 5*t. Is -4 != t?
False
Let b = 178 - 1248/7. Is -14.9 at least b?
False
Suppose -382 = 15*q - 1462. Is q >= 220/3?
False
Let f be 2/(((-12)/1264)/((-6)/16)). Is f less than 6?
False
Let b(k) = 7*k**2 + 28*k + 1. Let a be b(-4). Which is bigger: a or 6/91?
a
Let s = 0 + -1. Let o(g) = -g**2 - 7*g + 21. Let u be o(-9). Let d be u + 9/(135/(-40)). Is d < s?
False
Let h = -0.0228 + -0.0772. Is 26/21 > h?
True
Let n = -8.86 + -0.14. Let c = -17 - n. Let k = c - -7. Which is smaller: 3 or k?
k
Let a = 44 - 44.0481. Are a and 1 nonequal?
True
Let s be 0 + -36 + -10 + 9. Let j = s + 12. Is -26 greater than j?
False
Suppose 7*r - 645 + 638 = 0. Which is bigger: 12 or r?
12
Let v = -1398 + 1305.2. Which is bigger: v or 2/3?
2/3
Let w(g) = g**3 - 4*g**2 + 4*g - 4. Suppose 0 = 3*v + 5*v - 24. Let f be w(v). Is 2/45 less than or equal to f?
False
Let i be (12/(-105))/((-41)/(-20) - 2). Is -0.02 greater than i?
True
Let b be 1*1/(-3)*6. Suppose -6*x = -x + 100. Let g be ((-6)/15)/((-28)/x). Is g smaller than b?
False
Suppose 0 = 2*s - v - 2, -3*s + 6 = s - v. Suppose -s + 4 = -d. Let a be 17/85*20/(-6). Is a > d?
True
Let x be (0 + -16)/((-9)/414). Let m = 7325584/27 - 272054. Let j = m + x. Which is greater: -1 or j?
j
Let z = -2370 - -16592/7. Let b = 0 + 0. Which is smaller: b or z?
b
Suppose 2*s + 44 = -t, -t - 7 = -s + 31. Suppose -3*f - 4*l - 16 = 113, 0 = -5*f - 2*l - 201. Do t and f have different values?
True
Suppose 16 = -2*v - 6. Let a(u) = 3*u - 17. Let l(o) = 2*o - 11. Let m(s) = -5*a(s) + 8*l(s). Let k be m(-8). Is v less than or equal to k?
True
Let z = 224 + -532. Which is greater: z or -307?
-307
Suppose -5*t + 187 = 4*j, 2*t = 2*j + 129 - 47. Let z(s) = -13*s. Let w be z(-3). Is t smaller than w?
False
Let t = 48 - 74. Let x = t - -27. Which is bigger: -4 or x?
x
Let q = -29 + 29. Let v be 4/124*-2 + q. Suppose 4*z + 7 = l, -4 + 2 = z. Which is smaller: l or v?
l
Let s(u) = u**3 + 11*u**2 + u + 13. Let h be s(-11). Suppose 2*t = 8, h*t - 14 = -4*i + i. Is 5/6 greater than or equal to i?
False
Let i = 730 - 690.9. Let h = 39 - i. Let f = -187/9 + 21. Which is bigger: h or f?
f
Suppose 4*n + 50 = 9*n. Let w be 78/5 - (-4)/n. Which is bigger: w or 18?
18
Suppose 0 = -3*z - 3*z + 84. Suppose 4*k + 74 = z. Let j(h) = h**2 + 15*h + 1. Let a be j(k). Which is smaller: a or 0?
0
Let z = 0.015 + -0.039. Let t = 0.224 + z. Is -14 at least t?
False
Let d = 201 + -201. Let l be (-4)/(-10) - 110/650. Is d at most as big as l?
True
Let s(m) = -m**2 - 20*m - 3. Suppose 5*f + 136 = 36. Let p be s(f). Is -7 at least as big as p?
False
Let k = 14.4 - -1.6. Let u = k - 20. Is u greater than or equal to 2?
False
Let j = 186 - 195. Let t = 2 - 3. Which is bigger: t or j?
t
Let n(z) = -3*z**3 + 3*z**2 + 3*z - 22. Let l be n(-4). Which is smaller: l or 205?
205
Suppose 13 = 3*f - 5*p, 5*f + 23 = 8*f + 5*p. Suppose -6 + 6 = -f*m. Which is smaller: 1 or m?
m
Let x be (165/(-35) - -3) + 3. Suppose -2 + 7 = 5*g + 3*i, 2*i - 1 = -g. Is x < g?
False
Let h = -84 - -77. Let p be 30/h - (30/6 + -5). Is -4 greater than p?
True
Let k be (0 + 2)*(-2 - (-10)/4). Let i be (-2)/k - (-15)/10*-26. Which is bigger: i or -40?
-40
Let z = 171565/31 + -5535. Is -1 < z?
True
Let d = -40.9 + 41. Let a = 78 - 77. Which is smaller: d or a?
d
Suppose -9*a + 5*a = 1588. Let d = a + 18657/47. Which is smaller: d or 1?
d
Suppose -1910 + 344 = -6*d. Which is smaller: d or 260?
260
Let v be (-28)/(2/1*-1). Suppose -10*y - v = -8*y. Are y and -5 unequal?
True
Let w = -16 + 14. Let a be ((-3)/w)/3*-1. Which is smaller: a or -1?
-1
Let z = 14.1 + -1.1. Let q = -3 - z. Let i = -13.8 - q. Is 1 > i?
False
Let y be (-7)/(-4) + 15/60 - -4. Suppose -4*w + 2*q = 8, 5*w - 2*w + y = -3*q. Let n = 2 - 5. Which is greater: n or w?
w
Let s = -2.7 + 44.7. Let j = s + -46. Is 2 greater than or equal to j?
True
Suppose -5*p + 25 = 2*w - 17, -3*w = 5*p - 43. Suppose 3*g = g - p. Let y be g + 26 - (2 + 0). Which is smaller: 39/2 or y?
39/2
Let d be (5 - 4)*(3 - 9). Let t be 32782/(-344) + d/(-3). Let q = t - -373/4. Is q less than or equal to -1?
False
Let t = -3 + 23. Let f = -23 + t. Which is smaller: f or -2?
f
Let a be 28/8*(-24)/(-14). Suppose d - 5 = 2*r - 2*d, r + 3*d + 7 = 0. Let g = r - -9. Which is greater: a or g?
a
Let l = -53 + 60. Let c be (-22)/(-56) + l/4 + -2. Suppose 0 = -3*z + 3, 3*g - 6 = z - 4*z. Do c and g have different values?
True
Suppose -6 - 30 = -6*y. Let u be (1/(-47))/(-3*4/y). Which is smaller: u or -1?
-1
Suppose c + 117 = -4*s + 13, -2*s - 52 = 3*c. Which is smaller: -137/5 or s?
-137/5
Suppose -7 = -a - 5*d, 2*a + d = -2*a + 9. Let n = -33 - 33. Let r be n/(-45) + (-1)/(-5). Which is bigger: r or a?
a
Let q(j) = -j**3 - 11*j**2 - 3*j - 33. Let x be q(-11). Is -13/28 at most x?
True
Let j be (30/(-40))/((-1)/(6*2)). Let t = -8 - -4. Let g = t + 13. Does j = g?
True
Let d be 2 - ((-27632)/(-9865) + (-4)/5). Which is smaller: d or 0?
d
Let h = -335.7 - -334.7. Let p = 0.09 + -0.54. Which is greater: p or h?
p
Suppose 0 = 6*s - 15 - 15. Which is smaller: s or -5?
-5
Suppose 5*u + 4*l + 145 = 0, u + 2*l - 4 = -39. Which is bigger: 2 or u?
2
Let v = 256 + -255. Which is smaller: v or 3/182?
3/182
Let o be (0/(-4))/(27 + -25). Which is smaller: o or -70?
-70
Let w = 2/395 + -1594/2765. Let d = -30 - -30. Is d greater than or equal to w?
True
Let t(w) = w**3 - 6*w**2 + 9*w - 1. Let v(b) = -b**2 + 1. Let a(z) = t(z) + 2*v(z). Let p be a(7). Suppose 5*h + p = 2*h. Is h greater than -4?
False
Suppose -x + 3*r = -170, -5*x - 123*r + 802 = -126*r. Is x less than 1?
False
Let u be (-6)/22 - (-24472)/(-253). Does -101 = u?
False
Let p(c) = c**3 - 4*c**2 + 4. Let o be p(4). Suppose -o*k - 3*t + 0*t + 34 = 0, 4 = 2*t. Which is bigger: 15/2 or k?
15/2
Let t be 3 - (-2)/(2/(-3)). Suppose t*r + 81 = 3*r. Let o be ((-6)/9)/((-6)/r). Which is greater: o or 5?
5
Let z(v) = -3*v**2 - 32*v - 68. Let c be z(-7). Is c greater than or equal to 14?
False
Let d = 99128 - 1088962/11. Is 130 at most d?
True
Let w = -35 + 70. Let n be (3 - -1) + (-7)/(w/50). Which is bigger: -7 or n?
n
Let j be 4/(3/(-2) + -2). Let i be 1/(-1) + (-10)/20*-2. Which is greater: j or i?
i
Let g be (65*16/120 + -9)/((-1)/102). Suppose 4*w = -r - 3 + 21, -3*w - 12 = 0. Is r at most g?
True
Let n(d) be the first derivative of -7*d**2 + 2*d + 7. Let o be n(1). Is o at least as big as 2?
False
Suppose -5*t - 3*h + 114 = 0, 0 = t + h - 23 - 1. Do t and 20 have the same value?
False
Let x(d) = -3*d - 93. Let i be x(-5). Is i > -82?
True
Let z be ((-3)/2)/((-2)/((-8)/3)). Let u be (-12)/9*(-3 - z - 2). Let a(g) = g**3 + g**2 - g + 4. Let j be a(0). Is u at least j?
True
Let o = 8168/23239 - -2/1367. Which is smaller: -4 or o?
-4
Let x = 13.7 + -13. Let h = -5.3 - x. Is 10 at least as big as h?
True
Let j = 21 - 19. Suppose -2*c - 3*i + 34 = 0, -j*c - 5*i + 75 = 3*c. Suppose -5*g = -16 + c. Are g and 4 equal?
False
Suppose 2*r = 3*v + 9, 5*v - 7 = -7*r + 3*r. Suppose 5*l + r*i + 25 = 8*i, -4*i + 8 = -l. Let x be 6/(5/5 + -3)*1. Which is bigger: l or x?
x
Let o be (-3 + (-14)/(-6))*6. Let f be ((-8)/9)/(2*o/(-24)). Is f less than 1/3?
True
Let i = 79 + -78.964. Let o = -0.164 - i. Which is smaller: 4/3 or o?
o
Let i be 21/(-120) - (-1)/(-5). Let j(o) = o**2 + 3*o - 3. Suppose -4*n = -5*z - 32, 5*z - 2*n = -7 - 19. Let l be j(z). Which is bigger: l or i?
l
Let c(g) = g**3 - 41*g**2 - 48*g + 262. Let i be c(42). Does i = 125/11?
False
Let z = 13 - 39. Let s be z/(-7) - 3 - 1. Let f = -0.1 + 1.1. Do s and f have different values?
True
Let i(h) = 4*h - 13. Let t be i(-7). Let m = t - -23. Let y = -53 + 34. Is m less than y?
False
Let f(v) = v**2 - 8*v - 6. Let y be f(9). Suppose -a = 2*j, -a = -2*j + y*j - 1. Suppose a*h = 7*h. Is h at most as big as 4/3?
True
Suppose 22*b + 1591 = 557. Which is bigger: b or -630/13?
b
Suppose -7*t + 2*t + 5 = 0. Let r(b) = b**3 + 8*b**2 - b - 4. Let w be r(-8). Is w less than or equal to t?
False
Let h be (-28)/(-7) - (476/(-20))/(-7). Which is smaller: -57/5 or h?
-57/5
Let 