6
Let f = 73.79 - 73. Let x = 0.5 - f. Let p = x + 0.19. Is p greater than 0.01?
False
Let w = 2.8 - 3. Let j = 27628/217 + -1148/31. Let o = j - 90. Is w smaller than o?
True
Let c = 276 + -144. Do 531/4 and c have different values?
True
Let j = -721 - -691. Is -336/11 less than or equal to j?
True
Let d be 4/(1/1)*2. Are d and 3 non-equal?
True
Let g = -127 - -126. Are g and 0.4 nonequal?
True
Let j = -1379/4 + 56583/164. Is j >= -1?
True
Let h be (-273)/(-7) + (1 - 0). Suppose 2*q + h = -2*q. Suppose -2*m = -4*m - 20. Is q less than m?
False
Let l(c) = c**3 + 2*c**2 - 5*c - 2. Let a be l(-3). Suppose -11*f + a*f = -49. Are 7 and f non-equal?
False
Let z(x) = -x**2 - 7*x - 4. Let o be z(-6). Suppose -b + 25 = o*j + 4*b, 5*j = -3*b + 34. Suppose -i - j*a = -20, -5*i + i + 5*a = -5. Is i < 5?
False
Let u = 213 + -87. Let y = 80 - u. Is -45 < y?
False
Let c = -0.0318 + 0.1318. Is -53 != c?
True
Let s = 1163/228 - 29/12. Which is smaller: 3 or s?
s
Let v(x) be the third derivative of -x**6/120 - x**5/12 - x**4/6 - x**3/3 - x**2. Let b be v(-4). Suppose -10*a + 96 = 126. Which is smaller: a or b?
a
Let b = 332 + -331.9. Does 67 = b?
False
Suppose 4*o + 951 = -o - 3*k, -3*o - 4*k - 575 = 0. Is -189 at least o?
True
Let z be (-2)/((0 - -5) + 25 + -34). Which is greater: z or -539?
z
Let c = -0.8 - -1.7. Let k = -55.8 - -55. Let z = k + c. Is 5 greater than z?
True
Let o(n) = 3 - n - 1 - 2. Let d be o(-7). Suppose -d + 2 = 5*r. Are r and -4 equal?
False
Let t = -22 - -263/12. Let r be 4 + 4/3*3. Let a = r + -9. Is t at least a?
True
Let g = 57.52 + -3.52. Is 3 less than g?
True
Suppose 0*f + 746 = 5*f + 3*w, 582 = 4*f - 5*w. Which is smaller: 149 or f?
f
Let c = -1314.08 + 1368. Let a = -54 + c. Is a at least -2?
True
Let k = 11 + -17. Let b = k - -10. Suppose m - 32 = x - 3*x, 0 = -b*x + 5*m + 50. Which is bigger: 13 or x?
x
Let q(t) = -23*t - 162. Let u be q(-7). Is u greater than or equal to 1/424?
False
Suppose 2*i = 2*x + 228, -8*i = -3*x - 13*i - 326. Which is smaller: -115 or x?
-115
Let o = 134.705 + 0.295. Let c = 134 - o. Which is greater: 59 or c?
59
Let y = -36/181 + 32833/362. Let q = y + -90. Which is smaller: 34 or q?
q
Let t(m) = -m**2 + 12*m - 3. Let g be t(8). Suppose -2*c - 2*o = -62, 3*c - 2*c - 3*o = 27. Do g and c have the same value?
False
Let f = -295 + 288. Is f at most -7?
True
Let s = 0.5 - 1. Let f = 0.5 + s. Let v be 8/(-20) - (-12)/105. Is f greater than v?
True
Let m(h) = h**3 - 12*h**2 + h - 13. Let t be m(12). Let k(j) be the first derivative of j**4/4 - j**3/3 - j**2/2 + 9. Let w be k(t). Is w bigger than -1?
False
Let w be (-1)/4 - (-3)/(-4). Let c be 4/(-42)*(3/7 + (-850)/1428). Which is bigger: c or w?
c
Suppose 6*n + 355 = n. Let p be 3/n*8/12. Is 0 <= p?
False
Suppose -o = -4, 3*m + 36*o - 35*o = 7. Do m and 2/7 have different values?
True
Let d(i) = -122*i - 2. Suppose q - 6 = 7*q. Let h be d(q). Let t be h/135 + (-3 - -1). Is t less than -1?
True
Let k = 2/243 + -271/3402. Suppose -5*o + b = 10 - 30, 3*b = -15. Let x be 4 - (1 + 9/o). Is x at least as big as k?
True
Let b be (-1)/(((-99)/(-18))/(-11)). Is b > -602?
True
Let j be (6 - 5)*(-228)/(-14). Is j at least 16?
True
Suppose l = 4*f + 5*l + 172, 43 = -f - 3*l. Let t = f + 43. Which is greater: t or -2/105?
t
Let p = 61 - 57. Let y be -3*p/(2 - -2). Is -8/5 bigger than y?
True
Let d = 195.131 - 195. Let g = d + -0.741. Let i = 0.39 - g. Which is smaller: -21 or i?
-21
Let b(z) = z - 6. Let s be b(9). Suppose 5*c + 0*c - 30 = 0. Suppose -s*w = 3 - c. Is 2/11 greater than w?
False
Let o be ((-24)/22)/6 - (-903)/66. Let i = 8 + 6. Which is greater: i or o?
i
Let y(q) = -5*q**2 + 31*q + 139. Let z be y(-3). Let h = -32/11 + 648/253. Is h less than z?
True
Let k(w) = 25*w + 10. Let m(g) = -g - 1. Let q(p) = k(p) + 20*m(p). Let j be q(8). Suppose b + 33 = -5*i, -i - 3*i - 2*b - j = 0. Which is greater: i or -3?
-3
Suppose -a + 5*q - 21 = 2*q, a + 29 = -5*q. Let j = -17 - a. Let g = 17 - j. Is g less than 10?
False
Suppose 0 = 4*k - 4, -r + k - 6*k = -7. Let b(c) = c**2 + 1. Let m(p) = p**3 - p**2 - 4*p - 5. Let l(h) = 3*b(h) + m(h). Let v be l(-3). Is v less than r?
True
Suppose -2 + 6 = 2*p. Let m be p/56 + 24/(-84). Which is smaller: m or -1?
-1
Suppose 40*y - 43*y - d + 1 = 0, y + 3*d = -13. Which is smaller: y or -66?
-66
Let s be 1 - 0 - (-2 + -16). Let r = -396 - -414. Is r smaller than s?
True
Let p(k) = -k**2 + 2. Let u be p(2). Let q = 42 + -45. Which is greater: u or q?
u
Let c be -1*(26 + -4 + 5). Let v = c - -31. Is 3 not equal to v?
True
Suppose 6*n - 45 = 11*n. Which is smaller: n or -8?
n
Let y = -619/12 + 103/2. Let b = 27 - 27. Is b < y?
False
Let a = -12 - -7. Let m(h) = h**3 + 6*h**2 + 7*h + 6. Let f be m(-4). Suppose -f*n = -n + 54. Is n less than or equal to a?
True
Let p = -1.13 - -0.13. Let w = -12.6 - -1.6. Let i = -10.7 - w. Which is smaller: i or p?
p
Let b(j) = j**3 + 14*j**2 - 35*j - 46. Let y be b(-16). Is y != 1?
True
Let i be 1/(-19)*(6 + (-224)/38). Which is bigger: i or -1?
i
Suppose -4 = 2*u - 8. Let s be (u/24)/((-2)/(-6)). Let q be (-8)/3 + 2/3. Is q > s?
False
Let k(r) = 13*r + 9*r + 21 - 25*r. Let w be k(17). Let n be (-7)/w + 7/42. Is -0.3 smaller than n?
True
Suppose 5*s + 40 = -5. Let b be (6/s)/(10/(-105)). Let c be (-140)/98 + 3/b. Which is bigger: -2/5 or c?
-2/5
Let r be 6/36 + 2/12. Let g = 8 + -0.5. Let q = 8 - g. Is q smaller than r?
False
Let c be (((-18)/(-8))/9)/(-6 + 7). Let b = 0.31 - 0.14. Which is smaller: b or c?
b
Let z = 13 + -13.9. Is z smaller than -8?
False
Let q be -4 + 5/(5/2). Let m(h) = -2*h - 18. Let j be m(-9). Which is smaller: q or j?
q
Suppose 4*r + 49 = k, -6 + 7 = -r. Which is greater: k or -1?
k
Suppose 3*b - 6 = 6. Suppose l = -b*l + 10. Let t(g) = -g**2 + 4*g - 5. Let r be t(l). Which is bigger: r or -2?
r
Let z be (2/4)/(45/(-10)). Let h = -180 - -179. Are z and h unequal?
True
Let d = -2270/1173 + -110/69. Which is greater: -5 or d?
d
Let k = -1237 + 942. Is k greater than -295?
False
Let w = -695 + 712. Which is greater: w or 125/8?
w
Let l = 0.06 - 0.63. Let b = 0.17 + l. Let y = -170/3 + 56. Is b less than y?
False
Suppose 2*y = 3*w + 29, -4*y - 2*w + 32 = -2. Suppose -y*m - 171 = -7*m. Which is smaller: m or 1/2?
m
Let l = -47 - -47.27. Let d = -1.28 + 0.91. Let c = d + l. Which is smaller: 3/2 or c?
c
Suppose -24 = -10*s + 4*s. Let v(a) = -a + a**2 + 9*a**2 - 8*a**2 - s + a**3 + 3*a**2. Let c be v(-5). Which is smaller: c or 3/7?
3/7
Let p be 186/(-13) - 0*(-4)/8. Does -15 = p?
False
Suppose 0 = 4*n - 20 + 44. Let g = n - -5. Suppose 0 = p + 4*m + 18, 3*p + 4*m = -p - 24. Is p > g?
False
Let i(p) = -10*p - 7. Let w be i(-3). Let d = 51 - w. Which is greater: d or 2?
d
Let o = -7.7 + -100.3. Which is smaller: o or -0.2?
o
Let z = -633 + 6957/11. Suppose 0 = 7*n - 4*n. Is z < n?
True
Suppose d + 2*n - 6 = 0, 0 = 4*d - 0*n + 2*n - 18. Suppose 3 = -r - d*m, 5*r + 6*m - 1 = 2*m. Is r at least -1/31?
True
Suppose 41 = 2*s - 3. Suppose -d - 5*o + 23 = 0, 2*d + 2*o = -0*o + s. Let x = -25 - -25.1. Is d bigger than x?
True
Let w = 1 + 1. Suppose 2*y = y + 3*g + 14, -w*y = -2*g - 8. Let u = -595/6 - -99. Which is bigger: u or y?
u
Let a be (-86)/75 - (-12)/18. Let g = -399565 - -129858806/325. Let d = a + g. Which is bigger: d or -0.2?
d
Suppose 0 = -d + 2*l + 9 + 4, 4*d - 47 = 3*l. Suppose 0 = -18*r + 7*r + d. Which is smaller: 5 or r?
r
Let a(x) = -3*x + 21. Let i be a(8). Suppose -4 - 24 = -4*s. Let u = -11 + s. Which is smaller: u or i?
u
Let b be -8 + -149 - (-18)/(15/(-5)). Is -163 smaller than b?
False
Let h = -142 - -134. Is h at least as big as -4/7?
False
Let u = -73 + 54. Let f = u + 14.7. Is f > -1?
False
Let x be 1/((-107)/(-27) - 4). Let q = x + 39. Let s be (-34)/(-3) + (-4)/(-6). Are q and s non-equal?
False
Let h be (-2)/((-3)/(-18)*-4). Let r = h - 12. Let x be (1 + 5/10)*(-3)/18. Is x > r?
True
Let g = -236/9 - -29981/1143. Which is greater: -1 or g?
g
Suppose 33*z + 21 = -12. Which is bigger: 376 or z?
376
Let o = 0.4 - 0. Let i = -0.2 + o. Let a = 0.4 + i. Which is smaller: 1 or a?
a
Let n = 1117/40 - 28. Is n at least -5?
True
Let f = 7540 + -180925/24. Is f smaller than 2?
True
Let v = -0.00582 - -118.83582. Let s = v - 119. Is s != -1?
True
Let a = 53 + -43. Wh