ot equal to -43?
True
Let u be 0 + 2/(4 - -86). Suppose 2*d - 2*o - 10 = 2*o, -3*d + 5*o = -12. Is u <= d?
False
Let z = 83 - 78. Suppose 2*b = -4*k - 2, z*k - b - 16 = -1. Suppose o + 10 = 3*o, 5*o = -x + 27. Is k greater than or equal to x?
True
Let q = 10 + 63. Which is smaller: 220/3 or q?
q
Suppose t - 21 = 3*c - 7*c, -5*t - 15 = -4*c. Which is greater: t or -932?
t
Let t = -0.5 + 0.6. Let n = t + 0.9. Let v = 2 + -1.99. Is n less than or equal to v?
False
Let i(m) = 2*m**3 + 54*m**2 - 5*m - 52. Let x be i(-27). Is x not equal to 9?
True
Suppose -356 = 9363*h - 9359*h. Which is greater: -83 or h?
-83
Suppose 13*q = 11*q - 570. Let x be (q/(-7) + -1)/26. Let s = 18/13 - x. Which is bigger: -1 or s?
s
Let w be (-1)/((-12)/8 - -1). Let c be 2/(36/4298) - w. Let h = -237 + c. Is h less than 3?
True
Let d be (-6)/8*2*(-1)/(-3). Let u = -8 - -8. Which is greater: d or u?
u
Let j = -225 - -222. Is j bigger than -41?
True
Let t be ((-12)/(-350))/(2090/4389). Which is smaller: -1 or t?
-1
Suppose 3 = -3*q - 3*i, q - 3*i + 17 = -0*q. Let v(y) = y + 3. Let m be v(q). Let j be (-7)/(-20) + m/8. Which is smaller: j or 0?
0
Let l = -203 + -239. Is -441 at most l?
False
Let y be 913/44 + -9 - 11. Which is smaller: 436 or y?
y
Let w = 796.7 - 796. Which is bigger: w or 2/9?
w
Let y = -8 - 7. Let d be 5/(y/63) + 2. Let m = -14 - d. Which is smaller: m or 4?
4
Let r be 11/7 + 18/81*-9. Are -2/5 and r unequal?
True
Let a = 919919/9 - 1209695942/11835. Let o = 6988 + -1837842/263. Let g = a + o. Is g smaller than -1?
False
Let m be (-30)/40 + 15/36. Which is bigger: m or 4?
4
Let u = 4996 + -1004210/201. Which is bigger: -1 or u?
u
Suppose 84 = 3*q - 0*q. Suppose 8*p = 468 - 172. Let d = p - q. Which is greater: 5 or d?
d
Let u = 137 + -137. Is 2 bigger than u?
True
Let u = -5.501 - -5.5. Let r = u - 0.999. Let q = -0.99 + 0.9. Is r greater than or equal to q?
False
Let q be (5 + 3/(-1))*(-6)/144. Is -1/4 smaller than q?
True
Let f(k) = -4*k - 21. Let u(y) = -y - 7. Let s(o) = -2*f(o) + 7*u(o). Let z be s(7). Let w be (-24)/35 - (-2)/7. Which is smaller: z or w?
w
Let j be 24/(-108) + 1/(-9)*-2630. Does j = 290?
False
Let b be (-21)/(-35) - (-53)/110*-2. Do -0.13 and b have different values?
True
Suppose -5*w = -0*w - t + 15, 0 = 5*w - 2*t + 20. Suppose 19*p - 33 + 71 = -76. Which is smaller: p or w?
p
Suppose -f + 5*f = -2*i + 38, -2*f + 3*i + 39 = 0. Let j(u) be the second derivative of u**4/3 + u**3/3 - u**2/2 + 7*u. Let b be j(-2). Is b bigger than f?
False
Let f(p) = -2*p - 53. Let j be f(-24). Let a be j/(-15)*8/(-3). Is -1 greater than or equal to a?
False
Suppose 4*g - 2*x - 66 = -14, -13 = -g - 4*x. Let f = g + -11. Suppose -f*c + 1 = 5*l + 5, 5*c = -2*l - 10. Does l = 8?
False
Let q be (2 - 3)/(-5)*35. Let k = 15 - q. Which is greater: 0 or k?
k
Let u = -0.12 - -0.129. Let o = 1.009 - u. Which is smaller: 0 or o?
0
Suppose 4*z - 11 = 5*t, 0 = -4*z - 3*t + 27 - 8. Suppose -2 = z*n - 34. Is 7 at most n?
True
Suppose 5*a - 4*n - 14 = 0, -2*n + 1 + 1 = 2*a. Suppose -5*k = -2*k - 12. Suppose 4*m - 4*s - 13 = -1, -k*m = a*s + 12. Which is greater: -4 or m?
m
Let w = 185/253 - 1/253. Let r(v) = v - 5. Let j be r(5). Which is greater: w or j?
w
Let w = -39/2 - -119/6. Are w and -10/11 unequal?
True
Let l(x) = x**2 + 4*x - 2. Let y be l(-5). Let p = 6 - y. Suppose -p*t + 7 = 4*u - 1, 3*t = -u + 11. Which is smaller: 1/3 or u?
u
Let t(i) = -i**3 - 12*i**2 - 14*i - 9. Let z be t(-11). Let f be (-68)/(-3) - (-26)/39. Which is bigger: z or f?
z
Let y(g) = 6*g**2 + 4*g + 10. Let p be y(-4). Let t(h) = -3*h**2 - 2*h + 1. Let k be t(1). Let z be p/88 + 3/k. Which is smaller: 1 or z?
z
Suppose -205 + 740 = 5*l. Do 108 and l have the same value?
False
Let u = 430 + -430. Which is smaller: u or 0.058?
u
Let o(y) = -86*y. Let a be o(1). Let z be a/144 + (-2)/(-9). Suppose -20 = -5*h, -15*h = 3*j - 13*h - 11. Which is greater: z or j?
j
Let a(k) = -k + 19. Suppose -133 = -12*v + 11. Let f be a(v). Is f >= -0.01?
True
Let h be (2 + -4)*(-7 + 8). Which is greater: h or -15/8?
-15/8
Let c(k) = -6*k + 34. Let p be c(5). Suppose 0 = a - 3*x - 12, 0 = -2*a - x + 3. Is a < p?
True
Let m(f) = f + 18. Let h be m(-3). Which is smaller: -9 or h?
-9
Suppose 0 = 19*m + 1908 - 1889. Let f = -28 + 40. Suppose r + 2*u - 9 = 0, -4*r + 0*u - 2*u = -f. Which is smaller: r or m?
m
Let k be -27 + (-1)/(6/(-2)). Let m = k - -27. Let j be 7 + 3*(-47)/21. Which is smaller: j or m?
j
Let l be -3*(-16)/(-4200)*(0 - -1). Is l less than 1?
True
Let u = -9/482 + 2139/37114. Are -1 and u equal?
False
Let c(x) = -x**3 + 7*x**2 - 3*x + 2. Let b be c(6). Suppose -3*l - 4*f = -15, 0 = 4*l + f + 4*f - b. Suppose 2*j = l*j - 18. Is 7 not equal to j?
True
Let i be (((-38)/5580)/(-19))/((-1)/(-5032)). Let y = -1/279 + i. Which is smaller: y or 3?
y
Let s = -42 + 30. Let l = s - -9. Is 5 <= l?
False
Let f = -876 - -870. Are -15 and f nonequal?
True
Let z = -15 + 20. Suppose 0 = z*y + 1782 + 5098. Let q = 78434/57 + y. Which is greater: q or -1?
q
Let g = -5/1922 - 20287/328662. Let x = g + -3/19. Which is smaller: 1 or x?
x
Let f = 5 + 65. Is f less than -2?
False
Let s(r) = -21*r - 423. Let q be s(-22). Which is smaller: q or 0?
0
Let b = 0.3 - 1.1. Let o = b + 0.7. Which is smaller: o or -6?
-6
Let p = -31246/73 + 428. Which is bigger: 0 or p?
0
Suppose 2*m + 2*m = -92. Let z be (-48)/119 + 8/68. Which is bigger: m or z?
z
Let l be (3 + 7)*-14*18/(-315). Is l greater than or equal to 63/8?
True
Let j be (-9)/(-6)*10/(-15). Which is bigger: -1/329 or j?
-1/329
Let c(p) = p**3 - 4*p**2 - 6*p - 2. Let w be c(5). Let m = 9 + w. Suppose 0 = 3*f + m*f + 20. Is -3 != f?
True
Let c be 110/8 - -2*(-4)/(-32). Let f = 0.09 - 0.29. Which is bigger: c or f?
c
Let z be 3936216/(-4747770) + (-12)/(-15). Let r = 2/2229 + z. Let x = 132/355 - r. Are 1 and x equal?
False
Let n = -434 + 434. Does -12/13 = n?
False
Let a(m) = 11*m - 120. Let y be a(10). Let g(j) = -51*j - 1. Let h be g(-1). Suppose 2*i + 7 = -5*c, 4*i + c - 3*c + h = 0. Is y >= i?
True
Let y = -3 - -2. Let o be (-410)/40 + (-2)/(-8). Let a be 18/(-30) + 34/o. Which is smaller: a or y?
a
Let f = 1.07 - 1.02. Which is smaller: -0.1 or f?
-0.1
Let q be (-1)/((-3)/6 - 0). Suppose 5*a - a = q*j + 36, 0 = 4*j + 2*a + 22. Let p be (-1)/2 - (9 + j). Is p less than or equal to -2?
False
Let n be -14*49/(-42)*90/(-85). Which is greater: -16 or n?
-16
Let q = 0.064 + 13.236. Let i = q - 11.3. Are i and 2/5 nonequal?
True
Suppose 6*c - c = -5*z + 75, -c + 3*z = -3. Let h be (21/c)/((-1)/12). Suppose -q - 100 = 5*m, -4*m - 5*q - 40 = 19. Is h greater than m?
False
Let v(d) = -d**2 + 8*d - 4. Let y be v(7). Suppose y*b - 10 = 14. Let r be (-2)/(-4)*b/18. Which is smaller: r or -1?
-1
Let b(z) = -z**3 + 16*z**2 - 15*z + 14. Let x be b(15). Let d be (-64)/(-28) + 4/x. Which is smaller: 3 or d?
d
Let j(m) = -m**3 + m - 2. Let n be j(2). Let f be 8/(-76) + 676/(-76). Which is smaller: f or n?
f
Let d = 7 + -1. Suppose -5*t + i = -38 + 6, -5*i + 22 = t. Are d and t equal?
False
Let a = 1.3 - 0.89. Let b = -1.29 - a. Let p = b + 13.7. Is p at least 0?
True
Let x be 2/(-4) - (-41)/80. Let i(o) = 2*o**3 - 2*o**2 - 35*o + 19. Let n be i(-4). Which is smaller: n or x?
n
Let l = -6918101/13517 + -96/1931. Let w = l + 513. Let z(c) = 3*c**3 - 2*c + 1. Let t be z(1). Is t greater than w?
True
Let w(o) = 7 + 5*o - 4 - 7*o - 35. Let p be w(-16). Which is bigger: p or -1/6?
p
Let j = -9620/759 + 2/253. Is -1 less than j?
False
Let b be (1 - 3) + (-1490)/(-455). Let z = b + -10/7. Suppose -12*s + 7*s = 5. Which is smaller: s or z?
s
Let o = 1 + -0.7. Let y = o + -0.3. Let p = -0.109 + 0.109. Does y = p?
True
Suppose -12*v = -154 - 38. Which is greater: v or 10?
v
Let s = 1807 + -59630/33. Are s and -5 equal?
False
Let l(w) = -w**3 - 27*w**2 + 92*w + 121. Let g be l(-30). Suppose -t = -62 + 1. Are g and t equal?
True
Let i = 2/715 + 57/2860. Do i and -10/13 have different values?
True
Let d be 2/(-4) + (-2)/(-2). Let c = -2978/35 - -85. Let j = c + 2/7. Which is greater: j or d?
d
Let c be (-12)/(-21) + (-1)/(-7)*-2. Let v(l) = 7*l + 6. Let x be v(6). Is x > c?
True
Let x = 159 + -160. Which is smaller: x or -2/897?
x
Let a = 834 - 2501/3. Is -9 bigger than a?
False
Let a(i) = -3*i**2