 + 12, p*m + 7 = -a. Is a less than or equal to 2/21?
False
Let s be 10/25170*-1*(2 - 8). Is 0 less than or equal to s?
True
Suppose 3*r - 4*w + 1127 = 0, -r - 201 = -4*w + 172. Is -376 at least as big as r?
True
Let s be (-4)/((-12)/(-9)) - -81. Let d = s - 1480/19. Is d equal to 0?
False
Let d = 80 + -144. Let y = d - -66. Is y < -0.03?
False
Suppose -4*z + 3*z - 61 = f, -52 = f + 4*z. Let i = f - -96. Is i equal to 31?
False
Let x = 11.4 - -2.6. Let w = 13.58 - x. Let t = w + 0.27. Is t smaller than 1?
True
Let v(r) = -r**3 + 39*r**2 - 39*r - 6. Let j be v(38). Which is greater: -45 or j?
j
Suppose 0 = i - 21 - 31. Which is greater: i or 53?
53
Let r(s) = s + 2. Let d(u) = -2*u - 3. Let q(l) = -3*d(l) - 5*r(l). Let y be q(-8). Which is bigger: -2 or y?
-2
Let d be (-33)/44 + (-2)/8. Let m be 6/(-27) + (-88)/(-342). Are m and d unequal?
True
Let o(p) = -p**2 - 11*p - 3. Let z(j) = j**2 + 11*j + 3. Let m(a) = 2*o(a) + 3*z(a). Let q be m(-12). Let t be (-24)/q*(-2)/(-8). Is -0.3 at most t?
False
Let a = 67 + -62. Suppose 2*p - 3*s + 21 + 4 = 0, -a*p = 3*s + 73. Is -14 != p?
False
Let s be 7046/(-338) + 2/(-13). Is -21 less than s?
False
Let l = -274 - -236. Is l equal to -39?
False
Let p = -40 + 42. Suppose -2*v = -4*g + 38 + 8, -3*v = p*g - 19. Is 11 less than or equal to g?
True
Let z(j) = j**2 - 3*j - 18. Let k be z(8). Let s(l) = -4*l + 1. Let m be s(-5). Which is greater: k or m?
k
Let t be 1437213/(-9870) - (9/(-10) + 1). Which is bigger: -147 or t?
t
Suppose 5*l - 2 = 5*o + 3, -3*l - 4*o = -17. Suppose b - l*b = -20. Let s(q) = -q**2 + 11*q - 10. Let x be s(b). Which is bigger: x or 2/25?
2/25
Suppose s = -s + 2*u + 814, -3*s = -u - 1223. Which is smaller: s or 409?
s
Let n(k) = -116*k**3 - 3*k**2 + 1. Let a be n(2). Let l be (-4)/42*a - -3. Let r = 93 - l. Which is greater: 1 or r?
1
Let m = 14.6 - 0.6. Let v = -73 + 72. Which is smaller: v or m?
v
Let p be (-93)/(-9) + (-7)/(147/28). Is 4 equal to p?
False
Let a = -1489 + 1517.99. Let k = -29 + a. Which is greater: -1/2 or k?
k
Let w = 2 - 0. Suppose -3*p - w - 1 = 0. Let x(y) = 4*y**2 - y - 1. Let u be x(p). Is u less than or equal to 0.3?
False
Let v = 113 + -110. Suppose 0 = -f - 2*p + 6, 14 = -3*f + v*p - 4. Which is greater: -1 or f?
-1
Let z = 73.4 + -295.4. Is z equal to -0.1?
False
Let u = 9 + -16. Let n = u - -11. Suppose v - 7 = 2*x, 4*x + 3 = v - 8. Which is bigger: v or n?
n
Suppose -2*t = 3*q - 221, -2*q + 316 = -5*t + 878. Let v(z) = -6*z**2 + 587*z + 209. Let h be v(98). Is t less than or equal to h?
False
Let y = 0.172 - 0.372. Suppose 3*d = -2*f + 17, 0 = 4*f - 2*d - 3 - 7. Which is bigger: f or y?
f
Let x = -388.7 + 389. Are -61 and x unequal?
True
Let h = -163/4 - -5387/132. Let a be -2*(12 - (-322)/(-28)). Which is smaller: h or a?
a
Suppose -b + 0*b = 11. Suppose a = 5*s + 15, -a = -4*s + 9 - 19. Does b = a?
False
Let z = -8.9 - -8.8. Which is greater: 139 or z?
139
Suppose f = -4*b - 14, 5*f = -0*b - 2*b + 2. Let o be (13/6 - f)*168/(-30). Is -2 <= o?
True
Suppose -4*a - 8 = 0, 4*y + 2*a = 1 + 3. Let u be -3 + (1 - y)*-8. Suppose -d = -u*d. Are -1/11 and d non-equal?
True
Let f(o) = -2*o**2 + o. Let m be f(1). Let u be (0 - m)/(1/116*4). Do 29 and u have the same value?
True
Let c = 0.07 - 0.12. Suppose 0 = -2*p + 4*h - 8, 22 - 3 = -4*p + 5*h. Is c less than p?
False
Let p = 845 - 884. Which is greater: p or -301/8?
-301/8
Let k be ((-1056)/(-16940))/((-3)/(30/4)). Are -1 and k non-equal?
True
Let r be 210/7 - (-2)/(-2). Suppose -4*x - r = -3*n, -4*n = x + x + 20. Let v = 9 + x. Is 2/5 smaller than v?
True
Let g = 62.8 - 63. Suppose 5*k = -3*b - 61, 3*k + 3*b - 2*b = -39. Let h be 8/12 - k/(-30). Which is greater: g or h?
h
Let j be (-18)/24 + 548/688. Which is smaller: j or 0?
0
Let o be ((-6)/(-567))/(3/7). Let u = 106/81 + o. Let k = 2.49 - 0.49. Which is smaller: u or k?
u
Let a = 47 - 43.92. Let l = a + -3. Let n = -4.92 - l. Which is bigger: -0.1 or n?
-0.1
Suppose 0 = 3*y + 4*m - 116, -5*m = -y - y + 85. Let c = y - 40. Do 10/17 and c have different values?
True
Let o(n) = -n**3 - 9*n**2 - 10*n - 10. Let t be o(-8). Suppose 50 - t = 4*v. Is 11 != v?
False
Suppose -2*a - 5 = 5*p, -2*a = a - 2*p - 2. Let y = -3/4691 - 9319/98511. Is y greater than a?
False
Suppose -2*g + 0 = l + 2, 0 = -g - 2. Suppose l*d - x - 5 = 0, -2*d + 0*d = -5*x + 15. Suppose 2*w = -0*w + 3*r + 3, w + d*r = -18. Is -0.1 at most w?
False
Let t be ((-2)/(-1))/(2/7). Let c be (3 - 6)*1/t. Suppose 3*y = -4*u - 17, 5*y + 5*u - 2*u + 10 = 0. Is y >= c?
True
Let x be (-24)/40 - (-82)/170. Let y = 99/697 + x. Which is smaller: y or 0?
0
Let c = 34 + -65. Let h = -34 - c. Is 4/3 at least h?
True
Suppose -3*h = -2*y - 35, -3*h - 4*y + 29 = 2*h. Let z be (-115)/15 + (-3)/h. Which is greater: -7 or z?
-7
Suppose 2*n + 3*n + 5*k - 105 = 0, 2*n - 54 = -5*k. Let s = n - 24. Which is smaller: s or -0.3?
s
Suppose -5*p = -51 - 19. Let h be 69/(-168) + 4/p. Let d(t) = t**2 - 5*t + 1. Let y be d(5). Is h <= y?
True
Let w = 0 - -5. Suppose 19*t - 5 = 24*t. Let y be -2*3*t/(-6). Which is greater: y or w?
w
Suppose 0*s = 3*n + 2*s + 22, n - 3*s - 11 = 0. Let w be (10/4)/(2/n). Let r(p) = -p - 16. Let m be r(w). Which is bigger: -13 or m?
m
Let w = 3/5875 - 1180908/64625. Which is greater: w or -19?
w
Let k = 0.19 + -18.19. Let m = k + 15. Let p = m + 3. Is p at most as big as 1/4?
True
Let y = -387 + 387. Which is smaller: 1/1001 or y?
y
Let l = -139 + 2006. Is 1868 >= l?
True
Suppose 2*l = -3*c - 2*l + 43, l = 5*c - 87. Is c greater than 0?
True
Let r = 694/15 + -46. Suppose 7*x = 1 + 6. Which is smaller: x or r?
r
Let o be -3 - (-2 - 1) - 0. Suppose -5*k + 32 - 12 = 0. Suppose o = 4*p + k. Which is greater: p or -2/13?
-2/13
Let s be ((-1)/(-3))/(65/(-195)). Which is bigger: s or 28/69?
28/69
Suppose 0*n + n = -2*m + 8, 5*m - 26 = -4*n. Let d(c) = 2*c**2 - 2*c - 7. Let f be d(3). Suppose -l = -4*s + f, 3*l + 5 = s - l. Is m not equal to s?
True
Suppose -4*l = g - 210, 0 = -4*g + 5*l + 115 + 620. Is 190 != g?
False
Suppose -7*w + 9 + 96 = 0. Which is greater: w or 110/7?
110/7
Let c = 12 + -12. Suppose -11*o + 14*o + 3 = c. Is o equal to 0?
False
Let o = -45 + 38. Suppose -3*n - 3 = -0*n, -5*n = -2*s + 41. Let a = o + s. Which is bigger: a or 12?
12
Let c be (-3 - (38 - -4)) + 3 + 0. Let a be c*((-20)/25)/((-6)/5). Which is smaller: a or 0?
a
Let p(m) = m**2 - 7*m + 3. Let x = -38 + 44. Let q be p(x). Is -8/3 not equal to q?
True
Suppose 5*r = 4*r - 5. Let n = -6 + 48. Let o be 78/(-21) + (-12)/n. Is o greater than r?
True
Let x = 222 + -223. Is 4.97 at most as big as x?
False
Let c = -978 + 888. Is c greater than or equal to -365/4?
True
Let p = -1.336 - 0.044. Is -7 greater than or equal to p?
False
Let x be ((-1)/3)/(1/15). Let t(i) = -i**3 - 6*i**2 - 5*i + 5. Let a be t(x). Suppose -5*g + 12 = -4*h, -a*h + 3*h = 6. Which is smaller: 1/18 or g?
g
Let b = -429 + 2149/5. Is b at least as big as -0.17?
True
Let u = 1641 - 1395. Which is smaller: 244 or u?
244
Suppose -51*u = -53*u + 4. Suppose 3*l - 1 = 4*o, 4*o + u + 3 = -l. Let c = 17941/17 - 1055. Which is bigger: o or c?
c
Let x = -5.54 + 6.54. Which is greater: -178/11 or x?
x
Let q be 1 - (-2 + -5 + 3) - 5. Which is smaller: 18/37 or q?
q
Let x(s) = s**3 + 6*s**2 - s + 4. Let y be x(-6). Suppose -5*q + y = -5*d, -2*q + 12 = 4*d - 2*d. Let p(b) = 5*b - 2. Let h be p(d). Is h bigger than 7?
True
Let r(s) = s**2 - 14*s + 11. Suppose 2*t - 2 = 24. Let h be r(t). Which is bigger: 2 or h?
2
Let l = 126 - 99. Let r = -77 - -52. Let a = l + r. Which is greater: a or -2/5?
a
Let s = 9334 + -9339.817. Let d = 5.8 + s. Which is smaller: -0.1 or d?
-0.1
Let y be 3 + 46/(-14) + 4428/63. Is y less than or equal to 70?
True
Suppose -405 = -21*t + 16*t - 3*r, t - r = 73. Which is smaller: 79 or t?
t
Let c = 2869/9 + -319. Which is bigger: c or 159?
159
Let g(d) = 156053*d**3 - 4*d**2 + 3*d - 2. Let j be g(2). Let w = j + -38690200/31. Let q = w + -341. Is q at least as big as 0?
True
Suppose 4*q - 10 = -5*s, q - 3*s = s + 13. Let l be 3/q + (-658)/280. Which is bigger: l or -3?
l
Let m = -11.2397 - -0.2097. Let f = m + 11. Let x = 164 - 1150/7. Which is bigger: f or x?
f
Let s = 4/179 - -843/2327. Is 0 less than s?
True
Let a(t) = 4 + 0*t + 11 - 2*t + 3*t. Let