 ((-200)/(-30))/(4/6). Let p be (-16)/(-6) + s/(-15). Let x be (18 - p) + (1 - 1). Are 17 and x nonequal?
True
Let j = 13.18 - 16.6. Let k = j - -3. Let t = -0.12 - k. Is t less than or equal to 0?
False
Let m be (-4284)/255*(-35)/(-2). Are m and -293 equal?
False
Suppose -3*n - 4 = -2*n, 2*m - 3*n = -22. Let b = m + -45. Do -62 and b have the same value?
True
Let i be ((-316578)/945)/1 + (-14)/(-63). Let g = -1674/5 - i. Which is smaller: -1 or g?
-1
Let u = 1563 - 1177. Is u less than 387?
True
Let n = 10.542 + -1.772. Let k = 0.77 - n. Is 3/4 greater than k?
True
Let f(i) = -i**2 - 2*i + 6. Let r be f(-4). Let g be (-22)/((r/(-2))/1). Which is smaller: -23 or g?
-23
Let r(j) = -j**3 + 5*j**2 - 3. Let k be r(5). Let m(f) = -f**2 - 8*f - 10. Let d be m(-7). Let c = d - k. Which is smaller: c or 6?
c
Let r = 0.87 + -1. Let d = r + 0.19. Let v = 2.1 + -2.1. Do v and d have different values?
True
Let z be 14/4 - (-2)/4. Let m be -6 - (2 + -4) - z/(-2). Which is smaller: m or -1?
m
Let c(s) = -4*s**2 + 8*s + 56. Let i be c(11). Do i and -339 have the same value?
False
Suppose 5*m + 389 = 3*w, -2 - 13 = -5*w. Is m less than or equal to -75?
True
Let l be 1/((-2 + 0)*1). Is l smaller than -61?
False
Let g = 1/60 + 11/240. Suppose -396 = 12*y + 84. Let p = y - -40. Is g not equal to p?
True
Suppose -4*g - 6 = -18. Suppose -g*f + 25 = -8. Is 11 at most as big as f?
True
Let a be 35/(-5) - (1 - -1). Let r = -8 - 0. Is a greater than r?
False
Let f be (-3)/(-693)*9*255/9. Let x = 10083/22 - 915/2. Let i = x - f. Is -1/33 <= i?
False
Let z be (-3 - 2/(-1))/((-7)/(-7)). Which is greater: z or -23/127?
-23/127
Let o = -1.22 - -1.7. Let h = o - 0.28. Is h at least as big as 0?
True
Let w be (-6)/((-19)/75 + (-15)/(-45)). Which is smaller: w or -147/2?
w
Suppose -5*d + m = -2*d + 173, -3*d - 5*m = 161. Which is bigger: -53 or d?
-53
Let l(c) = 2*c**2 - 66*c + 77. Let s be l(30). Is -103 at most s?
True
Let m be ((-6)/(-4))/(-141 - -149 - 15/2). Let f be (-4)/(-14) + 5/7. Let r be 4/(2/f) - -7. Which is greater: m or r?
r
Let r = -0.053 + 0.533. Let p = 0 + -0.02. Let g = p - r. Is -1/3 less than or equal to g?
False
Let v = 246 + -246. Which is greater: 20/43 or v?
20/43
Let c be (-384)/40*1/2. Suppose -8 = 4*o - 2*o. Is c smaller than o?
True
Suppose 0 = 7*o - 6*o + 20. Let z = 11 - 31. Is z > o?
False
Let g be 2/65*(-579810)/20. Let w = -892 - g. Which is smaller: 1 or w?
w
Let y = 183 - 284. Which is greater: 2 or y?
2
Let b = 27/35 - 737/910. Suppose 1 + 1 = 2*i. Which is smaller: i or b?
b
Let x = 56 + -42. Is x less than or equal to 100/7?
True
Let q = 1.99 - 2.49. Suppose -1 = 3*d - 13. Suppose -4 - 14 = -3*w - 3*b, -9 = w - d*b. Is w greater than or equal to q?
True
Let j = 23 - 17. Let i be j/15 - (-4)/(-10). Do i and -6/7 have different values?
True
Let s = 729.6 + -732. Is s at least as big as 0.5?
False
Let h be (55/(-44))/(3 - 70/24). Which is bigger: -17 or h?
h
Let r be 4/12 - (-2015)/(-15). Let a = 677/5 + r. Is 2 < a?
False
Let b = -0.35 + -4.65. Let s = 1106 - 1110.91. Let t = s - b. Which is bigger: t or -1?
t
Let z(y) = y - 1. Let x(j) = 0*j**2 - 3*j**2 - 3*j - 2*j - 4 + 9*j. Let f(v) = -x(v) + 5*z(v). Let h be f(1). Is 3 <= h?
True
Let x(d) = 11*d**2 - d - 4. Let w be x(4). Let l(b) = b**3 + 8*b**2 + 9*b + 17. Let q be l(-7). Let t be (-236)/w + q/2. Are t and -1 non-equal?
True
Let k = -964 - -6746/7. Are k and 567 equal?
False
Suppose -6*b - 5*y = -4*b - 58, -b = -y - 36. Let x be (1/4*2)/(b/3876). Is 56 > x?
False
Let k be ((-12)/(-63))/(2/(-3)). Suppose 290 - 204 = 2*g. Which is bigger: g or k?
g
Let a = -735977/320 + 11498/5. Which is smaller: -0.1 or a?
a
Suppose -1716 = 29*a - 266. Do -299/6 and a have the same value?
False
Suppose -2*b + 10 = -30. Suppose -3 = -17*m + b*m. Which is greater: 6/19 or m?
6/19
Suppose -w = -3*m + 2*m - 7, 0 = -5*m - 5*w + 5. Let l be 204/(-24) + m/(-2). Which is bigger: -5 or l?
-5
Let v be (-33)/(-9) - 4 - 0. Let r = v + 59/6. Which is greater: r or 10?
10
Let f be 39/33 - ((-24)/(-11) - 2). Let y = -17 + 38. Which is smaller: f or y?
f
Suppose 2*f - 14 = -4*d, -5*f + 9 = -d - 3*f. Let a = -106/45 + 1892/765. Is a <= d?
True
Let u = 156 - 784/5. Suppose 3*m + 6 - 2 = -2*j, 3*m = -3*j - 6. Which is smaller: u or m?
u
Let w be (-26)/12 + 3/(-9). Let r(i) = i**2 - 19*i + 44. Let u be r(16). Which is bigger: u or w?
w
Suppose -17*a = -18*a + 19. Suppose m + 0*m + a = -4*t, -24 = m + 5*t. Which is smaller: 4/3 or m?
m
Let z be (-48)/(-140) - 9/27. Let s(x) = x - 6. Let l be s(5). Is z smaller than l?
False
Let y = -13.5 - -11. Let u = y + -4.5. Which is smaller: u or 2?
u
Suppose -2*p = n - 5, n - 3*n + 10 = 0. Suppose p*m - 9*m = -99. Let g be (m/(-22))/((-7)/(-2)). Is 0.1 greater than g?
True
Let l = -355 - -355.053. Is l at least as big as -0.1?
True
Let b be 1*(-2)/(-2) - 3. Suppose -3*q + 5*j - 44 + 15 = 0, -2*j = -5*q - 23. Is b at most q?
False
Suppose -58 = -r - 0*r. Let u be r/(-12) + 0 + 3. Let g = u + 4/3. Which is smaller: -1 or g?
-1
Let i(u) = u**2 + 2*u - 17. Let x be i(-5). Let j be (-4 + 8)*x/4. Is j bigger than -3?
True
Suppose 8*d = 6*d - 70. Let g be 387/465 + 28/d. Let i = g - -59/93. Which is smaller: 2/39 or i?
2/39
Suppose -13 = -434*b + 421*b. Which is smaller: 1/20 or b?
1/20
Suppose -5*x - 24 = -3*v, -3*v + 0*v + 2*x = -15. Suppose -3*g - v*p + 6 = 0, -4*g + 2*p - 18 = g. Is g not equal to 9?
True
Let n be -1 + 2 + (-60)/46. Let s(u) = u**3 + 24*u**2 - u - 25. Let z be s(-24). Are n and z non-equal?
True
Let y be (0 - -18)/((-8)/(-4)). Let t be (y/(-2) + 4)*0. Are t and 1/78 non-equal?
True
Let m = -9857/1197 - -5/399. Which is smaller: -8 or m?
m
Let f be (-4)/14 - (-120)/(-70). Let b be f/11 - (-321)/132. Suppose -7*t + 2*t - 7 = -4*s, 0 = -4*s - 4*t + 16. Which is bigger: s or b?
s
Let o = 66 - 98. Let s = o + 22. Let h = -35 + 34.9. Is h smaller than s?
False
Let c = 129 - 124. Suppose -c*t - 14 = 3*l, 5 = -l + 2. Do t and -2/65 have different values?
True
Suppose 5*g + 5*i + 35 = 0, -g + 5*g - 2*i = -10. Which is smaller: -96/25 or g?
g
Let p be (-9)/72*(-6)/(-27)*-6. Let y be ((-14)/(-35))/((-1)/1). Which is greater: y or p?
p
Suppose 0 = 6*d - 5*d - 7. Let w = 17 - 15. Suppose -w*h + 4*z + 6 = -12, -3*h = 4*z - 27. Which is smaller: d or h?
d
Let y(p) = -4*p - 4. Let w be y(-6). Suppose 0 = 8*z - 4*z - w. Suppose -z*b - 4 = -b. Which is smaller: b or 1/7?
b
Let a be (-6)/(-36) - ((-14)/12)/(-7). Is a < 2/81?
True
Let f = -2119 - -2973. Is f smaller than 854?
False
Let w(q) = -q**3 + 6*q**2 + 6*q - 4. Let u be w(7). Suppose 4*m - 113 = 3*s, 14 = m + 5*s - s. Suppose 3*j + m = -4. Do u and j have different values?
True
Let c = -1300 - -1327. Is 23 > c?
False
Let s(q) = q + 138. Let r be s(-33). Is r less than 105?
False
Let g = 58 + -60. Let o be (-1)/(g/(-6))*(-51)/(-9). Is o <= -16?
True
Let q = -274 + 453. Is 178 at most as big as q?
True
Let a = -1.805 + -0.195. Which is greater: 4/3 or a?
4/3
Let y be (-91)/(-35) + (-2)/(-5). Suppose 0 = -y*n + 2*p - 43, 2*p = -5*n - 2*p - 101. Is -17 != n?
False
Let f = 25/1709 - 43793/2760035. Which is greater: -1 or f?
f
Suppose -8 + 0 = 4*x. Let o(r) = -2*r**3 - r**2 - 2. Let w be o(x). Suppose 7*a - 3 = w*a. Is a less than 3/7?
True
Let w be 2/(-21)*(-4277)/141. Which is greater: w or -2?
w
Let c(f) = -2*f**2 - 31*f + 41. Let n be c(-16). Which is smaller: 17 or n?
17
Let f = 48.64 - 50. Let q = 0.16 + f. Let g = q - -1.3. Which is smaller: g or -1?
-1
Suppose -5*o = -2*o + 2*m - 2, -3*o = -2*m + 2. Suppose 5*r - 2*p = 8, 0 = -2*r - o*r + 3*p + 1. Which is greater: 14/19 or r?
r
Let b = -213/5 - -43. Let n be (-18)/9 - (1 + 0). Let i(u) = -u - 2. Let d be i(n). Which is smaller: d or b?
b
Let z be (-1)/(-3 + 1 - 2). Suppose 8 + 12 = -10*l. Let j be (3 - l/(-1))/(15/12). Which is smaller: z or j?
z
Let t be 2/3*(-6)/122. Let k be -2 - (8/2 - 10). Suppose 0 = 4*g - z - 7, k*g + 4 - 2 = -2*z. Which is greater: g or t?
g
Suppose 0*f - 5*f + 85 = 0. Let y(b) = b**2 - 15*b - 23. Let v be y(f). Are v and 12 equal?
False
Let r = 0.3 + -0.2. Let l(b) = 54*b - 2035. Let d be l(37). Is r <= d?
False
Let p be (252/(-49))/(220/(-17094)). Which is smaller: p or 2/3?
2/3
Let d = -87/14 + 13/2. Do -3/202 and d have different values?
True
L