13/(-26). Is -601 bigger than f?
False
Let i be -30*((-52)/24 - -2). Let d(q) = 35*q**2 + q. Let o be d(1). Suppose i*y = 2*y - o. Is y less than or equal to -12?
True
Let a = -53745/2156 + 75/196. Let j = a + 3444/143. Let g = -42 - -41. Is j bigger than g?
True
Let y be 2480/(-8484) + 5 + (-99)/21. Which is greater: y or 1?
1
Let l = -167 + 97. Are 3 and l equal?
False
Let r(a) be the second derivative of -a**5/20 - 5*a**4/12 - a**3 - 3*a**2/2 + 7*a. Let l be r(-4). Suppose 2*q = 7*q - l. Which is greater: q or -2?
q
Let w = 224 - 223. Which is smaller: 21 or w?
w
Let g = -8096816 - -170081882/21. Let r = 2322 - g. Which is greater: r or 0?
r
Let c = -1122 - -965. Is -1 < c?
False
Let x be (-125)/(-45) - 1 - 2/(-9). Suppose u = x*u. Suppose -s = -5*s. Is s at most u?
True
Let j = -57/2 + 133/4. Suppose 165 = 9*t - 12*t. Let f = 59 + t. Which is smaller: f or j?
f
Let c = -0.21 + 101.21. Let a = c + -101.2. Which is bigger: -11 or a?
a
Let a(d) = -2*d**3 + 23*d**2 - 47*d + 8. Let p be a(9). Does 9/8 = p?
False
Let l = -7256.14 - -7329. Let z = l - 73. Is -0.4 smaller than z?
True
Let m = -2.23 - -1.23. Is m at least -0.143?
False
Suppose 0*m - 56 = 4*m. Let j(i) = -18*i + 580. Let b be j(33). Is b at least as big as m?
True
Let c be 1 + (3 - (0 - (-18)/3)). Is -38/17 smaller than c?
True
Let j(r) = -r**3 - 3*r**2 - r - 18. Let q be j(-4). Which is bigger: q or 156?
156
Suppose -28*u = -1063 - 2017. Which is bigger: 109 or u?
u
Let n(g) = -g**2 - 7*g + 23. Let u be n(-10). Which is bigger: -37/5 or u?
u
Let q(x) = -x + 19. Let w be q(18). Let i be -1 - -3 - w*212/(-14). Is 18 at least i?
True
Suppose 0*k = -2*k + 40. Let c be 22/k - (-6)/(-4). Let a = -27/4 - -7. Are c and a unequal?
True
Let s = -405 + 460. Are s and 500/9 unequal?
True
Suppose -4*i - 5*o + 40 = -o, -2*i - 15 = -5*o. Suppose 5*f - 33 = -n, -2*n - i = -1. Let z be 20/70 + 19/f. Is z >= 4?
False
Suppose -539 = -p + 73. Let s be (p/15)/(-6) - 3. Which is bigger: s or -9?
-9
Let i(w) = 8*w**2 + 3*w - 2. Let o be i(2). Let c be 190/o + -6 - (-2)/4. Does c = -1?
False
Suppose -39 = -5*x + 281. Suppose -3*i = -13 + x. Is -18 less than i?
True
Let i = -6.95 + -0.05. Let m be 4/6 + (-51)/36. Is m greater than or equal to i?
True
Let v = -14.26 + 0.26. Let l = 23.3 + -23.4. Is l equal to v?
False
Suppose 0 = -468*u + 482*u - 5418. Is 386 <= u?
True
Let y be (-1)/(-6) + 7/((-105)/10). Is 364 smaller than y?
False
Suppose 0*z = z + 3. Let l = 27 + -32. Is z < l?
False
Let b = 83 - 83.62. Let z = b + 0.43. Which is bigger: z or -1/4?
z
Suppose -5*w - 5*f = -10, -3*f + 4*f = -3*w. Which is smaller: 4 or w?
w
Let m be (280/(-16))/(2/12). Let f be (-4)/1 - m/27. Is f <= 2?
True
Suppose 3*c - 93 = -3*k, -9*c + 16 = -8*c - 2*k. Suppose -5*o = -t - 64 + 15, 2*o - c = 2*t. Is 6 less than o?
True
Suppose 5*l + 25 = 3*b, 5*b - 5*l = -15 + 70. Let q be 10/b + 118/(-42). Let a(f) = -f**2 - 16*f - 49. Let u be a(-12). Which is smaller: q or u?
q
Let n = -159 - -161. Is 1.3 greater than n?
False
Let a(g) = -g**3 + 5*g**2 + 12*g + 11. Let d be a(5). Is d equal to 0.1?
False
Suppose -5*y + 45 + 255 = 0. Let u be (-6)/(-10) - y/(-25). Suppose 4*w = x + 20, -u*x - 3*w + 15 = x. Which is greater: -2/21 or x?
x
Suppose 3*f - 4*r = -37, 5*r + 0 = -3*f - 1. Let w = -373 + 373.1. Which is bigger: w or f?
w
Let d = -783/4 + 196. Which is bigger: 0.069 or d?
d
Suppose -2*a + 14*q = 10*q - 96, 5*a - 4*q - 258 = 0. Are -2/5 and a equal?
False
Let x(m) = 2*m**2 - 14*m - 15. Let w be x(8). Let q = 0.989 - 1. Is q at most w?
True
Let r = -26 - -25. Which is smaller: r or -41?
-41
Let w = -5 + 4.8. Let f = 18 - 15. Which is smaller: f or w?
w
Let q be (-143)/(-3) + 10 + 406/(-42). Is 50 less than q?
False
Let k(v) = -2*v**2 + 5*v - 1. Let s be k(4). Which is smaller: -14 or s?
-14
Let j be (99/(-2))/((-12)/112). Which is bigger: j or 461?
j
Suppose 5*b = -0*i - 4*i - 30, 20 = -3*b - 2*i. Let z be ((-3)/(-86))/((-15)/b). Is z greater than -1?
True
Let n = -137 - -145. Is 4 < n?
True
Let n = -539 - -432. Is 0.2 greater than or equal to n?
True
Suppose 0 = -62*s + 42*s - 1000. Which is bigger: -53 or s?
s
Let t = 24 + -20. Suppose -2*y - t = -y, -2*x - 2*y - 18 = 0. Is -4 less than or equal to x?
False
Let k be 0 + -1 + 0 + 1. Suppose 29 = 3*v - 5*a, -3*a = -5*v + 32 + 11. Let q be (-4)/(-34)*(v + -7). Is k at least as big as q?
False
Let k be (-8)/10*(-8 - 106/(-12)). Is k != 0.13?
True
Let v(o) = o**3 - 10*o**2 + 10*o - 5. Let z be v(9). Suppose 3*g - 4*g + z*l = -20, 2*l + 64 = 2*g. Let n be g/20 - (2 + 0). Which is smaller: -2/5 or n?
-2/5
Let u = 6 - 8. Let i = -8 + -3. Let r(s) = s**2 + 12*s + 6. Let v be r(i). Is u at most v?
False
Let q be (15 - 0)/(2*-7). Let v = q - -4/7. Let x = 104 - 103. Does x = v?
False
Suppose -4*i = 5*w - 5*i - 3, -w - 5*i = -11. Let n(t) = t**2 - 3*t - 7. Let h be n(5). Suppose h*b - 3*k - 9 = 0, 2*b + b = k + 3. Is b not equal to w?
True
Suppose 0 = -0*h + h. Suppose h = -2*d + d + 6. Let f be 2/(-4) + 3/d. Is -4/9 < f?
True
Suppose -16*s = 312 + 152. Let u(r) = 4*r - 5. Let t be u(-6). Is s greater than or equal to t?
True
Let p = -66.9 - -73. Let n = p + -6. Is n smaller than -20?
False
Let b = 14390 + -14322. Let l = -0.9 - 0.1. Which is bigger: l or b?
b
Let j be 3/(-9) - (-74)/6. Suppose b = -b + j. Let a = -10 + b. Which is greater: 0 or a?
0
Let l be 0 + (1 - (1 + -3 - 172)). Suppose -6*s = l + 5. Which is smaller: s or -29?
s
Let k(l) = -l**2 - l - 3. Let y be k(4). Let f be y/(-7) - 12/42. Suppose 2*j = -f + 1. Do j and -8 have different values?
True
Suppose -2*h + b = -1037, -2*h + 76*b + 1007 = 81*b. Are 516 and h non-equal?
False
Let h = -4.766 - 0.234. Let k = -0.57 - -0.6. Are k and h equal?
False
Let g be (0/1 - -262)/2. Let m = 653/5 - g. Which is greater: m or -12?
m
Let s = -12.1 + 0.1. Let n = s + 12. Let y = -22 + 26. Is y != n?
True
Let w be (-2)/8 + 182/(-8). Let n be 0/1 + (-48)/2. Which is smaller: n or w?
n
Suppose 1464 = -39*w + 333. Are -44 and w nonequal?
True
Let h = -767/4 - -191. Is h bigger than -1/36?
False
Let h = 449 + -450. Is h equal to -231?
False
Let q(f) = f**2 + 7*f - 7. Let a be q(-8). Suppose -2*z = p + 4, 0 = 3*p - 2*z - 0*z - 4. Suppose 4*s + 4*x = p, -3 = -5*x + 2. Which is smaller: s or a?
s
Let j(l) = -5*l + 72. Let o be j(-12). Suppose -5*k + 492 = o. Is 72 greater than or equal to k?
True
Let z = 109362/5 + -21875. Let j = -47 - -233/5. Are z and j nonequal?
True
Let c = -88 - -167. Is 82 > c?
True
Let x = 24 - 26. Let a be 9/108 + x/8. Is a equal to 1?
False
Let p = 41.4 + -77.4. Which is greater: 0.6 or p?
0.6
Let k be 0 - ((-34)/(-12) - 3). Let r = -1/15 + k. Let n be 4*1/(-2) - -1. Which is smaller: n or r?
n
Let c = -223 + 223. Which is greater: -6/247 or c?
c
Let g = 44 - 44.33. Let t = -0.63 - g. Let x = 855/8 - 107. Is x bigger than t?
True
Let v = 29 - 25. Let x(h) = 5*h + 13. Let z be x(v). Is z greater than 32?
True
Suppose -4*x + x - 99 = 5*b, 0 = 5*b - 4*x + 78. Let u(r) = 65*r**2 - r - 1. Let y be u(1). Let p = -80 + y. Is b >= p?
False
Let p be (-3034)/333*4/(-2). Which is smaller: 18 or p?
18
Suppose -4*n + 4*k - 15 + 7 = 0, -k = n - 4. Are n and -1/247 non-equal?
True
Let q be ((-5)/(-50))/(25/4). Suppose -2*k = -3*l - 1, 0 = 5*l + k - 1 - 6. Which is smaller: l or q?
q
Let c be 22 + -17 - (-650)/2. Is 330 >= c?
True
Let o = -402 - -238. Is 0 > o?
True
Let l be 132*(-2 + 3 + (-10)/15). Which is smaller: l or 46?
l
Let y = -9.676 - 0.324. Which is greater: y or -0.1?
-0.1
Let a be 0/(0/(-4) + 1). Which is smaller: 2 or a?
a
Suppose 45*j - 4*t = 44*j - 24, -j = 2*t - 6. Is j greater than or equal to 5?
False
Let d = 68 + -69. Let c = -5 - -2. Let g be c/3 + 6/15. Which is bigger: d or g?
g
Let f be -2*((-1 - 0) + (-20)/(-16)). Let z(b) = -b - 10. Let s be z(-3). Let c = -9 - s. Is c greater than or equal to f?
False
Let h = 6.8 + 2.2. Let c = 11 + -4. Let r = h - c. Which is bigger: r or -3?
r
Let q be 1 + (9 - (-3 + 2)). Suppose 23*c - 80 = 13*c. Is c greater than or equal to q?
False
Let m = -1322 - -1325. Is -7/34 less than or equal to m?
True
Suppose 7*h - 6*h - 4 = 0. Suppose -s - 6 = -h*s. Suppose s*c = -1 + 5. Is 1 equal to c?
False
Let s = -37.8 - -37.6. Which is smaller: s or 0.005?
s
Suppose 0 = 5*i - 4*i. 