 -0.003 equal to j?
False
Let x = 142 + -166. Is -176/7 not equal to x?
True
Let p = -2 + 1.76. Let l = 68 - 66.76. Let g = p + l. Which is greater: 0.9 or g?
g
Let s = 3 + -37. Let g = 36 + s. Let b = -1451/5 - -293. Is b >= g?
True
Let t = 2530.63 + -2649.6. Let q = t - -119. Which is bigger: -0.4 or q?
q
Let v(i) = i + 4. Let u be v(-8). Let o be 2*-2 + u + 7. Which is smaller: -2/11 or o?
o
Let p be (-1)/((-4)/(-8))*-1. Suppose -2*h - p*u = 3*h + 72, 4*u + 16 = -2*h. Is -17 >= h?
False
Let p(c) = c + 8. Let f be p(12). Let u = -35 + f. Which is greater: u or -17?
u
Let d be (-1)/(-5) - 3/30*2. Let k be 46/(-70) + 1/(-5). Do k and d have different values?
True
Let x be (-3)/14*(-12)/9. Suppose 56 = -2*f + 6*f. Which is smaller: x or f?
x
Let k = -21.88 - -21.9. Which is smaller: k or -8?
-8
Let a = 5/4599 - 55724/22995. Let n = -11/5 - a. Let t = -2 - -2. Is t at most n?
True
Suppose -8*g + 560 = -912. Is 185 >= g?
True
Let g(h) = -4*h + 12. Let y(w) = 7*w - 24. Let j(b) = -5*g(b) - 3*y(b). Let o be j(8). Suppose 8*l + 12 = o*l. Which is greater: l or -6?
l
Suppose 2*j = -6, 0*j = -w + 3*j + 9. Suppose 5*o - 54 + 19 = -5*n, w = o + 5*n + 5. Let v(z) = -z**3 - 2*z**2 + 2*z + 7. Let p be v(-3). Are p and o unequal?
False
Let n = -66 - -69. Which is smaller: n or 10?
n
Let q = 62 - 35. Let h be 6/q + 768/(-54). Let k be h/6 - 4/(-6). Is 1/4 greater than or equal to k?
True
Suppose 3*y - 2*n = 6, 18 + 10 = 4*y + 4*n. Suppose -3*s - 3*j + 33 = 0, y*s + 5*j - 8 = 40. Suppose -2*f + 0*q = 2*q, 10 = 3*f + q. Is f equal to s?
False
Let j be 1/(-4) + 1/4. Let s = 574 - 1494. Let l be (-592)/s + 6/(-10). Is j less than l?
True
Let i be -12*(-12)/(-18) - (0 - 1). Are i and -2 unequal?
True
Let b(a) = 2*a - 13. Let o be b(7). Is o <= -3?
False
Let d = -1.54 + 1.625. Which is smaller: -2 or d?
-2
Let f = -10 + 16. Suppose -5*y + 3*d = 44 - 148, -2*y - 2*d = -48. Suppose -12 = 5*h - y. Which is greater: h or f?
f
Let a be (0 + 1)*12/(-4) - 9. Let y be ((-3)/2)/(a*(-7)/896). Is -17 less than y?
True
Suppose 2*r = 5*j + 24, 2*j + 6 = -0*j + 2*r. Let a be 2/(-2)*(j - (-5 + -42)). Are a and -41 non-equal?
False
Let j be (-1)/((90/3)/5). Let y = -6 + 14. Let g = 11 - y. Is j bigger than g?
False
Suppose -41*w + 38010 = -111*w. Which is smaller: -0.2 or w?
w
Let u = -17248 + 9250. Let t = u - -103924/13. Let g = -98/39 - t. Which is smaller: 0 or g?
0
Let k be 5 + (36/(-42))/((-6)/28). Suppose p - k = -c + 4*p, 3*p - 9 = -5*c. Let z = -327/7 + 2721/56. Is z >= c?
False
Let l(n) = -n - 18. Let t be l(-18). Let j be -1*t/((-3)/6*4). Is 3/47 > j?
True
Let j = -236.25 - -236. Which is bigger: 0.1 or j?
0.1
Suppose 3*t + 406 = 460. Let u(a) = 3*a**2 - 3*a - 2. Let c be u(3). Is t < c?
False
Let g(a) = a**3 - 3*a**2 - 13*a + 10. Let b be g(5). Let z = 4 + -4. Let u be b + (z - -1)*1. Which is smaller: u or -5?
-5
Suppose -4*v + 5 = 2*a + 23, 9 = a - 4*v. Let c be a/9 - (-7)/((-1659)/(-76)). Are c and 1 nonequal?
True
Suppose -1 + 19 = 3*z. Suppose -z*y = -3*y. Is -2/5 <= y?
True
Suppose 0 = 5*n + f - 74, -3*n - n + 59 = f. Let c = n - 24. Is -11 less than c?
True
Let l = 4654 + -79022/17. Is l smaller than 7?
True
Let m = 0.295 + 0.005. Suppose 3*q = 6, -3*x = -5*x - 5*q - 4. Which is bigger: x or m?
m
Let j = -12 - -7. Let v = 51 + 0. Let p = 53 - v. Which is smaller: j or p?
j
Let l(g) = 3*g**2 - 36*g - 8. Let c be l(17). Let a = 3213/13 - c. Is 1 greater than a?
True
Let x be ((-2)/(-4)*0)/1. Let y be -6*(9/(-45))/(10/(-25)). Is y less than or equal to x?
True
Let y be 6 - 19047/2691 - 2/6. Let z = y - -36/23. Is -0.7 != z?
True
Let m be -6 - (2 - 9) - -298. Which is greater: m or 300?
300
Let v(q) = -q**3 - 16*q**2 - 2*q + 26. Let u be v(-16). Is 67 at most as big as u?
False
Let b = 56 - 56. Let a be 3*(2 + -3 + b) - 18. Is a greater than or equal to -22?
True
Let r = -3 - -3. Let i be 0 - -1 - ((-159)/51 - -4). Let q = -13/34 - i. Is q > r?
False
Suppose 10 = 5*f, 0*i + 3*i + 4*f = 5. Which is smaller: i or 25?
i
Let s be 6/(-9) - 66/(-18). Suppose s*l = -l - 4. Let x = -1 - -1.3. Is x >= l?
True
Let z = 297/5 - 59. Let g = 6 + -7. Which is bigger: g or z?
z
Suppose 2*p - 104 = -11*p. Let c be 2/8 + 62/8. Suppose 0 = b + 4*m - c, 16 = 2*b - 3*m - 0*m. Is b greater than or equal to p?
True
Let j = 212 + -395. Is -184 >= j?
False
Let j = -2.6 - -2.5. Let h = -6 + 40/7. Is j at most h?
False
Suppose 0*q + 9 = 3*q. Let s be (q - 33/9)*33. Let p be (-4)/s + 228/(-44). Do -6 and p have the same value?
False
Let y = 4101 + -57391/14. Let u = y - 8/7. Which is smaller: u or 1?
u
Let s = 4 + -3.9. Let z = s - 0. Let n = -35/4 + 9. Which is bigger: z or n?
n
Suppose 0 = 4*t - 4, 4*t = -2*z - 0*t + 8. Let x(j) = -j + 2. Let a be x(z). Suppose a = -6*l + 3*l - 21. Is l < -2?
True
Suppose -1470 = 30*a + 12*a. Does -36 = a?
False
Suppose 5*a + 2*i = 0, -a + i + 7 = -0*a. Is a greater than or equal to -8?
True
Let j = -877 + 711. Is j at most as big as -165?
True
Let s be (4 + (-85)/15)*-3. Suppose -4 + 6 = -2*l, s*k + 3*l - 2 = 0. Which is smaller: 1/57 or k?
1/57
Suppose 0 = g + g + 34. Let h = g - -19. Are 6/5 and h equal?
False
Let v = 19 + -14. Let n(b) = 6*b - v*b + b. Let w be n(-4). Is -10 less than or equal to w?
True
Let x(k) = -k**3 + 8*k**2 + 8*k + 8. Let b be x(9). Suppose -w + 2*w + 2 = 0. Is w > b?
False
Let o = 23 - 22. Let t = -0.092 - 10.908. Do o and t have the same value?
False
Let i(y) = 272*y**3 + 6*y**2 + 3*y - 2. Let w be i(-1). Is w > -271?
False
Suppose 5*v = y - 40, 0*v = 4*v - y + 31. Let n = -42 - v. Are n and -33 equal?
True
Let s(h) = 7*h**2 - 115*h - 29. Let y be s(17). Which is smaller: 23 or y?
23
Let j be 7 + 52944/72 - (-4)/6. Is j smaller than 743?
False
Let t be (-28)/(-10)*(-8)/16. Suppose 5*d + 4*l = 8, 3*d - 2*l = 2*d - 4. Suppose d*n + 4 = -4*n. Which is smaller: t or n?
t
Suppose u + 22 = -4*m - 34, -2*u = -5*m - 57. Let z = m + 7. Let y be z/21*(-140)/(-15). Do -4 and y have different values?
True
Let a = -49151/43 - -1143. Let t = -1 + 1. Is a > t?
False
Let v(x) = -11 - 7*x - 33 - 12. Let u be v(-7). Is -3 not equal to u?
True
Let o = -1847 + 1659. Is o less than -192?
False
Let d be (-4)/10 + 1206/(-345) + 4. Is 1 greater than or equal to d?
True
Suppose 16*l + 22*l = 0. Do l and -6/17 have different values?
True
Let t = -1304/5 + 261. Which is bigger: t or -53?
t
Let m = 1 - 0. Let y be (-15)/(-4)*(-48)/(-126). Let k = -137/91 + y. Is m bigger than k?
True
Let c = 283.04 + -283. Which is smaller: c or -2/5?
-2/5
Let r be 2 - 2 - (-5)/(-20)*0. Do 6/17 and r have the same value?
False
Suppose 3*u + 9 = -y + 4*y, 3*u + 9 = 0. Let t(w) = -w**3 - 11*w**2 - 10*w + 9. Let z be t(-10). Let i be (-8)/(-3) + z/(-3). Which is smaller: y or i?
i
Suppose 2*u - 5 + 3 = 5*l, -5*l + 5*u = 5. Suppose l = 3*v + 2*v - 30. Is 0 at least v?
False
Suppose 0 = -77*h - 936 + 12. Let q(y) = -17*y**2 - 1. Let f be q(1). Which is bigger: f or h?
h
Let c be 262/4 + 3 - (-2)/4. Let l = 86 - c. Which is greater: 18 or l?
18
Let t = -124 - -129. Suppose t*o - 46 - 24 = 0. Which is bigger: o or 15?
15
Let p = -1.6 - -1.8. Let u = 9.5 - 1.5. Which is greater: u or p?
u
Let v = 17 + -10. Suppose 4*o = v*o - 228. Let c = -1142/15 + o. Which is smaller: -1 or c?
-1
Let c = 17 - -14. Let n = 30 - c. Which is greater: n or 2?
2
Let c = -24.57 - -25.6. Let b = c - 1. Let v be ((5 + -5)/(-5))/(15 - (7 - -6)). Do v and b have the same value?
False
Let p be ((-42)/(-15))/((-10)/15). Which is smaller: -11 or p?
-11
Let z = 248 + -269. Which is greater: z or -149/7?
z
Let c = 5/37 + 22/111. Which is bigger: c or -20.8?
c
Let f = 10.02 - 11.02. Which is smaller: f or -0.024?
f
Let z be (2 + 6/(-4))/(13/3). Which is greater: z or 0?
z
Let i = 3791/751275 - 1/9275. Which is smaller: i or 1?
i
Let j = -4 + 9. Let l = 1 - j. Let c = -0.159 + 0.059. Which is smaller: l or c?
l
Let z = 104 + -111. Let k = 9 - z. Which is smaller: 18 or k?
k
Let d = 34 + 105. Let l = d + -553/4. Let o(m) = -m**3 + 10*m**2 + 10*m + 11. Let f be o(11). Which is greater: f or l?
l
Let k be ((-18)/(-10))/((-18)/(-60)). Let s be (k/8)/(6/4). Let p be (-1)/1 + (-9)/(-15). Is p >= s?
False
Let i = 0.055 - -4.045. Let a = i - 4.2. Is 0.5 at most a?
False
Let t = -2262 + 2310. Suppose 5*p - 234 = 3*m