t l = -1042.879 - -0.879. Is l less than or equal to -2/7?
True
Let u(g) = g - 1. Let x be u(10). Let r be x/(-12) - (-301)/364. Which is smaller: -1 or r?
-1
Let t = -25.72 - -26. Let w = -0.72 - t. Which is smaller: w or 12?
w
Suppose -3*o + 0*a + a + 48 = 0, -5*o = 5*a - 80. Let k be 168/o*(-4)/6. Suppose 13*x + 127 = 36. Is x bigger than k?
False
Suppose -4*z + z = 3*j - 42, 15 = 3*j. Is z at least as big as -11?
True
Suppose 3*a + 117 = 4*u, 3*u - 60 = -5*a + 6. Suppose 2*d - i - u = -0*i, -12 = -4*i. Which is bigger: d or 13?
d
Suppose -u = 4*u. Suppose u = 8*k + 105 + 39. Which is smaller: -3 or k?
k
Let z = -7 - -11.6. Let s = 32.6 - z. Let j = s + -17. Which is greater: 1 or j?
j
Let l be (-1)/4 + 561/884. Let q be -3*(7/14 + (-1)/6). Are l and q equal?
False
Let h = 1023/7 - 147. Let o = -13790 - -13788. Which is bigger: o or h?
h
Suppose 4*x + 628 - 120 = 2*y, -4*x - 5*y - 522 = 0. Is x greater than -132?
True
Let r be (0 - 112/(-4)) + 1. Suppose -r - 31 = -4*a. Let q = -15 + a. Which is smaller: 2/33 or q?
q
Let a = -27 + 32. Suppose 0 = -0*z - a*z + 235. Let n = z + -140/3. Which is greater: n or 0.06?
n
Let m = 135 - 225. Let r be 2/(-12) + 3 + 291/m. Suppose -2*p + 4*b - 2 = 0, 5*p - 3*b + 0 + 5 = 0. Which is smaller: r or p?
p
Suppose 0 = 4*c - 20, z + 3*c - 21 + 1 = 0. Let k(u) = -14*u - 1 + 3*u + 12*u - 6. Let l be k(z). Is l at most -3?
False
Let a(n) = -n**3 - 22*n**2 - 24*n + 4. Let l be a(-21). Is 69 less than l?
False
Let c = -65 + 66. Suppose 0 = v - 0*v - c. Is 2 greater than v?
True
Let h = 0.134 - 92.134. Let x = 92.2 + h. Which is smaller: 1/12 or x?
1/12
Suppose -26*l - 20 = 6. Which is greater: 1/380 or l?
1/380
Suppose -b - 3*b = 16. Let c be (4/16)/((-15)/160). Is b smaller than c?
True
Let z = -112 + 81. Let b(o) = -2*o**2 - 5*o - 4. Let k be b(-1). Which is smaller: z or k?
z
Let p(u) = -2*u - 6. Let a be p(-5). Suppose 0 = 5*x - a*x + 1. Are x and 4/11 unequal?
True
Let d = -26901 - -26899. Let j be -1 - (-2)/6*5. Which is bigger: d or j?
j
Let t = -30 - -44. Let d = 30 - t. Let k = -30 + d. Which is greater: k or -13?
-13
Let c = -50057/4 - -12420. Is -95 less than or equal to c?
True
Suppose 0 = -5*h + 5*f, 0 = 2*h - 5*f + 2 + 4. Suppose h*k = -z + 2, 6 = -2*z - k + 2*k. Which is smaller: z or 0?
z
Let j = 8.1 + 0.9. Let i = 4.2 + j. Let y = -14 + i. Which is bigger: 0 or y?
0
Suppose 10 + 96 = 53*v. Is 20/9 >= v?
True
Let g = -160 + 159.9. Let a = 1 - 4.8. Do a and g have the same value?
False
Let u(d) = 15*d**2 - 2*d - 53. Let b be u(0). Are -52 and b nonequal?
True
Let k be (-50)/85*32/(-1680). Which is greater: k or 1?
1
Let v = -12 + 12. Suppose v*m = -4*m - 144. Let w be (16/m)/(44/6). Is w at most as big as -1?
False
Let o be (-2)/(-6) - 16/(-12)*-1. Which is bigger: o or -3/2?
o
Let m(y) = -y**2 - 6*y + 4. Let b be m(-5). Let j = b - 7. Let l be 135/(-69) - (-4)/j. Do l and 1 have the same value?
False
Let z be ((-2457)/468)/(6/32). Let b be (54/4)/(2/(-4)). Is z greater than b?
False
Let w be (-230)/(-45) + (-12)/9 + -4. Which is smaller: w or -90/13?
-90/13
Let d = -178 - -164. Let a(w) = -w. Let v be a(7). Let c(q) = q - 6. Let j be c(v). Is j <= d?
False
Let w be 18/(-4)*(-1)/30. Let j = -149 + 77. Let k = 71 + j. Is w > k?
True
Let t = 0.1 - -0.1. Suppose 2*q = -5*q - 336. Let d = -193/4 - q. Is t bigger than d?
True
Let r = -0.432 + 2.432. Which is bigger: r or -1338?
r
Suppose 0 = j + 3*o - 13, 2*j + 2 = -2*o + 3*o. Are j and -0.62 unequal?
True
Let x = -3274 + 658072/201. Suppose -5031*q = -5084*q. Is x smaller than q?
True
Suppose -6*k + 7*k = -t + 3, -k + 3 = -5*t. Which is smaller: t or 7/24?
t
Let f(d) = -d**2 + d + 2. Let b be f(0). Suppose -b*i = 1 - 3. Which is smaller: i or 5?
i
Let c be (2/(-4))/((-1)/2). Let q be (8748/(-144))/((-35)/4) - 7. Which is greater: c or q?
c
Suppose -71 - 28 = 11*t. Which is greater: -73/7 or t?
t
Suppose -43 = -3*q + 20. Let b = q + -21. Is b less than or equal to -10/13?
False
Suppose 0 = 8*d + 774 - 6. Do -95 and d have the same value?
False
Suppose 2 + 6 = -4*b, 4*b = 4*k - 12. Which is smaller: -1/490 or k?
-1/490
Let d(j) = -j**2 + 3*j + 3. Let t be d(7). Let r = 27 + t. Suppose r*v - 21 = v. Is 21 less than or equal to v?
True
Let u = -54.8 - -111. Let k = -66 + u. Let x = k + 10. Is x <= 1?
True
Let c be ((-392)/(-100))/((-3)/(-5)). Let j = 36/5 - c. Which is bigger: j or 14?
14
Let o(q) = q**3 + 9*q**2 - 7*q - 12. Let z(y) = -y - 1. Let j(s) = o(s) - 4*z(s). Let w be j(-9). Let b = -25 + w. Is 1 != b?
True
Suppose 3*b - 337 + 22 = 0. Let h be (2 - (-56)/b) + -3 + 1. Which is bigger: h or 2?
2
Let q = -857 + 856.8. Let j(w) = w + 1. Let g be j(-5). Is q less than or equal to g?
False
Suppose 0 = -3*z - 2*s - 22, 34 = -4*z - 0*s + 2*s. Let k(x) be the first derivative of 5*x**2/2 + 3*x - 4. Let l be k(-1). Which is smaller: z or l?
z
Let k(o) = -48*o - 3. Let g(r) = 143*r + 9. Let i(c) = -2*g(c) - 7*k(c). Let a be i(-1). Is -47 greater than or equal to a?
True
Let q be 1/(-4) + 10/(-8)*-1. Is -3/160 > q?
False
Let j(h) = -h**3 + h**2 + 3*h + 3. Let u be j(0). Let q be 3/u + (0 - -5 - 49). Which is smaller: -44 or q?
-44
Let o be 3/(-6360)*-788 - 4/10. Is o equal to 1?
False
Let s = -0.9528 + 0.0128. Is -2/5 at most s?
False
Let n = 0.37 - -18.63. Let r = 47 - n. Which is bigger: r or -1?
r
Let y(p) = p**2 - 4*p. Let w be y(0). Are w and 2/943 unequal?
True
Let u be 0 + -1 + 4 + -17 + 9. Let b be (2 - u)*5/1. Is b <= 35?
True
Suppose y + 4*y - 65 = 0. Let h(n) = -n**2 + 13*n + 3. Let f be h(y). Suppose f*w + 5*p = -8, 4 = -w - 2*p - p. Is w smaller than -2?
False
Let c = -25.2 + 25. Let p = c + 0. Let m = 5 - 1. Is m at least as big as p?
True
Let l = -2341/93 + 76/3. Let m = 145/62 + l. Which is smaller: 4 or m?
m
Let w(g) = 15*g**3 - 2*g**2 + 2*g - 1. Let i be w(1). Let b be 5/(35/3) - 538/i. Which is smaller: -36 or b?
b
Let z(i) = -i**2 - 25*i - 126. Let h be z(-18). Let j be 4/18*(-1)/(-2). Is h greater than j?
False
Let n = -3.56 + 0.26. Let m = 6.3 + n. Let o = -8/13 - -14/65. Which is smaller: o or m?
o
Suppose -13*l = 125 - 8. Is l not equal to -53?
True
Let f = 17327 - 120784/7. Let s = -72 + f. Let v(d) = d**3 - 8*d**2 + 7*d - 1. Let h be v(7). Is h greater than or equal to s?
False
Suppose -2 + 4 = 2*g. Let v be -2*(-5)/(-10)*g. Let b be (-2)/15*(-6)/4. Are v and b equal?
False
Let b = -4 - -11. Let a = 14 - -8. Let q = 27 - a. Which is smaller: q or b?
q
Let g = -38591/24 - -10925/8. Are -241 and g nonequal?
True
Let p = 5502/13 + -423. Let y = -2.06 + 2.16. Do y and p have the same value?
False
Let d = 10978/9 - 1221. Let w = d - -127/99. Are -1 and w equal?
False
Let x be 1/(3/(-30)*5). Which is greater: x or -25/36?
-25/36
Suppose 21*l + 51 - 7 + 19 = 0. Let o = 16245 - 48254/3. Let x = 158 - o. Which is bigger: x or l?
x
Let k be (-99)/63492*8/(-12). Is 0 less than or equal to k?
True
Suppose n + 5*a = -50, n + 2*n + 98 = -2*a. Let p = n + 29. Which is bigger: p or -5/9?
-5/9
Let j be -2 - 0 - 56/(-24). Which is bigger: -9 or j?
j
Let q be (-3)/7*(-54)/(-81). Let g = 70 + -492/7. Are g and q non-equal?
False
Let o = 502 + -503. Which is greater: o or 413?
413
Suppose 0*d + 5*s = -3*d - 152, 0 = -3*d + 2*s - 145. Let n = d + 49. Which is bigger: 2 or n?
2
Let m(j) be the third derivative of -j**6/120 - 23*j**3/6 - 10*j**2. Let b be m(0). Let x = -70/3 - b. Which is smaller: x or 1?
x
Suppose 2*k - 20 + 8 = 0. Is 34/7 < k?
True
Let r(b) = b**2 + 9*b + 5. Let i be r(-8). Let z be 2 - (2 - (i - -5)). Which is greater: 2/3 or z?
z
Let i be (1 + 0)*0/13. Let s(m) = 7*m + 9 + i*m - 3*m. Let h be s(-4). Is h at most -7?
True
Suppose -3*y + 4*q = -26, 4*q = -4*y + 16 + 28. Let l be (18/14)/(3/21). Which is bigger: y or l?
y
Let z = -543 + 22805/42. Let b = z + -11/42. Suppose -1 = 14*q - 13*q. Which is smaller: q or b?
q
Let v(s) = 6*s - 48. Let w be v(11). Do w and 18 have different values?
False
Let x be (11 + -3)/(1/(-94)). Which is greater: x or -753?
x
Let p(y) = -y**3 + 3*y**2 - 2*y + 3. Let c be p(3). Let q be 4/52 + c - 1*-2. Is -2 at least as big as q?
False
Suppose 4*b + 5*i = 3, -3*b - 4*i + 2 = -0*i. Suppose 0*h - b = -h. Let j be (3/(-5))/((-22)/220) - 3. Which is smaller: h or j?
h
Suppose -4*x + x = -6. Let s be x/(-3) +