*-1. Is t greater than 0.1?
False
Let i be -21 - (18/(-36))/(2/20). Which is bigger: i or 3?
3
Let s be 2/(-6)*(-42)/(-16387). Are -1 and s nonequal?
True
Suppose -2*c = -3*c, 5*f = -5*c + 120. Let g be f + -20 - 4/1. Which is bigger: g or 1?
1
Let b = 0.05 - 11.25. Let y = b + 11. Is -24 less than or equal to y?
True
Let o(f) = -f**3 - 2*f**2 + f - 2. Let c be o(3). Which is bigger: c or -46?
c
Let v be 6/(-3) - (-14)/4. Let q = -2 + v. Let d = 242 - 971/4. Which is bigger: q or d?
q
Let l = -1008 + 1001. Which is smaller: -98/13 or l?
-98/13
Let t = 39/4 + -121/12. Is t at most 12/7?
True
Let t = -1.7 - -10.7. Let d = t - 15. Let j = d + 6. Which is bigger: 2/9 or j?
2/9
Let b = -1 - 1. Let n(l) = l**3 + 5*l**2 + 5*l + 2. Let d be n(-3). Suppose t - 2*p = -10, -d*p = -t - t - 25. Which is bigger: t or b?
t
Let s(j) = j**3 - 12*j**2 - 221*j - 20. Let x be s(-10). Which is bigger: x or 22?
22
Let p(s) be the first derivative of -4*s**3/3 + s**2/2 + 6*s + 19. Let l be p(-2). Let q = -19 - -6. Which is smaller: q or l?
q
Let n = -7857/10 + 786. Let h = -2 + 2. Are n and h equal?
False
Suppose -z + a - 5 + 112 = 0, 4*z + 5*a - 419 = 0. Let t be 2966/10*(-25)/(-70). Let s = z - t. Are 1 and s equal?
False
Let n = -104 + 104. Are n and -10/73 nonequal?
True
Let y = 94 - 93.9. Is y less than -208?
False
Let d = 35.3 + -28.3. Which is bigger: -20 or d?
d
Suppose 10 = h + 4*o, 3*h - 4*h + 2 = -4*o. Let v be h/45 - 176/(-30). Let j be (-20)/12*v/15. Does -1 = j?
False
Let f(l) = 4*l**3 + 6*l**2 + 10*l - 5. Let j(h) = h**3 - 1. Let v(t) = -f(t) + 3*j(t). Let u be v(-5). Is u greater than 24?
True
Let x = -262 - -260.967. Let q = x + 0.033. Let t be 1/(-2) - 12/40. Which is bigger: q or t?
t
Let i be (-49)/(-45) - 2/10. Is 0 less than i?
True
Let q(a) = a**2 - 16*a + 37. Let f be q(12). Which is smaller: -34/3 or f?
-34/3
Suppose -10*l = -12*l + 18. Suppose l = -7*h - 5. Let w be (6/2)/(-1 - 0). Are h and w unequal?
True
Let v be 8*(-3 + (-180)/(-8)). Suppose 0 = -2*i - 5*q - v, -3*i - 4*q + 2*q - 234 = 0. Let a be ((-9)/i - 0)*4. Which is greater: 0 or a?
a
Let f = 3 + -4. Let m = 40/3 - 4034/303. Does f = m?
False
Suppose 4*q - 5*m = -0*q + 22, 5 = -q - 4*m. Let x be (6*q)/(0 + -2). Is -12 <= x?
True
Let d be ((-456)/36 + 12)*(-3)/10. Does -8 = d?
False
Let y = -685 - -3421/5. Let f(h) = 3*h**2 + 8*h - 11. Let g(o) = 2*o**2 + 5*o - 7. Let m(u) = 5*f(u) - 8*g(u). Let j be m(-1). Is y >= j?
False
Let s = 23 - 26. Let q be s - (-5 + (7 - 3)). Let z be (-51)/(-21) - (-6)/(-2). Which is greater: z or q?
z
Let z = -3.83 - -1.83. Is -21 equal to z?
False
Let v = 240/19 - 1661/133. Which is bigger: 10 or v?
10
Let k = 326 + -422. Which is smaller: -99 or k?
-99
Let a be 2 + (8/12 + 0)*12. Let q be (a/(-4))/5*4. Which is bigger: 0 or q?
0
Let l(o) = 5*o**2 + 6*o + 7. Let z be l(-4). Let i be 2*(-3 + z/6). Suppose 0 = -4*a + 7*a - i. Which is greater: a or 7?
7
Let z = -1725 - -1671. Is -57 bigger than z?
False
Let r = 0.002 + 0.01. Let a = -1.012 + r. Are a and -0.005 nonequal?
True
Let p = 830 - 508. Which is bigger: p or 0.1?
p
Let v = 635 + -635. Is v at least -5/218?
True
Let z be 4/22 - -4*452/(-22). Let x = z + 90. Which is greater: 4 or x?
x
Let m be (1 - 3)*2*(-2280)/11040. Are m and 2 unequal?
True
Let x = 38557/7 + -5517. Let b(c) = c + 13. Let p be b(-21). Is x != p?
True
Let m = 0.1 - 0. Let v = 699.7 - 736.7. Which is bigger: m or v?
m
Let a be (-74)/(-14) + 15/21 + -1. Let i be 2/(-10)*a/3. Which is bigger: 10 or i?
10
Let g = 4.5 - 4.68. Let w = -0.01 - g. Is w at least 0?
True
Let p = -53 - -29. Let n = 79.094 - 79. Let t = n + 0.006. Is t smaller than p?
False
Let k = 39 + -79. Let a be (-4 - -19)/5 + 5. Let b be k/(-18) + a/(-36). Which is bigger: -7 or b?
b
Let d be -3 + 4 + 0 - -3. Suppose d*s - s + 27 = 0. Let n be s/7 - (-3 + 1). Is n greater than 0?
True
Suppose 3*i + n + 61 = 0, 0*i - 2*i = 4*n + 44. Let g = i + 21. Is g smaller than -2/13?
False
Let o be (-2)/((-1)/10 + 0). Suppose 0 = -4*q - o, 2*b + b - 32 = q. Let g = 77 + -76. Which is smaller: b or g?
g
Let q(l) = l**3 + 20*l**2 + 17*l - 57. Let i be q(-19). Which is greater: -16 or i?
-16
Let i be (-4)/20 + 16/5. Suppose -i*z = 2*z + 40. Let j be 6/z - (-6)/8. Which is smaller: 1 or j?
j
Let c = 13 - 2. Suppose -4*r = 2*r - 102. Suppose -2*z = -7 - r. Which is greater: c or z?
z
Suppose 469 = -14*o + 5327. Which is bigger: o or 345?
o
Let u = 3.2 - -0.8. Let t = 6 - u. Suppose 8*f - 11*f + f = 0. Which is smaller: f or t?
f
Let k be (-5)/(-16)*(14 + 0). Let i = k - 293/56. Let u = 567 - 567. Are u and i unequal?
True
Let r = 3 - 7. Let l be 10*((-20)/(-8))/(-5). Let v be 2 - r/10*l. Are v and -1/5 nonequal?
True
Let n be 11065/40*(-2)/5816. Let t = n - -1/727. Which is smaller: 0 or t?
t
Let n = 4.03 - 4.017. Is n <= -5?
False
Let s = -39905681839 + 1537486110084227/38528. Let h = s - 1647/128. Let u = 55/7 + h. Is -1 smaller than u?
True
Let i be (-3)/(-552)*-76078 + (-1)/(-4). Let u = 414 + i. Which is smaller: u or 1?
u
Let j be 334/424 - 27/36. Let c(f) = -f**2 - 6*f - 1. Let q be c(-6). Do q and j have the same value?
False
Let y be 1 - 1*-2 - (10 - 8). Which is greater: y or 20?
20
Let l be 2/(-16) + (-7)/8. Let v be (-1)/((-21)/20) - 74/259. Which is bigger: l or v?
v
Let q be (-6)/(-3)*(-1)/(-2). Let f = -143 + 144. Are q and f nonequal?
False
Let n(u) = -8*u + 71. Let x be n(10). Suppose 0*l - 2*w = 3*l + 43, -3*w = 15. Which is smaller: x or l?
l
Suppose -3*y - 63 = -3*h + 15, -2*y - 3*h = 27. Is y < 7/5?
True
Let v be (-4)/(-5)*25/(-10). Suppose -i + 0*i + 5 = 0. Let y be ((-15)/i)/(-3 + v). Which is bigger: 0.2 or y?
y
Let r = 0.62 - -0.38. Let y be 27/5 + (-6)/15. Let u be (-1)/y - 26/(-5). Which is smaller: u or r?
r
Let m be (275/15 + -3)/(40/(-180)). Which is greater: m or -66?
-66
Let c be (-6)/21 - (-9)/7. Let y be -2 + 1*(3 - (-3 - -14)). Let x(v) = v**3 + 11*v**2 + 11*v + 13. Let f be x(y). Which is smaller: c or f?
c
Let l(z) = 37*z + 225. Let x be l(-6). Which is bigger: 39/10 or x?
39/10
Let f = -4 + 0. Let z = -86 - -82.3. Let m = z - f. Does m = 3/4?
False
Suppose 0*p = -3*p + 12. Let w(u) = u**2 - 3*u + 2. Let l be w(2). Suppose l*f = -p*f + 28. Is 5 >= f?
False
Let j be (0/((3 - 0)/(-3)))/(-3). Let i be -1*(-1)/(-2)*0. Suppose j = o, -4*m + 5*o + 43 + 45 = i. Is 22 less than or equal to m?
True
Let w = -2 + 0. Let o be (-15)/(-35) + (-809)/(-7). Let i = 227/2 - o. Is i >= w?
False
Suppose -4*t = -5*d + 6, 4*t + 2*d = 2*t + 6. Let r be (15 + -21)*t/(-2). Is 0.1 not equal to r?
True
Suppose -6*f = -2*f + 2*f. Let t be (-2 - 178/(-92))/(3/(-2)). Is t <= f?
False
Suppose 0 = -b + 4*f - 648, 4*b = f - 1096 - 1511. Which is smaller: -654 or b?
-654
Let j = 228 - 226. Which is greater: 1 or j?
j
Let p(y) be the second derivative of -y**5/20 - 7*y**4/6 - 5*y**3/3 - 15*y**2/2 + 2*y. Let t be p(-6). Let s be -2*(t/(-42))/(-9). Which is greater: s or 1?
s
Let l be -1 + (0 - -2) + 29/(-1). Which is bigger: l or -23?
-23
Let d be -3 - ((-124)/36 - -4). Suppose 4*x - 29 = 3*t, -5*x - 24 = 3*t - 8*x. Which is smaller: d or t?
d
Suppose 0*q - 133 = -5*q - 2*b, -3*q + 67 = -2*b. Is 19 not equal to q?
True
Let p(b) = -b**2 + 8*b - 5. Let l be p(10). Let x = 30 + l. Let t be (-140)/42*(-6)/x. Is 6 at most t?
False
Let w be ((-136)/(-48))/(1/(-4)). Let b(p) = -2*p**3 - 6*p**2 + 2*p - 10. Let a be b(0). Is a smaller than w?
False
Let g be 3*((-20)/15)/4. Suppose 0 = -c + 3*u + 12, -c + 3*u - 18 = -5*c. Let q be c/(-12)*4/26. Is g smaller than q?
True
Let x = 738 + -3722/5. Let a = -901/140 - x. Does a = 1?
False
Let z = -95 + 91.98. Let u = -22 + 21.98. Let c = z - u. Does 1 = c?
False
Let i = 20.4 - 3.4. Let g = -141.6 + 159. Let z = g - i. Is -1 > z?
False
Let v = 1799.8 - 1775.782. Let m = v + -0.018. Is 1 greater than m?
False
Let d(f) = f**3 + 13*f**2 - 14*f + 8. Let i = 4 + -15. Let n be d(i). Let z be 5/(-20) + n/16. Is 25 >= z?
True
Let h(b) = b**2 + 38*b. Let w be h(-38). Let c be (0 + 1)*3/(-93). Is w greater than or equal to c?
True
Let j be (-7)/748 + 1 + -1. Let b be 2 + (-425)/660*3. Let m = j + b. Is m < 0?
False
Let w = 9 - 6. Suppose -3*d - w*x = 2*d - 30, -5*d + 40 = x. Let p be 2 + -5 + d/3. Is 0.3 not equal to p?
True
Suppose -2*s = -13*s - 44. Let x