alse
Let m = -320.2 - -363. Let q = m - 43. Is -0.2 at most as big as q?
True
Let o = -80 - -124. Suppose 4*x - 7*b + 4*b = 41, -4*x + o = -4*b. Is x less than 11?
True
Let j = 21.7 - -78.3. Let o = j - 100.27. Which is smaller: 0.1 or o?
o
Let a = 32 - 18. Let g = 1.85 + -4.85. Are g and a equal?
False
Suppose -17*n - 3*n = -100. Is -4/3 > n?
False
Let b be 1/3 + (38500/4890)/(-25). Which is bigger: -1 or b?
b
Suppose 2*j - 2 - 32 = 2*f, j - 4*f - 32 = 0. Let w = j - 20. Suppose -6 = -360*u + 363*u. Which is smaller: u or w?
w
Suppose 0 = -t + 4*t + 3. Let n = -5787/161 + 251/7. Is t at least as big as n?
False
Suppose -3*a = -a. Let h be (-18*(-7)/28)/(-6). Which is smaller: a or h?
h
Let c = 31/150 - 1/25. Suppose 3*m + p - 20 = 0, -m - p = -2*m + 8. Let a = m - 6. Which is bigger: c or a?
a
Let z = -134873334172/6973 - -19342225. Let l = z - 1/367. Is l less than or equal to 0?
False
Let p = 30.68 + -34. Let w = p + 0.32. Is 11 <= w?
False
Suppose 5*u = 5, 0*u = -5*z + u + 39. Suppose z*r = r + r. Is 0.18 at least as big as r?
True
Let d be 284/6 + 6/18. Let l = d + -48. Suppose 2*q + 2*h + 7 = -1, 0 = -3*q + h + 4. Are q and l non-equal?
True
Let x(o) = o**3. Let k(g) = g + 13. Let i be k(-14). Let d be x(i). Is -3/20 smaller than d?
False
Let t(h) = 2*h - 1. Let m be t(1). Suppose 5*i + 3*z - 13 = -2, 2*i = -z + 4. Let k be ((-44)/(-10) - i) + 36/(-12). Is m > k?
True
Suppose -26*x + 53*x = -6048. Which is smaller: x or -221?
x
Let w = 43 - 42.962. Let n = w + 0.062. Is n <= -12?
False
Let h = 81 - 82. Let i be h*(-5)/(-20)*0. Let a = -1 - 0. Does a = i?
False
Let j = 94.1 + -109. Let g = j + -2.9. Let w = -18 - g. Which is bigger: w or 5?
5
Let f = -1 - -1.08. Let i = -4.6 - -2.5. Let o = -1.1 - i. Which is smaller: o or f?
f
Let l be ((-9)/(-6))/(1/(-2)). Let o(r) = -r**2 + 5*r + 2. Let f be o(5). Are l and f nonequal?
True
Let k be 1/4 + (-6167625)/28. Let h = k + 220403. Let d = -131 + h. Which is smaller: 0 or d?
d
Let q be ((-55)/20 - -3)*(-1 + 13). Suppose v - 64 = -3*t, 2*v - 51 = -2*t + q*v. Which is smaller: 22 or t?
22
Let k = -1262 - -1262. Which is smaller: k or 82?
k
Let q = 25001/538 - -8/269. Which is smaller: 47 or q?
q
Let z = 66 + -61. Let x(d) = 34*d. Let g be x(-1). Let l be g/(-8) - 2/8. Is l greater than or equal to z?
False
Let a = 367 - 366.8. Let i be (-17)/(-4) + (-1)/4. Which is smaller: a or i?
a
Let q = 964.14 - 946. Let r = q + -18. Let o = r - -0.06. Is o less than -6?
False
Suppose 113 - 121 = -2*o. Is -3 <= o?
True
Let z be -2 + 3 + (3 - -4). Let g be (z/(-30))/(12/(-10)). Let w = -4 + 3. Is w greater than g?
False
Suppose 0 = t - 5*k + 48, 4*t - t - k = -74. Let x be (-2)/(-4) + (-99)/(-22). Suppose -x*b + 2*b - 63 = -3*n, 0 = -4*b - 3*n - 98. Is t at least as big as b?
True
Let g(v) = -12*v**2 + v + 13. Let r be g(-5). Let m be r/658 + (-4 - 128/(-28)). Is 1 bigger than m?
True
Suppose 92*u - 570 = 102*u. Which is smaller: u or -53?
u
Let c = 5 - 7. Let w be (2 + (-3 - c))*1. Suppose 0 = 4*q - 0*q. Is q less than w?
True
Let i = 3.8 + -4. Let t = -0.534 - -38.534. Is t < i?
False
Let c(o) = o**2 + 64*o + 729. Let y be c(-45). Are 2 and y non-equal?
True
Let d be (6 - 1)*(33/15 + -5). Is -17 at least d?
False
Let l be (1 - 6/8)*-2. Let n = -5.2 + 3.3. Let m = -3.9 - n. Is l at least m?
True
Suppose 0 = -2*q + d - 4*d - 4, -2*d = 0. Let a be (-8)/6 - q/6. Let z be (-15)/(-18)*(-136)/170. Which is smaller: z or a?
a
Suppose 4*c - 8*c - 2*j = -20, 2*c + 3*j - 10 = 0. Which is bigger: 0.1 or c?
c
Let h be 25/5*-1*(2 - -3). Suppose 2*z - 45 = 11. Let j = h + z. Which is smaller: 5 or j?
j
Suppose 255*d - 250*d + 130 = 0. Which is smaller: d or -24?
d
Let o = 26 + -22. Suppose o*x = -5*w - 25, 3*w = -0*x + 3*x - 15. Let y be (-16)/(-15) + (-4)/10. Which is bigger: y or x?
y
Let a(z) = -11*z**3 + z**2 - 2. Let v = -41 - -42. Let i be a(v). Is -15 > i?
False
Let u = -65 + 65. Is u < 10/121?
True
Suppose -2*r + 4 + 2 = 0. Suppose 7*d = r*d. Let g be (12/135)/(18/(-15)). Do d and g have different values?
True
Let g = -0.0533 - -94.0533. Is -0.2 smaller than g?
True
Let x = -186 + 329. Let h = 32505 + -489721/15. Let l = h + x. Is l less than -1?
False
Let d(i) = -i**3 + 10 - 4*i**2 - 3*i**2 + 14*i**2. Let t be d(7). Suppose -t = 5*h - 4*h. Is -9 bigger than h?
True
Let o(f) = f**2 - 2*f - 4. Let l be o(3). Let z(r) = -5*r + 16. Let p be z(6). Which is greater: l or p?
l
Suppose 5*c - 7*c = 0. Suppose c = 2*v - 5*v - 6. Let n(s) = s**2 + 15*s + 1. Let d be n(-15). Which is smaller: v or d?
v
Let y = 7.07 + -7. Let l = 107.5 - 108. Which is smaller: y or l?
l
Let k be (8 - 8)/((-2)/2). Suppose 3*l = -k*l. Let q be (1/1 + l)/(-1). Are q and -1 unequal?
False
Suppose 5*o - 20 = 3*q, 2*q - 2*o - 24 = 4*q. Suppose d = -n, -2*n + 0*d + 5*d = -14. Let l(k) = -2*k**2 - 4. Let m be l(n). Which is greater: q or m?
q
Let y = 15.19 - 15.19. Is -0.788 less than or equal to y?
True
Let z = -2/267 + 811/1335. Is -5.1 >= z?
False
Let w = 1/61 - 64/183. Let l = 37 + -38. Is l greater than w?
False
Let z = 2782 - 2806. Is z > -3/8?
False
Suppose -551 + 2854 = 47*h. Let u = 9 + -8. Which is bigger: u or h?
h
Let s(q) = q**3 - 3*q**2 - 3*q - 2. Let w be s(4). Let o = 1 + w. Let a = 2011 - 2012. Which is greater: a or o?
o
Let o = 0.2931 - 0.2131. Is 76 not equal to o?
True
Suppose 0 = k + 4*c + 6, 5*c + 1 = -9. Let a be k/(-14) - 93/(-357). Which is greater: a or -1?
a
Suppose 10 = -0*x + 5*x. Suppose y = -0*y + 5. Suppose a + y = -4*h - 6, -a + 13 = -x*h. Is 5 < a?
False
Let h = 148 - 147. Is h != 2/69?
True
Let s be 3 - 3/(23046/21664). Let w = 1/167 - s. Let v = w + 14/345. Does 1 = v?
False
Let l(y) be the third derivative of -y**5/30 - y**4/12 - 5*y**3 + 7*y**2. Let r be l(0). Which is greater: -29 or r?
-29
Let f(p) = 5*p**2 + 2*p. Let l be f(-3). Suppose 3*x = -27 + l. Let a be 2/((-1)/x - 1). Which is greater: a or -2?
a
Let n be 121/(-11)*(-3)/(-1). Let u = 34 + n. Let v be (-7)/(-3) + (-5)/15. Which is smaller: v or u?
u
Let m = 232.1569 + -0.2569. Let w = 206 - m. Let f = w + 26. Which is greater: 9 or f?
9
Let n be -8 - (-21)/((-7896)/(-2992)). Let l(h) = h**2 - h + 0*h - 2*h + 1. Let r be l(2). Do n and r have the same value?
False
Suppose 4*w + 9 - 45 = -4*g, -g - 15 = -5*w. Suppose 3*t = 3*l + 4*t + 2, -t - w = 5*l. Let h = 221/165 + -7/5. Is l not equal to h?
True
Suppose 0 = 6*r - 8*r + 42. Suppose 0 = -2*c - 3*y - 4, -c - 4*c = 2*y + r. Is -7 <= c?
True
Let k = -508153/111 - -4578. Let z = -236/37 + k. Is z bigger than 1?
False
Let r = -2.9 - -3. Let u(h) = -h**3 + 46*h**2 + 97*h + 13. Let w be u(48). Which is greater: r or w?
w
Let f = 457/17061 - 2/363. Let o(k) = 2*k + 3. Let n be o(-2). Which is greater: f or n?
f
Let p(w) be the second derivative of -5*w**3/6 + 3*w**2 - 4*w. Let v be p(5). Let x = -19 + -1. Which is smaller: x or v?
x
Let g be (13 + -14)/(0 - 1). Suppose 0 = d - g. Is -2/17 smaller than d?
True
Let i(r) = 3*r + 33. Let a be i(-13). Let k be 2/a*399/14. Are k and -10 unequal?
True
Let u = 0 + 15. Suppose -w + 4*w + u = 0. Let d be (-2)/85 - w/25. Are -1 and d non-equal?
True
Let s = -171 - -136. Which is bigger: s or 0.1?
0.1
Let r = -9 - -64. Suppose 17*q = 12*q + r. Let l = q - 34/3. Is l bigger than 0?
False
Let f = -0.01 - 0.12. Let u = 107.81 - 108. Let o = u - f. Which is smaller: -0.1 or o?
-0.1
Let t = 51.025 - 51. Let f = t + -0.025. Which is smaller: f or -5/2?
-5/2
Suppose -1975*r + 1966*r + 18 = 0. Which is smaller: -3 or r?
-3
Let f = 1.01 - 1.8. Let b = 0.08 - f. Let j = 0.13 + b. Which is greater: 0 or j?
j
Suppose -2*m - 5 = -3. Let k(y) = -29*y - 30. Let g be k(-7). Let z = g - 5362/31. Is z >= m?
True
Let b be (1/2)/(65/(-26))*0. Is b > 0.82?
False
Let u = 329 + -334. Let t = 0.08 - -0.22. Let a = 0.2 - t. Which is bigger: u or a?
a
Let h be (-78)/8*48/18. Is -23 equal to h?
False
Suppose 6 - 4 = i. Suppose 4*s + 0*s - 4 = -i*d, -4 = -5*s - 3*d. Let a = s - 5. Which is bigger: a or 0?
0
Suppose 4*a + 2*t - 186 = 0, 4*a - 4*t = -2*t + 198. Let l be a + (-1 - (-1 - 0)). Let r = l - 191/4. Is 6 less than r?
False
Let s be (244/(-3))/((-84)/63). Which is smaller: s or 63?
s
Let q = 695 - 32668/47. Is 2/27 less than q?
False
Let n = -24 + 18. Suppose -6 = -3*x - 0, 5*m + 5 = -5