s v smaller than -18?
False
Let o be -379 - -433 - (-4 + (-3 - -19)). Suppose 2*m = 3*m - 42. Is o greater than or equal to m?
True
Let j = -1247.6 + 1247. Is 14 less than j?
False
Suppose 0 = -3*l + 4*l + 88. Let k = -81 - l. Is 5 at least k?
False
Let x be 8 - ((-3)/(-4) + 1053375/(-500)). Which is greater: 2113 or x?
x
Let p = 1302.3822 - 0.3822. Is p greater than or equal to 2/7?
True
Suppose -3*c + 145 = 7. Let i = 144.6 - 144.5. Which is bigger: i or c?
c
Suppose -4*n - w = 197, -168*w + 4 = -172*w. Which is smaller: n or -1?
n
Let v = 4295068420/24773 - 173377. Are v and -1 equal?
False
Let q = 11523 - 11952. Is -430 >= q?
False
Let n = 12008 + -5390. Let w = -26633/4 + n. Let z = w - -41. Which is smaller: 6 or z?
z
Suppose 0 = -3*f + 15*f + 492. Let y(c) = -c**2 - 44*c - 123. Let b be y(f). Which is greater: -0.48 or b?
b
Suppose -157 = -3*m - 13. Suppose 12 = 5*v - m. Suppose -12*k = -36 + v. Are k and 6 equal?
False
Let n = -54 + 54.8. Let b = -0.786 + n. Let w = 0.014 - b. Are w and 11 non-equal?
True
Let u = 2008.6 - 2023.6. Which is smaller: u or 1/3?
u
Let j = -18.9 + 18. Let o be 3 + -9 + 1 - 1951/(-340). Let c = o + 1/85. Is j equal to c?
False
Let x = -736 + 703. Suppose -3*y - 3 = -3*m, y - 6*y - m + 19 = 0. Suppose -y*o - 2*j - 97 = 0, -5*o - 87 = 3*j + 75. Is o equal to x?
True
Let b be (-11)/66*9 - (-15)/(-2). Let i be ((-235)/30*b)/((-165)/40). Is -17 <= i?
False
Let c = -978 + 2327. Suppose 6*f + 253 + c = 0. Is -267 at most f?
True
Let a = 14/19 - 4183/133. Is a > -32?
True
Let t(d) = 22*d**2 - d. Let j be t(1). Let f = -0.29703 + 1.29703. Do j and f have the same value?
False
Let a = -3.12 - -33.92. Let j = 22.8 - a. Which is smaller: 1.5 or j?
j
Let f(d) = 96*d - 304. Let q be f(3). Is -104/7 equal to q?
False
Let x be 45886/(-836)*(-3 + 3104/1034). Let j = -1/4598 + x. Is 0 not equal to j?
True
Let d be 30/(-135) + 2/9. Let i be d - 3 - (-6 - -2). Let v be -9 - 4 - (5 - -3)/(-2). Is i less than or equal to v?
False
Let o be 3*(2 + 9/(-54) + 1/4). Is 0.6 smaller than o?
True
Suppose -4*i - 8*i = -1326 - 5790. Is i greater than 595?
False
Let o = -477.8 - -595. Let i = 12.8 + o. Which is greater: i or -0.1?
i
Suppose 788 = 8*k - 4*k. Suppose 4*b + 247 = -k. Let m = 64 + b. Is m equal to -47?
True
Let q = 15711493628/34227 + -459038. Do q and 0 have the same value?
False
Suppose -35*z - 1396 = 11*z + 444. Is z at least -12?
False
Suppose 0 = 6*u - 3*u - 249. Suppose -u - 97 = 4*l. Which is greater: -43 or l?
-43
Let n be 3 + (-9 + -6 + 11)/2. Is n greater than or equal to -15/283?
True
Let i(z) = 4*z**2 - z + 2. Let s = -9 - -7. Let u be i(s). Suppose 1494 = 77*k + 6*k. Which is greater: u or k?
u
Let s be (-14)/(-13) + -2 + 1. Suppose 5*j - 113 - 47 = 0. Let g = -31 + j. Which is greater: g or s?
g
Let l be (-1)/20*(-155)/(-589). Let y(t) = t**3 - 2*t**2 - 2*t - 4. Let o be y(3). Is l < o?
False
Let m = -254 + 258. Let p be (m/(-10))/((-12)/130). Let t(b) = 2*b**2 - 2*b - 1. Let u be t(-1). Is u greater than p?
False
Let h be (-984)/(-20)*(-830)/83. Which is smaller: h or -494?
-494
Let j = -24851 - -24895. Which is greater: j or 102?
102
Suppose -9*n + 1392 = -3*n. Is 230 at most as big as n?
True
Let u = 488 + -416. Let s be 36/u*(0 + -2). Which is smaller: 3/112 or s?
s
Let p = 136 - 129. Suppose 2*u + 41 + p = 0. Is u greater than 0.1?
False
Suppose -150 = -4*n + n. Let d = -50 + n. Let y be d/(-1 + 3/(-1)). Is -2 != y?
True
Suppose -2*i + 85 = 4*r - 7*r, 0 = 4*i + 4*r - 180. Let g = 98 - 95. Suppose g*j + 180 = 4*l, 0*l + 2*l - 90 = 4*j. Is l smaller than i?
False
Let n = 7.56423 + 0.13577. Suppose 2*a = 3*a. Is a at least as big as n?
False
Suppose 0 = -9*b + 158 - 41. Suppose 7 - b = o. Which is greater: -0.08 or o?
-0.08
Let b = 73.19 + -72.19. Are b and -1142 non-equal?
True
Suppose 5*l + 17 = 4*t, 4 = t - l + 1. Let a be 1000/30 + t/6. Suppose 3*b - 4*x + 19 = -a, 5*x - 47 = 3*b. Which is greater: -25 or b?
b
Let y be 1737/6*122/(-305). Do y and -117 have different values?
True
Suppose 5*c = -3 - 2. Suppose 5*j = 5*p - 147 + 2, 7*j = -4*p - 148. Which is bigger: j or c?
c
Suppose 186 + 3624 = 15*s. Is s bigger than 254?
False
Let i be -10*(-1)/4 + 1/(-2). Suppose 0 = -4*x + 3*l - i, 4*x + 4*l - 6 = 6. Which is bigger: 168 or x?
168
Suppose -3*r = -41 - 4. Suppose -r*u = -14*u - 2. Suppose -a = u*a - 84. Is a at most as big as 28?
True
Let n = -8418 + 4128. Is n at least -4288?
False
Suppose 4*c - 21*c + 8587 = 14*c. Which is bigger: c or 260?
c
Let b = -571 - -570.88. Let f(s) = s**3 - 4*s**2 + 5*s - 4. Let n be f(3). Let d be n/6*(-7 + 1). Which is greater: d or b?
b
Let u(c) = 171*c + 942. Let v be u(-27). Which is smaller: v or -3674?
v
Let y = -1045598/1620879 + -28/11661. Which is bigger: -2 or y?
y
Let w = -577/322 + -3/46. Suppose 5*m - 4*z - 5 = 6, -m + 11 = -3*z. Which is greater: m or w?
m
Suppose 2*s - 1100 = 4*k - 54, -3*s = -2*k - 537. Which is bigger: k or -249?
-249
Let d = 230 + -227. Suppose -i + 2*b - 5 = 0, -b + 1 = d. Is i < -9?
False
Suppose 3*p = -3*q - 174, -3*q + 62 = -3*p + 206. Let l = q + 56. Suppose -3*b = 3, -2*j + 5*b + 5 = l*j. Are -3 and j unequal?
True
Let r be -2 - (4 - 5) - 6*-1. Let l be ((-16)/240)/(146/(-10945)) - r. Is l > -1?
True
Let h = 302.356 + 0.644. Let i = h + -304. Let l = 1553/91 - 120/7. Are i and l equal?
False
Suppose 348 = -10*f - 2472. Let q = f - -307. Is q equal to 19?
False
Suppose -1828 = -12*n - 2224. Which is greater: -39 or n?
n
Let t be 4/18 + 17/45. Suppose 4*r - 16 = 0, 5*y + 5*r - 6*r + 799 = 0. Let m = y - -161. Is m at most t?
False
Let c = -378.92 + 0.92. Let t = c - -378.06. Which is smaller: -5/4 or t?
-5/4
Let f be 9/27 - 5/(-3). Let t(n) = -21*n + 23. Let z be t(f). Is z > -73/4?
False
Let a = -4.54 - 194.46. Let g = -201 - a. Which is bigger: -6/25 or g?
-6/25
Let k = -41 - -125. Let r = -2/77 - -16/77. Which is bigger: k or r?
k
Let w = -2220 + 1932. Do -289 and w have the same value?
False
Let u(w) = w - 1. Suppose 3*z = 5*n + 4*z + 22, -4*z - 12 = n. Let f be u(n). Let q be (240/(-1960))/((-1)/7). Which is smaller: f or q?
f
Suppose -4*u + 51 = -69. Let w(y) = -2*y**2 + 5*y + 50. Let c be w(0). Suppose c = 4*q - 70. Is u equal to q?
True
Let d be (35/40*-26)/(5/(-40)). Suppose -d*k = -188*k + 102. Is k at least as big as 18?
False
Suppose -2*y - 114 = 4*k, 3*k - 51 = 3*y + 75. Which is smaller: y or -15?
y
Suppose 84*w - 1026170 - 5750 = 306368. Is -1/3 at least as big as w?
False
Suppose 2*p = -3*p - 350. Suppose -16*b + 13*b - 314 = 4*a, 3*a + 237 = -2*b. Let w = p - a. Is w smaller than 7?
False
Let n(m) = 8*m**2 + 48*m - 152 + 9*m**2 - 2*m**2 - 14*m**2. Let h be n(-51). Which is smaller: h or 1/79?
1/79
Let a = -0.008 + -0.178. Let l = -2.814 + a. Which is bigger: l or -0.14?
-0.14
Let s = 2349 - 2350. Is s >= -49/123?
False
Suppose 7*u + 23 + 40 = 0. Let w be (0 + -9)*(-5 - 8688/30). Let d = w + -2661. Is u at most d?
False
Let w = -403 - -437. Suppose 13*o + 7161 = w*o. Is o at least 340?
True
Let q = -28 + 83/3. Let y = -2.65823 + 0.05823. Which is smaller: y or q?
y
Let v(s) = -2*s + 58. Let l be v(29). Let b be (30/12)/(l + -2). Does b = -1?
False
Suppose o - 15 = -v - 7, -2*v + 36 = 4*o. Suppose 0 = 4*p - 12*w + o*w + 2, -p = -w. Let s be (1 - 3)*3/(-501). Which is greater: p or s?
s
Let c = -69 - -144. Suppose -3*y - c = 5*o, 2*o - 16 = 4*o + 4*y. Is -14 less than o?
False
Let h = 3.278 - 0.338. Let r = -1797/7 + 1795/7. Is h greater than r?
True
Suppose 0 = 195*f - 190*f + 20, -2*f - 12 = -4*s. Let x(p) = p**2 - 6*p + 3. Let o be x(6). Let i be 3/27*(2 - o). Are s and i equal?
False
Let k = -3601 + 7348. Which is smaller: 3745 or k?
3745
Suppose -161*b = -308*b + 168*b + 71610. Which is greater: b or -3407?
-3407
Let q = -0.1233 + 0.0633. Let d = -11.16 + 11. Let m = q - d. Is m at most 43?
True
Let g = -214 + 222. Let l be ((-4)/(-4) - g) + 0. Which is smaller: -4 or l?
l
Let z(i) = -i**3 + 14*i**2 + 40*i + 151. Let m be z(17). Suppose 3*a - 4*f = -113, -f = a - 0*a + 40. Is a at least m?
False
Let j = -0.52 - 49.98. Let x = -0.5 - j. Let f = x + -54. Which is smaller: f or 4/5?
f
Let q(w) = -w**3 - 69*w**2 - 6*w - 84. Let a be q(-68). Which is bigger: -4303 or a?
a
Let u = 0.04 + 1.28. Let b = u - 0.32. Which is sm