Let s be 0 - (5 - -118)/(-1 - 0). Is s at least v?
True
Let d be (30/(-75))/(103/5). Suppose 3*y + 12 = 27. Suppose -4*i = 4*q + y - 13, 5 = -2*i + q. Is i bigger than d?
False
Let z be (2/3)/(14/(-105)) + (-51527)/(-10319). Is 0 > z?
True
Let h = 9713 - 9713. Is -9281 equal to h?
False
Let q be (-2)/((-2)/12 + (-38549)/42). Let y be 0/(-2) + 1 + -5 + 4. Which is bigger: q or y?
q
Let i = -51 - -53. Suppose 2*n - 6 = -i*s, -11 = -5*n - 3*s + 6. Let d be (0/(n + 2))/(0 + 2). Which is smaller: 38 or d?
d
Let g = 16 - 13. Let l be g/4*28/7. Suppose 0 = -3*r - l*o + 8*o + 94, -5*o = -20. Is 38 <= r?
True
Let p = 0.2962 + -6.2962. Which is bigger: p or -2.4?
-2.4
Let l = -52.01 - -51.71. Do -1056 and l have the same value?
False
Let g be (-63)/(-15) - 12/(-15). Suppose 12 = d - 0*d - 3*u, -g*u - 28 = d. Let m(v) = 2*v - 2. Let n be m(d). Is -6 smaller than n?
False
Let p = -197 + 189. Let i be (2025/12)/(-3) - p/32. Which is bigger: -57 or i?
i
Let n be ((-6668)/(-14))/2 - 63/63. Let f = -237 + n. Suppose 2*u + 0 = 2. Are f and u non-equal?
True
Let p = -99753 + 704266/7. Which is bigger: 856 or p?
p
Let y = 27871 - 27872. Which is bigger: 54/485 or y?
54/485
Let j be ((-4)/(-6))/((-1)/(-3)). Let v(h) = 64*h**j - 4 - 5*h - 55*h**2 - 3. Let a be v(-2). Are 40 and a equal?
False
Let g be 18/42*(8 - 1). Suppose -2*j = -2*i + 1 + 7, -3*i - g*j = -12. Let f = i + -5. Is f at most as big as -1/62?
True
Suppose 0 = z + 4*z + 15, 3*v = -4*z + 4179. Is 1397 not equal to v?
False
Let h be (-3)/(-8) - 1622/16. Suppose -5*c = -5*y - 13730, 0*y - 8248 = -3*c - 2*y. Let x be (-3)/(81/c) - (-4)/(-18). Is h > x?
True
Let s = 32 + -28. Suppose v + 12 = -p - 4*p, -5*p = 2*v + s. Suppose 0 = 12*o - v*o - 8. Is o less than 16?
True
Suppose 29*o - 174*o = -2197 - 2153. Is o >= 634/21?
False
Suppose -2*r - 3*r - 25 = 0. Let p = 23645 - 23653. Does r = p?
False
Let d = -53374/33 + 4772/3. Which is bigger: -27 or d?
d
Let g = -8.078 + 8.103. Is -246 greater than or equal to g?
False
Let a = 25 + 8. Suppose 3*z + 15 = -a. Let l(t) = -t**2 - 15*t + 5. Let x be l(z). Is x at least as big as -12?
True
Let k be (0/(20/5) - -5) + 262. Let y = k + -266. Which is smaller: -2/63 or y?
-2/63
Let a = 13549 + -14027. Is a less than or equal to -477?
True
Let z = 23 - 3. Let q be ((-16)/z)/(1/5). Let f = 3432 - 3437. Is f at least as big as q?
False
Suppose -2*c - 2*c + 764 = 0. Suppose -730 = -67*n + 12067. Is c at most as big as n?
True
Suppose -5*d = 2*l - 15691, -5*d + 20650 - 4950 = 5*l. Is 3139 at most d?
False
Suppose -6 = -4*q - 2*g, 92*g + 29 = 3*q + 97*g. Is -74/115 at most q?
False
Suppose 2*x + y + 645 = 184, 3*y + 228 = -x. Let s be 76 - (x/45 + (-2)/(-15)). Is s != -2?
True
Let p be 2/6 - 10/6. Let b = -3614.777 + 3613. Let q = b - -1.857. Are p and q equal?
False
Let u = 156.51 - -1.49. Let x = u - 157.9. Which is greater: 72 or x?
72
Let z = -954 - -1846. Let w be 76/2109*99006/4. Let a = w - z. Is a greater than -0.1?
True
Let a(k) = -398*k - 5138. Let b be a(-13). Do b and 1 have the same value?
False
Suppose 3*t + 5 + 12 = 4*t. Is 1/36 smaller than t?
True
Let w = -16.4 + -4.6. Let j = 1247.08 - 1268. Let h = w - j. Is 0.1 at most as big as h?
False
Let j = -0.285 - 170.715. Let a = j - -170.72. Which is smaller: 4 or a?
a
Suppose -2*o - 3*r = -17, 4*r - 28 = 3*o - 11. Is o <= 10/367?
False
Suppose 2*g - 48 = 5*c - 7*c, g - 5*c - 36 = 0. Let w(s) = s. Let i be w(2). Suppose i*h + g = 26. Is 2/39 at least as big as h?
True
Suppose 5*r + 2*y + 8 = 32, 8 = 4*y. Suppose 3*x - 2 = x, 7 = -r*j - x. Which is bigger: 34 or j?
34
Suppose -4*f - 201 = -25. Let c = 45 + f. Let m = c - 27. Which is smaller: m or -2?
m
Suppose p - 698 = -3*f - 703, 2*f = p. Which is smaller: 174.4 or p?
p
Let l = -102442 - -102383. Suppose i + 122 = -i. Which is smaller: l or i?
i
Let w(f) = 3*f + 9. Let t be w(-4). Let l be ((-4)/t)/(8/(-24)). Let v be 39/(-6) - l - -2. Is -20 equal to v?
False
Let l be -10 + 0*1/2. Let w be 4 - (2/1)/(30/75). Let a be ((-1)/5 + 1)*(w - 9). Which is smaller: l or a?
l
Let i(v) = v**2 - 2*v - 21. Let w be i(9). Let c = w + -38. Suppose 3*n - 1 = d, -4 = -4*n - 2*d + c. Is n < 1/30?
False
Let h(m) = 77*m + 230. Let d be h(-3). Are d and 18/119 equal?
False
Let u = 2356.44 + -2316. Let j = u - 40. Let l = j - 0.24. Is 0.11 at least l?
False
Let j = 8686/7 + -1241. Let x = 0.65 - 0.25. Is j less than or equal to x?
True
Suppose 3*b + 4 = 22. Suppose -1 - 5 = b*q. Let t be (-175)/(-310) - (q - 6/(-4)). Which is smaller: -1 or t?
-1
Let u = 847 + 428. Does 1274 = u?
False
Let s = -2592 - -2566. Let l = -14 + 40. Let i = l + s. Which is greater: i or 1?
1
Let g(w) = w**3 + w**2 + 12*w + 23. Let y be 28/(-12) + -1 + 8/6. Let l be g(y). Does -40/7 = l?
False
Let m(a) = -a**3 + 10*a**2 - 14*a + 10. Let x be m(8). Let n(d) = -9*d**3 + 3*d**2 + d - 1. Let o be n(-1). Suppose 0 = o*g - 5*g - 130. Is x greater than g?
False
Let z = 23131 + -23130.9. Which is smaller: z or -14509?
-14509
Let m = -398 - -392. Let d be (-5 + -400)/5 - m. Is -75 less than d?
False
Suppose -3*z + 5*z = 0. Suppose 2*k + 4*k + 78 = z. Let c(q) = -q**2 - 12*q + 13. Let o be c(k). Is o > -1?
True
Let o(k) = 76*k + 1603. Let q be o(-21). Let y(c) = -c**3 + 2*c**2 - 1. Let f be y(-1). Suppose -11 = -2*z + 2*n + 7, 0 = z + f*n. Which is smaller: z or q?
z
Let o(h) = 222*h + 4898. Let m be o(-22). Let c = -9 - -22. Suppose -c = s - m*s. Which is smaller: 1/13 or s?
1/13
Let a = -317.8 + 311. Let j = -12.8 - a. Is j smaller than 3?
True
Let v = -794 + 793. Do -253 and v have the same value?
False
Suppose 0 = -11*o + 112 - 57. Suppose -o*y + 81 = -4*h, -h + 0*h - 27 = y. Is -32 at most h?
True
Let c(i) = i**2 + 9*i - 1. Let u be c(-8). Let o = -58 + 62. Let q be 174/(-18) + o - -5. Is u greater than or equal to q?
False
Suppose 5*i + 9 = -3*l - 11, -4*l - i = 4. Let u be (l - 2/(-4))*6. Suppose 0*c - c + 108 = -u*z, 4*z + 144 = c. Which is smaller: z or -37?
-37
Suppose 11*w - 71257 + 156958 = 0. Is w != -7790?
True
Let c be (-107 - 1)/9 + 2. Let o = -5 - -10. Suppose p + o*j = -17, -3*j = -0 + 3. Which is greater: p or c?
c
Let s be (85 - 95)*(-68 - 1*15/(-5)). Which is smaller: 672 or s?
s
Let f be (0 - (-350)/(-352)) + 1. Suppose 0 = 5*q + 4*m - 25, -m = -6*q + 2*q - 1. Is q greater than or equal to f?
True
Let v be 37 - 11 - 250/10. Is -1/6664 bigger than v?
False
Suppose -2*q = 3*c - 5*q + 252, -4*c - q = 351. Let n be 9/(-6) + c*44/(-8). Which is greater: 476 or n?
n
Let v = -46 - -66. Let y be (93/6 - -1)/(20/40). Let w be (y/(-528))/((-1)/4). Is v less than or equal to w?
False
Let b be 1/(-9) + (-2290)/(-22230). Let f(s) = -327 + 4*s**3 + 9*s**2 + 335 - 3*s**3 + s. Let a be f(-9). Which is greater: a or b?
b
Suppose -9213 = -52*q - 33393. Is q greater than -465?
False
Let g = 29 + -66. Suppose 0 = -462*q + 484*q + 836. Let d = g - q. Is 1 <= d?
True
Let h = -92.9432 + -0.0568. Let c = 92.94 + h. Which is smaller: 2/73 or c?
c
Let f be 10348 + (-40)/(4/1)*43/(-86). Which is bigger: f or 10352?
f
Let u = -22685 + 22970. Is -1/19 at most as big as u?
True
Let g be (90 - 0)*((-131)/21 - (-108)/189). Is -510 smaller than g?
False
Let g = 181.9 + -8.9. Let r = -171 + g. Is r less than or equal to -14?
False
Let y(t) = t**3 - 2*t**2 - 4*t. Let b be y(3). Let w(x) = x**2 - 12*x - 217. Let s = -129 - -151. Let r be w(s). Are b and r nonequal?
True
Suppose -667 - 1799 = -6*f. Let m be (f/15 + -7)/((-3)/(-10)). Let k be (m/6)/((-12)/36). Is k greater than or equal to -34?
True
Let t(f) = -204*f - 164. Let r be t(-9). Is 1672 <= r?
True
Let r(h) be the second derivative of h**5/5 - 5*h**3/6 + 2*h**2 + 3*h + 1. Let l be r(2). Is 3 smaller than l?
True
Let y = 11166 + -13489. Which is smaller: -2321 or y?
y
Suppose 0 = 2*h + 5*m - 8, -4*h + 16*m = 13*m + 10. Is h > -11/347?
False
Let o = 265.4 - -17.6. Let g be (-25)/10*((-192)/(-105))/16. Which is smaller: o or g?
g
Let r = 153 + -151. Let s be r/7 - 120/245. Which is bigger: s or -1?
s
Let t be ((-1)/1698)/(4/(-16)). Let p = -1078/22923 - t. Which is smaller: 0 or p?
p
Suppose 4*b - 7 - 7 = 3*v, 0 = -3*b + 5*v + 16. Let n(u) = 7*u**2 - u + 6. Let z be n(5). Let k be b/(-11) + 54/z. Is k at least as big as -1?
True
Let n = -5157301/715 + 7213. Let i be (1