ler than y?
False
Let q be 89/(-4) - -1*(-91)/52. Is -23 smaller than q?
False
Suppose 0 = -5*b + 2*k - 107 + 3831, 752 = b + 2*k. Let x = 24616/33 - b. Which is smaller: 0.4 or x?
x
Let z(h) = h**2 + h. Let v be z(-1). Suppose 2 = -2*u - v*u. Let a be (3/(-9))/(39/(-9)). Is a less than or equal to u?
False
Let r = 105 + -12. Let j be 1736/r + ((-4)/(-3))/(-2). Is 14 < j?
True
Let y be (-4 - 10304/(-2580))*(-39)/2. Let z = 12/43 + y. Which is bigger: z or -5?
z
Suppose 4*v - r - 68 = 0, -4*v + 5*r = 25 - 109. Let f = v - 22. Suppose 2*p = 2*d + 16, -11 - 3 = 4*d + 5*p. Is d < f?
False
Let v be (0 - 1) + (-4)/(-6). Suppose 4*j = 5*j - 5. Suppose j*a = -5*z + 2*a, 3*z + 3*a = 0. Which is smaller: z or v?
v
Suppose 0 = -3*f, 5*f - 10 = -2*b + 6. Suppose 77 = b*n + 229. Which is greater: n or -21?
n
Let i = -482 - -481. Is 44 not equal to i?
True
Suppose -4*b + 4*p + 24 = 0, b + 21 = 3*b - 5*p. Suppose 409*z - 243 = 328*z. Does b = z?
True
Let x be 13/(-11) + 1 + (-245)/(-77). Suppose t + t + 1 = l, 5 = -5*t + x*l. Is 9/10 != t?
True
Let q be -1 + -33*1/(-1). Suppose -d = d + q. Suppose w - 3760 + 3777 = 0. Which is bigger: w or d?
d
Let o(t) = t**3 + 4*t**2 + 2*t - 4. Let c be o(-3). Let f be (-70)/1848*6/(-20). Which is bigger: c or f?
f
Let g = 474/11 + 404/33. Are g and 55 non-equal?
True
Suppose -2*c = 3*o + 3, -1 - 1 = -2*c + 2*o. Let s = -24566/37 + 664. Do s and c have the same value?
False
Let x(h) = -h**3 - 7*h**2 + 8*h + 3. Let u be x(-8). Let s be (u/16)/((-4)/(-48)). Is 1 > s?
False
Let m(o) = -7*o**2 - 31*o + 40. Let t be m(5). Which is greater: t or -291?
t
Let t be (126/81)/(-14)*-3. Which is greater: t or -0.0097?
t
Let k = -14.6 - 52.4. Let r = k + 65. Which is greater: -62 or r?
r
Let k = -1377/145 + 23/58. Is k smaller than -9?
True
Suppose -2*j = -3*j + 8. Let x(u) = -13*u**2 - 130*u + 8. Let p be x(-10). Is j <= p?
True
Let u = 271 - 272.2. Let m = 67/5 + -69/5. Is u != m?
True
Let s = 7 + -12. Let o be (-9)/(-3) + 0 + s. Which is greater: o or -1/2?
-1/2
Let s(o) = -5 - 13 + 22*o - 2 - 19*o. Let c be s(9). Let h(t) = 2*t + 1. Let u be h(c). Is u greater than or equal to 16?
False
Let h(u) = u**2 - 6*u - 10. Let g be h(8). Let v be (7 - g)/((-136)/(-21)). Let j = -1/34 + v. Is j at most 0?
False
Let q be ((-3)/2)/((-12)/(-40)) + 4. Is -1/239 at least as big as q?
True
Suppose -d + 4*t = -133, 254 = -4*d + 6*d - 2*t. Is d greater than or equal to 123?
True
Suppose -4*w = 16, -4*p - w + 151 = p. Let l = p + -31. Which is greater: 1/28 or l?
1/28
Let u(l) be the third derivative of 0 + l**2 - 2/3*l**3 + 1/24*l**4 + 0*l. Let g be u(7). Which is smaller: g or 4?
g
Let i = -10.695 - -0.175. Let u = i - -10.5. Let b = 0.2 - 0.3. Are u and b nonequal?
True
Let y = -18.42 + -0.18. Let z = 19 + y. Let t = z - -0.6. Which is smaller: t or -2/19?
-2/19
Let h be 1/(-2 - (0 - 21/11)). Let v be 1/h*1*3. Which is bigger: 1/3 or v?
1/3
Suppose 3*m = -8*u + 4*u - 231, -3*u = -5*m + 137. Which is smaller: u or -164/3?
-164/3
Let l = 624 + -624.1. Which is bigger: l or -397?
l
Suppose 2*n = -3*n. Let u = n - -1. Let t be -3 + u/((-2)/(-12)). Is 0 smaller than t?
True
Let l = -432 - -431. Which is smaller: l or 0?
l
Let y = -156 - -156. Which is bigger: -2 or y?
y
Let h = -27987/25 - -1119. Which is smaller: -1 or h?
-1
Let i(z) = z + 2. Let o be i(5). Let a(l) = l + 24. Let p be a(-16). Which is smaller: p or o?
o
Let u(x) = -x**3 + 6*x**2 + 5*x + 4. Let m be u(-4). Let p = -1585/11 + m. Is 1/2 != p?
True
Let b = -12 - -18. Let c = 8 - b. Which is smaller: 3/4 or c?
3/4
Let l = 145 - 345. Which is greater: 1 or l?
1
Let z be 4*1 + (-5 - -3). Let q be (-1)/z + (-21)/(-2). Let d be (-10)/4*2/q. Which is smaller: 2/5 or d?
d
Let w = -1/9 - -7/9. Let i = -0.5 + -3.5. Let x = i - -6. Is x less than or equal to w?
False
Let p(z) = z**2 + 4*z + 12. Let t be p(0). Are 112/9 and t unequal?
True
Let s = 632 + -690. Which is smaller: -54 or s?
s
Let a = 0.26 - -51.94. Let d = a - 53. Is 1 equal to d?
False
Let z(m) = 2*m + 9. Suppose 5*q = -40 + 15. Let j be z(q). Let c be -3 - ((-3)/(-4) + 886/(-232)). Is j less than c?
True
Let s = 4457 + -2562776/575. Is 1 < s?
False
Let c(g) = g. Let f(l) = 4*l**2 + 6*l + 19. Let m(i) = 5*i**2 + 7*i + 20. Let d(p) = 6*f(p) - 5*m(p). Let q(a) = 4*c(a) + d(a). Let b be q(7). Is b <= -1?
False
Suppose -p = -4*t + t + 5, -8 = 2*t. Let l(c) = 6*c + 20. Let i be l(-6). Which is smaller: p or i?
p
Let f = 485 + -651. Is f at least as big as -166?
True
Suppose 3*n + 4 = -5*k - 5, -4*k + 2*n + 6 = 0. Let f = 452 - 297. Let u = -623/4 + f. Which is bigger: k or u?
k
Let l = -190 + 190. Is l greater than -19?
True
Let k = 1520 - 2158. Which is greater: k or -1?
-1
Let c = -15 + 15. Suppose c = -3*y - 52 - 2. Let k be y/4*12/9. Is k equal to -7?
False
Let h = -3762/7 - -530. Which is smaller: h or -6?
h
Let c = 3.1 + -7.6. Let f = c - -6.4. Let v = 4 + -4. Which is smaller: v or f?
v
Suppose 0 = 22*q - 11*q - 22. Is 51/25 greater than or equal to q?
True
Let f = 3 - -2. Is 0 less than or equal to f?
True
Let t be 62/(-20) + 405/162. Which is smaller: -1 or t?
-1
Let p(g) = g**2 + 6*g + 5. Let z be p(-5). Let l be 0 + (-4 - (z + -1)). Let y = l + 5. Which is smaller: -1 or y?
-1
Let o = 0.73 - 13.73. Which is greater: o or -1/20?
-1/20
Let p = 474017/199 + -2382. Which is greater: 0 or p?
0
Let r = 25 - 13. Suppose -2*o + r = o, -4*o + 16 = 5*z. Let w be -2 + 2 + 2 + -1. Which is smaller: z or w?
z
Let d = -38266/679 + 395/7. Which is smaller: d or 0?
0
Suppose 31 + 39 = 5*i. Let r(t) = t**3 + 2*t**2 - 4*t + 3. Let n be r(-4). Let p = i + n. Which is smaller: p or -1/15?
-1/15
Let i be (-3)/(-4) + (513/36)/(-19). Are -1/148 and i non-equal?
True
Let p = -1.35 + 1.45. Let q = 1223/13 - 94. Is p at least as big as q?
True
Let p = -60 - -32. Which is smaller: p or -32?
-32
Suppose -4*l - 11 = -4*r + 9*r, -2*l - 13 = -5*r. Do 2/41 and r have different values?
True
Let l = -92/31 + 1622/651. Which is greater: l or 1?
1
Suppose 34 + 6 = 5*a. Let r be -2*(20/a - 3). Let g be (-2)/11 + (-50)/(-330). Which is greater: g or r?
r
Suppose 4*s + 4*m = -72 - 192, -s + 4*m - 46 = 0. Is s smaller than -63?
False
Let t be (-1)/(-1 - 5/(-4)). Suppose -3*m = -5*s - m - 203, -3*s - 109 = 2*m. Let j be s/12 + 1 + (-6)/8. Is t bigger than j?
False
Let q(d) = -d**2 - 5*d + 10. Let v be q(-7). Let w be 2 + (-5)/((-10)/v). Let o be (1 + 17/(-21))*3/(-2). Is w at most as big as o?
False
Let a(q) = -2*q - 60. Let c be a(0). Let t = 104 + c. Which is smaller: t or 43?
43
Let g = -39/4 + 133/12. Let n be 1 + 5 - (3 + -6). Let o(k) = k - 7. Let x be o(n). Which is smaller: x or g?
g
Let t = 1693/231450 + -1/1543. Which is greater: t or -1?
t
Let r(f) = 3*f - 7. Let j be r(3). Suppose j*t = 19 + 3. Is 11 not equal to t?
False
Let d = -83 + 83.03. Do d and 8 have different values?
True
Let f = 39.8 + -39.7. Do 241 and f have the same value?
False
Let f be -3 - -1 - 129/(-64). Let g(k) = 65*k + 195. Let m be g(-3). Which is greater: f or m?
f
Suppose -2*n = -f + 2, f = -2*f - 4*n - 14. Let o be f + 8*(-18)/(-68). Which is smaller: 1 or o?
o
Let k = -146 + 147. Let c = -121/4 + 1581/52. Do k and c have different values?
True
Suppose 57 = -13*q - 47. Let l(y) = -y**3 - y**2 + y - 5. Let r be l(0). Let i be (-30)/q*r/30. Is i at most as big as 0?
True
Let m be ((-16)/(-12))/(8/(-15*24)). Which is greater: m or -66?
m
Let t = -7.88 - 0.12. Let f be (-4)/(-42) - (0 + 0). Which is smaller: f or t?
t
Let z = 16 + -14. Suppose -4*p = 5*c - 14, 1 = -z*c + 5. Is p at most -4/15?
False
Let s = 197963/137 - 1445. Which is bigger: -0.15 or s?
s
Suppose 9*a = 10*a - 21. Let w be a/(-49) - (-34)/14. Suppose 3*y = w*y - 2. Is 0 at most y?
False
Suppose -46*s + 44*s = -18. Let p be (-3 - 3/9)/(3/s). Is -10 > p?
False
Let r = 205 + -206.91. Let w = r + -0.29. Let x = w + 1.9. Which is bigger: x or -5?
x
Let j(z) = z**2 + z - 2. Let d be j(2). Suppose -b = -3*y - 5, 2*b + d = 3*b - 2*y. Suppose 0 = -41*o + 39*o + b. Are 0.7 and o unequal?
True
Suppose -2*r - 25 + 29 = 0. Let k be 12/(-8) - 1 - (-1 - r). Which is greater: k or 21?
21
Let j = -3.76 - -1.46. Is -4 != j?
True
Let j be 9 + 9 + -9 + 6. Is 109/8 greater than j?
False
Suppose 7*o - 3*o = -28. Suppose -4*r + r + 12 = 0,