, -3*o = l + 13. Does -5 = l?
False
Let a(l) = -37*l**3 + l**2 + 2*l + 1. Let i be a(-1). Suppose -4*w - 65 = -4*k - 1, -i = -2*k + w. Let d be 3 + (-69)/k - (-2 - -1). Is 0 not equal to d?
True
Let y(n) = 2*n**2 - 2*n. Let k be y(4). Let m = k + -21. Let j be (m/(-2))/((-18)/(-12)). Is j at least as big as 1/29?
False
Suppose 0 = 22*q - 10*q - 324. Suppose 5*w - t = -1 + 6, -2*w - 5*t = -29. Do w and q have different values?
True
Suppose -32*m + 706 + 644 - 38 = 0. Which is greater: 198/5 or m?
m
Let d be 7/(42/408)*-2. Let g be 17/((-960)/d - 7). Is g smaller than 289?
False
Let p be ((-4)/(-10))/(144/596). Let n = p - 8/5. Suppose -3*h = -9*h. Which is smaller: n or h?
h
Suppose 0 = -3*r - 5 - 4. Let j be r/1 + 487/156. Let p = j - 1/26. Is 0 at least as big as p?
False
Let q = -6317 - -6317. Are q and -3/4040 equal?
False
Let l = 53/390 - -2/65. Let t = -1.6 + -2.5. Let s = 7.9 - t. Is l <= s?
True
Let o = -143 - -208. Suppose 10*r - o - 325 = 0. Let h be 6/4*800/30. Is h bigger than r?
True
Suppose 0 = -685*u + 693*u - 48. Let d be 2 + -3 - (u + (-114)/18). Which is smaller: d or 0.2?
d
Suppose -8*x - 3*x + 3*x - 18*x = 0. Is -1/10221 > x?
False
Suppose -18*y + 2544 = -15*y. Let j = y + -636. Is 212 less than or equal to j?
True
Let t = -1.04 - -0.82. Let p = 1.0677 + 0.2323. Are t and p equal?
False
Suppose 0 = 4*z - 5*z - 2*j - 33, 5*j = 10. Let w = 360 + -470. Let d = -111 - w. Which is bigger: d or z?
d
Suppose -65*c - 42 = -58*c. Let z be (3/(-15) - (-4)/320)/c. Is 1 at most z?
False
Suppose l = -4*z + 255 - 230, 5*l = -2*z - 19. Which is greater: l or 0.1?
0.1
Let o be 605574/287419 - (3 + -1). Let z = o + 2/319. Do -1 and z have the same value?
False
Let n(h) = -h**3 + 4*h**2 + 30*h + 17. Let l = 15 - 7. Let z be n(l). Is 3/89 at most z?
True
Let i be 29/3 - 8/(-24). Suppose i = -2*d + 4*d, 29 = m + 4*d. Suppose 0 = -m*u + 7*u. Which is greater: 1/2 or u?
1/2
Suppose -4*j = -j - 51. Suppose -2*o + j + 1 = 0. Suppose o = -r + 15. Which is smaller: r or 4?
4
Suppose -2*y + 12 = -5*y, 33817 = -5*s + 2*y. Let m be (-8)/30*s/(-198). Which is bigger: -10 or m?
m
Let b(k) = 3*k**2 + 9*k + 22. Let w be b(29). Are w and 2809 nonequal?
True
Let m = -3224 + 7089. Let d = 19589/5 - m. Is d smaller than 53?
True
Let y = -26256 - -26256. Let z = 7988/205 + -584/15. Which is smaller: z or y?
y
Suppose -28 = 3*i - 4*j, -j + 159 = 2*i + 152. Which is greater: i or 2/1597?
2/1597
Let s = -2/31013 - 2512015/589247. Which is smaller: s or -3?
s
Let k = 267 - 188. Let g = k + -78.83. Let a = -24.17 + g. Is -0.1 greater than a?
True
Suppose -3*x + 1512 = 4*h + 140, 2*h - 688 = -2*x. Which is smaller: h or 345?
h
Let g = -3450 - -11181. Do g and 7731 have different values?
False
Let j = -143 + 86. Let p = -60 - j. Let s = 273.82 + -274. Do s and p have different values?
True
Suppose 0 = -350*k + 4359 + 34025 - 5484. Suppose 0 = -5*d - 4*o + 484 - 9, -4*d + 380 = 4*o. Is k at most d?
True
Suppose 5*p + 0*p = 5. Let d(u) = u**3 - u**2 + 1. Let j be d(p). Let q = -297 - -1789/6. Do q and j have the same value?
False
Let b = -27.76 + 28. Let f = b - 43.24. Let q = -43.09 - f. Which is smaller: -2 or q?
-2
Suppose -2*p + 3240 = 3*q, -36 = -3*q - 24. Are 1615 and p nonequal?
True
Let h = -3542/441657 - 10/1583. Suppose -2*a + 7 = -7*a + 2*b, 7 = -3*a + 4*b. Do a and h have the same value?
False
Let t be 88/880 + (-2)/20. Which is greater: 1/10698 or t?
1/10698
Let a be (-45)/(-60) - 67/28. Let s(v) = -5*v**2 + 67*v - 27. Let p be s(13). Which is bigger: a or p?
p
Let y be (-984)/(-722420)*2/6. Is 0 not equal to y?
True
Let r = 33 - 33. Let n be (-1)/(144/(-5326)) - r. Let b = -37 + n. Which is bigger: 0 or b?
0
Let c = -69 + 55. Let i be (-2 - 18)*(c/(-12) + -1). Let j = 0 + -2. Is i at least as big as j?
False
Let c(r) = -r**2 + 2*r + 17. Let a be c(0). Suppose -24*q = -a*q - 371. Suppose -4*t + q - 21 = 0. Which is bigger: 2 or t?
t
Suppose -48 = 12*n + 48. Let r be 1/((-4)/n) + -1. Which is smaller: r or 2/1095?
2/1095
Let b = -3039 - -3176. Which is greater: 145 or b?
145
Let z = 0.61953 - 0.03953. Is 35 at most z?
False
Let h be 9/12 - (2190/150)/((-4)/5). Is h >= -183?
True
Let d = -469 - -335. Which is smaller: d or -137?
-137
Let k be (-4)/(-1) - (-2 + 3). Let u be (-256)/12 - 2/k. Suppose 53*r - 84 = 57*r. Which is smaller: r or u?
u
Let t = 73.8 + -64. Let r = -12.33 - -22.13. Let y = r - t. Which is smaller: y or 1/16?
y
Let x = -570 - -568. Which is smaller: x or -94/29?
-94/29
Let b = -75 + 76. Suppose 0 = -2*l + b + 5. Let n = l + -24. Which is bigger: -20 or n?
-20
Let t = -5.7 - -19. Let c = 12.1 - t. Which is bigger: 0.15 or c?
0.15
Let f(m) = -2281*m - 1. Let t be f(1). Let w be (-75)/(-50) - t/(-9). Let h = -252 - w. Which is smaller: -1 or h?
-1
Let y(r) = 1290*r - 288. Let h be y(7). Which is bigger: h or 8743?
8743
Let z = 63 + -38. Suppose -3*a + 2*c = 4*c - z, -3*c - 23 = -a. Suppose -a*v = -2*v. Is v at most -1/22?
False
Let o be (0 - 380/(-6)) + -11. Are o and 52 non-equal?
True
Suppose 3*h = k - 3, 0 = -h - 2*k - 0*k - 1. Is -3/985 <= h?
False
Let x(i) = 13*i**2 - 27*i - 62. Let u be x(4). Is u smaller than 94?
True
Let o = 203774764 + -23434305897/115. Let n = o + 1809. Are n and 0 nonequal?
True
Suppose -3*p - 38 = -4*i, 0 = -0*i - i + 5. Let l be (p/(-15))/(1*(-32)/(-30)). Do l and -0.2 have the same value?
False
Let p = 31923/4112 - -70/771. Which is greater: p or 8?
8
Let z = 756 - 768. Let l be (2/z)/(-16 - 285/(-18)). Do 2/727 and l have different values?
True
Let h = -9385 + 5471458/583. Is h >= -1?
True
Let s(a) be the first derivative of a**2 - 5*a - 7. Let h be s(3). Let c be ((-4)/10)/(24/(-45)*h). Is c at least as big as 0?
True
Let z = 50 - 112. Let f = 77 + z. Suppose 2*n - 4*n + 22 = -4*g, 3*g + f = 0. Is n <= 2/49?
False
Let w = 31554 - 81062232/2569. Let m = -120382/2569 - w. Let k = 47 + m. Is -1/4 <= k?
True
Let h(m) = m**2 + 11*m - 30. Let p be h(-12). Let c(l) = l**3 + 18*l**2 - l - 10. Let x be c(p). Suppose 8*s + 0 = -x. Is s < -6?
False
Suppose -2*j - 29 = -3*q - 70, 3*j - 54 = 3*q. Suppose j*k + 225 = 1200. Which is smaller: k or 77?
k
Let m(k) = -18*k**2 + 67*k - 220. Let v be m(3). Which is bigger: v or -166?
-166
Let x = 0.0653 + 0.0347. Which is bigger: x or 1531?
1531
Suppose -3*o - 4*v = 8, 9*o + 2*v + 4 = 11*o. Which is smaller: 1/6480 or o?
o
Let d = 3163831/8671 + -2035/299. Let a = -358 + d. Let l = -2/39 - 35/78. Which is smaller: l or a?
l
Suppose -4*f - 5 = 7, t - 8 = 3*f. Let o be (1/(-19) - 2354/2926)*(-14)/(-17). Which is smaller: t or o?
t
Let f be -21*((-10)/15 + 1). Let g be 50/6*44/20. Let n = g + f. Is n not equal to 11?
True
Suppose n = -3*k + 9, 2*k - 3 = -n + k. Suppose n = -8*m + 3*m + 175. Which is greater: m or 34?
m
Let s = -15 - -1. Let l be 4/s - (-390)/42. Suppose -4*u = l*u. Which is smaller: u or -2/7?
-2/7
Let o = -154.65 + 153. Let d = -14.65 - o. Which is bigger: -2 or d?
-2
Let n be 12/(-4) - -7 - 35. Let j = -59 + 29. Let l = j - n. Which is smaller: 4 or l?
l
Let u(q) = -4*q**3 - 2*q**3 + 2*q + 14 + 111746*q**2 + 5*q**3 - 111742*q**2. Suppose -2*x = 0, 3*i + x - 15 = -0*x. Let b be u(i). Which is smaller: b or -1/39?
b
Suppose 0 = -0*o - 3*o - 4*y - 59, -4*y + 91 = -3*o. Let t be (-8692)/70 + (-15)/o. Let i = t - -124. Which is greater: i or 3?
3
Let g be -21 + 840/36 - (-16)/(-3). Is -172 at most g?
True
Suppose 0 = -d - 5*y - 6 - 6, 3*d = -y + 34. Suppose d = -m + 10. Suppose -3*n = 3*c - 6, -n = 5*c - 3*c - 2. Are n and m equal?
False
Let x = -580 - -580. Is x >= 2/16803?
False
Suppose 83*u = 79*u + 196. Suppose -35 - u = -3*c. Suppose -c*m - 185 = -33*m. Is 36 at most m?
True
Let u(n) = 197*n**2 - 49*n - 98. Let p be u(-2). Which is smaller: p or 793?
p
Suppose 0 = 2*f - 3*b - 66 - 3, 5*f - 3*b = 186. Suppose 3*o - f - 3 = 0. Let h = 1.0741 + -1.2741. Which is smaller: h or o?
h
Let x = -2.5 - -3.1. Let k(w) = 99*w - 567. Let c be k(6). Is c >= x?
True
Suppose 2*u - 35 = -4*a + 3, 2*u = -2*a + 24. Let h(o) = -3*o - 2 + 15 + a. Let b be h(12). Which is greater: b or -18?
b
Let t = 1588 + -1590. Which is bigger: -48 or t?
t
Let o = 103 - -1405. Which is bigger: 1507 or o?
o
Let o = 9984.023 - 9984. Is -22 at least o?
False
Suppose 0 = 4*p + 4*j - 24 + 8, 5*p - 4 