-1127)*34/51. Which is smaller: a or 1?
a
Let g be -3 - ((-13396)/5712 + (-2)/24). Let d = -40.9 - -44. Let q = -3 + d. Are g and q unequal?
True
Let s(f) = f**3 - 6*f**2 + 8*f + 3. Let b be s(6). Suppose b = j + 49. Suppose 4*n + 5*v = -21, 30 = 4*n + n - 5*v. Is n at most j?
True
Let u = -92/21 + -1/3. Is -6 equal to u?
False
Let f be ((-165)/(-15) - 15)*3/249. Which is bigger: 0 or f?
0
Let i = -95 - -97. Which is smaller: i or 10/7?
10/7
Let x = 145246/29 + -5009. Which is bigger: x or -1?
x
Let i = 10.51 + -10.5. Is -0.15 at least as big as i?
False
Let m = 138 - 1530/11. Which is greater: -0.1 or m?
-0.1
Suppose -10*l = -7*l - 78. Let y = -32 + l. Is 2 at most y?
False
Suppose 6*c - 80 = -10*c. Let y be 6/c*(-30)/(-12). Which is smaller: y or 7?
y
Let h = 8 - -40. Let o = 47 - h. Let g = 4 + -1. Which is smaller: g or o?
o
Let h = -334.3 + 322.3. Let k = 0.2 + -0.2. Let o = 1 - k. Is h at least o?
False
Let k be (12/(-20) - (-192)/20) + 4. Let b(j) = -2*j**2 + 22*j - 15. Let l be b(k). Is l at most as big as 0?
True
Let t = -3 - -4.3. Let u = -2.3 + t. Is 4/3 > u?
True
Let v = -1078.8 + 1079. Which is smaller: v or -333?
-333
Let y(z) = 2*z - 6. Let p be y(5). Suppose 11*o + 7 + p = 0. Is o equal to -1/13?
False
Let z = -5.93 - 0.07. Let t = 5.9 + z. Let j = 8 + -16. Is t smaller than j?
False
Let f = -124 + 52. Let o = 9925 + -9998. Which is smaller: f or o?
o
Suppose -5*d + 675 = -5*r, -3*r - 2*r = 4*d + 630. Are r and -132 nonequal?
True
Suppose m - 4 - 25 = 0. Let v = -28 + m. Which is bigger: v or -1?
v
Let z be (0 + 1)/((-11)/22). Let i(k) = -k**2 - 5. Let c be i(-4). Let g be c/(-27) + 1 + z. Which is smaller: 0 or g?
g
Let z = 68 + 72. Let a = z + -136. Is -6/7 < a?
True
Let o(a) = -a**3 - 31*a**2 + 25*a - 107. Let c be o(-32). Which is smaller: c or 116?
116
Let m = -258 - -257.6. Which is greater: -15/7 or m?
m
Suppose -2*k + 5*h = 31, -18*h + 14*h = -4*k - 68. Is -8 at least k?
True
Let g = -118 - -119.9. Which is smaller: g or 3?
g
Let j = -1369291/390 + 3511. Which is bigger: j or 0?
0
Let s = 28 + -113. Is s less than or equal to -83?
True
Let j(u) = -u**3 - u - 11. Let h be j(0). Let c be (-8 - h)*15/18. Which is smaller: c or 4?
c
Suppose 3*r - 100 = 4*w, -2*r + w + 0*w + 75 = 0. Which is smaller: 39 or r?
39
Let f = -12 - -39. Let s = -19 + f. Let t = s - 7.7. Is t greater than 1?
False
Let u = 2.99 + 28.01. Is u less than or equal to 4?
False
Let h = 3109 - 40395/13. Let f = 24/13 - h. Let a(x) = x**3 - 6*x**2 - 8*x + 6. Let t be a(7). Which is smaller: f or t?
t
Let l be 4/(-3)*(-4)/144. Let g = 16/297 + l. Are 1 and g non-equal?
True
Suppose 22*h - 8*h + 32*h = 0. Which is bigger: 3/2587 or h?
3/2587
Let i = -36/109 + -332/1635. Do i and 0 have different values?
True
Suppose 5*k = 6*k. Suppose 3*z - 15 = k, 2*i + 0*i = -3*z - 37. Let h = 26 + i. Which is greater: 3/25 or h?
3/25
Let j(q) be the first derivative of q**4/4 + 2*q**3 + 5*q**2/2 + 3*q - 1. Let f be j(-5). Suppose t = 5*b - 21, -f*t - 3*b = b - 13. Is -1 >= t?
True
Let r be (1 + 0)/(664/(-84) - -8). Are 1/2 and r nonequal?
True
Let c(g) = -g**2 - 4*g + 38. Let w be c(-8). Suppose 7*r = w*r. Does -18/17 = r?
False
Suppose -5*h - 153 - 127 = 0. Is h at most as big as -53?
True
Let u = -78 + 92. Let w be (u - 12)/(4/(-6)). Is -7/2 smaller than w?
True
Let k = -0.49 + 0.53. Does k = 111?
False
Let r = 496 + -134. Which is bigger: r or 363?
363
Suppose -8 = g + 12. Let n be (10/(-4) - -3)*0 - 19. Is g bigger than n?
False
Let b be 21/(-14)*((-4)/(-6))/(-1). Which is smaller: -3/35 or b?
-3/35
Let w = 304 - 223. Is 82 > w?
True
Suppose 2*j = 4*s + 60, -26*j + 5*s + 24 = -25*j. Which is smaller: j or -9?
-9
Let k = 1275 + -829. Is 445 less than k?
True
Suppose -44*g + 2 = 46. Which is smaller: 2/1053 or g?
g
Let n = 775.2 - 775. Which is greater: 2/655 or n?
n
Let l be 3*1079/(-39) - (0 + 0). Is -83 greater than l?
False
Let g = -0.25 + -5.75. Let m = g - -4. Is m less than -23?
False
Let m be (-112)/140*((-34 - 0) + -1). Let x = m - 33. Is -5 <= x?
True
Let i be 1 + 1 + 1 + -98 + 4. Let d be (-2)/91*6 - 14/i. Which is bigger: 0 or d?
d
Let l be ((-3)/65)/((-18)/(-12)). Let s = -5 - -12. Let g be (-3)/s - (-6)/14. Which is greater: l or g?
g
Let u be ((-2)/(-3))/((-2)/6). Suppose 11*m + 3*m = 3*m. Suppose -5*s + 1 - 21 = m. Which is smaller: s or u?
s
Let t = -969 + 968.52. Which is greater: t or 5?
5
Let j be (-2432)/(-456) + (-1 + -3)*1. Does -16 = j?
False
Suppose -74 = 5*v + 51. Let h = v + 32. Is h <= 7?
True
Let i = 102 + -103. Is i >= -6?
True
Let w(o) = o**3 + 19*o**2 - 17*o + 5. Let d be w(-20). Let y = d + 54. Is 2/85 not equal to y?
True
Suppose -4*q - 14*w = -9*w + 1076, -2*w = -4*q - 1048. Which is smaller: -265 or q?
-265
Suppose 2*s + 0*s = s. Let f be 24/(-60) + (-126)/(-340). Do s and f have the same value?
False
Let f = -11 - -14. Suppose -i + 10 = 3*d, d = -2*i + 8 + 2. Suppose f*n + 12 = -4*y, y + y + d*n = -8. Is y >= -2/35?
True
Let d(g) = g. Let f be d(-2). Let j = -9.04 - -9.14. Which is smaller: j or f?
f
Let v(t) = -t**2 - 5*t + 8. Let a be v(4). Let h = 7 - a. Is h greater than 35?
False
Let q be 83/5 - 10/(-25). Suppose 2*g = 3 - q. Suppose -k + 3*m = 5, -4*k + 4*m = 21 + 7. Do k and g have the same value?
False
Let c(r) = -4*r**2. Let m be c(1). Let u be ((-6)/m)/((-3)/(-8)). Let n be u/1*1/58. Which is smaller: n or 0?
0
Suppose -5*v + 2 = 7. Let x be (v/(-2))/(0 - 3/(-6)). Which is bigger: 2/161 or x?
x
Let x(h) = -h**3 + 10*h**2 - 14*h + 1. Let z be x(5). Is 57 at least z?
True
Let k = -0.098 + -75.902. Let m = k + 75.8. Is -7 equal to m?
False
Let r(o) = -o + 17. Let h be r(13). Suppose 9 = -5*j - 4*k, 4*j - k + h - 1 = 0. Is j at most -3?
False
Let h = -24.04 - -24. Let g = 1.15 - -2.81. Let s = h - g. Which is greater: s or -1?
-1
Let c be (-24)/288 + 8282/24. Are 343 and c non-equal?
True
Let f be -90 - (6/(-4))/((-6)/(-8)). Let j be f/30 - (3 - (-18)/(-5)). Which is smaller: j or 0?
j
Let t = 2/75445 - 153232/88346095. Is t at most as big as 1?
True
Let r = -423 - -422.7. Which is smaller: 40 or r?
r
Let g be -4 + 7 + 9 - 5. Is g > -32?
True
Let m be 6*(1 + 340/(-328)). Which is smaller: m or -1?
-1
Suppose 4*v + 3 = 3*v. Let z be (-1)/v + 28/12*-1. Which is bigger: z or 2.9?
2.9
Suppose -3*g - 5*v = -45, 103 = g + 4*g - v. Let n be (1 - 2) + -2 + 33. Suppose -5*b + 3*h = g, 2*h + n = -5*b + 3*h. Which is smaller: -8 or b?
-8
Suppose 0 = n + 2*u - 10, 0 = -5*n + 4*n - 3*u + 15. Let t = 258 + -1294/5. Are n and t unequal?
True
Suppose -2*t = -11 - 3. Suppose 6*z = t*z - 4. Suppose -3*o + n = 5, -3*n + 10 = -z*o - 0*n. Is o greater than -3?
True
Let d be (21 - 19)/((-8)/(-2)). Are d and -1577 nonequal?
True
Suppose -4*k = -5*a - 16, -21 = 10*k - 5*k + 4*a. Which is smaller: -2/4403 or k?
k
Let i = -390 - -389.79. Is i less than -1/14?
True
Suppose -2 = -4*y + 6. Let z be (-6)/3 - -1 - y. Suppose 0 = 7*p - 15 + 43. Which is smaller: p or z?
p
Suppose 1090 = -5*v + 2*x, 0 = -15*x + 17*x. Which is smaller: -217 or v?
v
Let j = 779 - 1074. Are j and -2 nonequal?
True
Let u = -217 + 104. Is -1/8 <= u?
False
Let x(k) be the first derivative of -3*k**4/2 - k**3 - k**2/2 - 2*k + 5. Let n be x(-2). Let w be (-1)/5 + n/405. Is w > -1?
True
Let j(l) be the second derivative of 0 + 1/3*l**3 - 5*l + 2/3*l**4 - 13/2*l**2 - 1/20*l**5. Let k be j(8). Are 4 and k equal?
False
Suppose 4*p - 2 = 2. Let c(q) = 5*q - 267. Let t be c(0). Let v be -4 + (0 - t/66). Is v at least as big as p?
False
Let b = 72 + -51. Let m = b - 21. Which is greater: 12 or m?
12
Let y be 2 + (0 - -4)/(-4). Let q be 3*-2 + y + 4. Let c be (q/3)/((-5)/(-40)). Is 0 != c?
True
Let q be 1/(24/9 - 3). Let r be 118/(-28) - 1/(-2). Is q greater than or equal to r?
True
Let p = 676.93 + -677. Are -1/21 and p nonequal?
True
Let x(c) = -4*c + 1. Let t(k) = -5*k + 2. Let i(s) = 3*t(s) - 4*x(s). Let r be i(-12). Does -10 = r?
True
Suppose x - 27 = 5*x + j, -5*x = j + 33. Which is smaller: -1 or x?
x
Let b = 1339 - 1340. Is 2/389 != b?
True
Suppose -23*j - 19456 = -61*j. Are j and 511 nonequal?
True
Let s(w) = 9*w. Suppose 3*c = 5 - 2. Let g be s(c). Suppose 3*u + 3 = 0, 2*u = 5*k + g + 4. Which is smaller: k or -2?
k
Let f be -2 + (0 - 6)/(-1). Suppose 4*r = d - 8 + 70, -d = f*r 