- -2.63. Let f = t - 3.99. Is 289 less than or equal to f?
False
Let c be -3*1/3 + (5 - -4). Suppose 3*l + 5 = -2*j, 4*l = 5*j - 25 - 20. Suppose j*g + c = 13*g. Which is smaller: g or -1/7?
-1/7
Let r = -31.084 - -31. Let u = 0.0421 + 261.9579. Let f = u + -261. Is r smaller than f?
True
Let u = -2 + 6. Suppose -3*i + 30 = -2*k - 6, u*k - 2*i = -80. Let s = k + 60. Which is greater: 40 or s?
40
Let d be (6/(-5))/(-1) - 14/35. Suppose 10*l - 12 = 4*g + 6*l, 3*g + 3*l - 21 = 0. Is g < d?
False
Let y be -6 + 2 - 18/(-2). Suppose -4*z + 9*z = 5*m + 10, y*m = -3*z - 26. Let l be -22*48/532 - (2 + m). Is l bigger than 1?
False
Let q(s) = -2*s**2 + 30*s + 270. Let z be q(21). Do z and 1160/61 have different values?
True
Let i = -1.6615 - 0.0385. Which is smaller: 301 or i?
i
Let h = -14 + 29/2. Suppose -1130 = 4*d - t, -148*t + 152*t = 4*d + 1100. Which is smaller: d or h?
d
Suppose -13917 + 13968 = -51*r. Let b be 1/5*(-8 + -1). Is b greater than r?
False
Suppose 47*t = 13 - 201. Let h be 2 + t/(-18) + 4/(-18). Which is bigger: h or 35?
35
Let g = 0.83 - 4.83. Let q = -46 + 47. Is q less than or equal to g?
False
Suppose 7*w = -2*w + 45. Suppose 3*s - w*s = 2. Which is greater: s or -116/7?
s
Let d = -531 + 576. Suppose 1281 = d*v - 2004. Which is greater: v or 0?
v
Let m = -38154/185 + 1770/37. Which is smaller: m or -157?
m
Suppose b + 10 = 3. Let a = 33 + -13. Let f be -2 + -3*a/15. Which is bigger: b or f?
f
Let g(k) = 10*k + 6. Let i be g(-3). Let a be ((-3)/(i/142))/((-7)/28). Let p = a + 110. Is p equal to 39?
True
Let m be (-3)/(-2)*(-8)/(-3). Suppose 6 + 2 = v - 2*r, 2*v - 2*r - 10 = 0. Suppose -l = m*l + 5, v*u + 4*l + 52 = 0. Are -24 and u equal?
True
Suppose 59*b = -114*b + 142033. Is 825 > b?
True
Let b be (8/(-5))/((-147)/(-30) - 5). Let s be 596/(-10)*(-40)/b. Which is smaller: 0.1 or s?
0.1
Let r be (-31)/30 + (12/35)/(2/7). Which is greater: -18/17 or r?
r
Let y be (-3)/(-12) + 204/16. Suppose -36 = m - y. Let s = -22 - m. Which is smaller: -3/16 or s?
-3/16
Let j be 0 + 10/(-4) + (-9747)/(-494). Let f = -3899/221 + j. Is f < 1?
True
Let q = -0.77 + -50.23. Let a = q - 43. Is -2 smaller than a?
False
Let m = 577 + -575.04. Let c = m + -2. Let s(g) = -g**2 - g + 3. Let w be s(3). Do c and w have the same value?
False
Let s = -526 - 142. Let w be 15/6*4/((-60)/3921). Let i = s - w. Which is bigger: i or -14?
-14
Suppose d + 14 = 161*j - 160*j, 5*j - d - 66 = 0. Is j < -149?
False
Let g = 90 + -282. Let f = -106 - g. Let z = f - 73. Is z at most 0.2?
False
Let s = -0.3498 - -0.397. Let h = -3.9528 - s. Is 23 greater than or equal to h?
True
Suppose 13*k + 3*k = -528. Let m = -489 - -491. Which is smaller: m or k?
k
Let x(m) = 663*m - 4564. Let w be x(6). Do -6432/11 and w have different values?
True
Let c(g) = g**2 + 42*g + 80. Let m be c(-2). Which is smaller: m or 39/106?
m
Suppose -170 = -3*t + p + p, -4*t - 3*p + 238 = 0. Suppose 5*s + 3*k = t + 70, 4*s = k + 99. Is 145/6 != s?
True
Let x = 33153 + -33152.8239. Is -2/3 > x?
False
Let n(x) = -71*x + 24. Let s be n(-2). Are 172 and s non-equal?
True
Let s = 1.65 + 0.25. Let u = -209.9 + 210. Which is smaller: s or u?
u
Suppose 0*j - 176 = -j - 2*k, 5*j = -4*k + 862. Let d = j + -170. Which is bigger: d or 3/47?
3/47
Let y = -99.5 + 38.5. Let b = 15 + 44. Let d = b + y. Is d >= 1/4?
False
Let y = -47 + 270. Suppose 4*o = -5*u + y, 9*o - 4*o = 10. Which is smaller: 41 or u?
41
Let y(s) = -s**3 + 18*s**2 - 36*s + 68. Let p be y(16). Which is smaller: -190 or p?
-190
Let r(x) = -30*x. Let s be r(1). Let h be (2/6)/((-8)/s). Let w(j) = -j + 13. Let t be w(12). Which is bigger: t or h?
h
Let p = -496588 + 1998705/4. Which is greater: -1/2 or p?
p
Let l be (-2722)/63 - (-6)/(-27). Let v(q) = q**3 + 40*q**2 - 268*q + 325. Let j be v(-46). Which is smaller: j or l?
l
Let f = 3599.741 + -3598. Let b = f - 0.041. Let n = 1.6 - b. Which is greater: n or 8?
8
Let v = -4733 - -4732. Which is greater: -2/2059 or v?
-2/2059
Let c be -1 - -4 - 4 - (-4)/1. Suppose -4*k + 141 - 453 = -c*n, 0 = -3*k + n - 229. Let v = -1.147 - -0.147. Which is bigger: k or v?
v
Let n = 32.9 - 35.11. Let i = -100.79 + n. Let d = i - -122. Which is smaller: d or -1?
-1
Let k = -39 - -73. Let u = 35 - k. Let n be (-2)/30*(3 - -5)/u. Which is smaller: -1 or n?
-1
Let i(q) = -q**2 + 9*q + 31. Let h be i(13). Let o be 7*(-3)/h*0. Is -1/815 equal to o?
False
Suppose 6*u = 2470 + 848. Let d = -552 + u. Is 37/21 <= d?
False
Suppose 2*i = -5*k + 129, -4*i - k + 0*k = -231. Let m = -50 + i. Suppose 0 = -6*g + 19 - m. Is 1 >= g?
False
Suppose 58*y + 13876 - 13934 = 0. Let o = -52 + 986/19. Which is smaller: o or y?
o
Suppose 61124*u - 61161*u + 703 = 0. Let v(o) = o**3 + 7*o**2 + 2*o - 4. Let c(p) = -p**2 - 6*p - 6. Let r be c(-6). Let m be v(r). Which is bigger: m or u?
m
Let p be 1295/222*((-68)/(-15))/2. Which is greater: 14 or p?
14
Suppose -3*d + v + 6 + 8 = 0, -3*v + 14 = 5*d. Suppose -f - 4*c = -557, -f - 1102 = -3*f - d*c. Do f and 545 have different values?
False
Let a(r) = -2*r**3 + 5*r**2 + 265*r + 149. Let p be a(-10). Suppose 5*t + 5 = -0. Let j be ((-2)/32 - t)/(-1). Which is smaller: p or j?
p
Let u = 125 + -123. Let w(v) = -3 - 2 - 4*v**3 + 6*v**u + 0*v**3 - 7*v + 3*v**3. Let x be w(4). Which is smaller: 1/45 or x?
x
Let z be 15/25 + (-2)/(-5) + 1. Let u be 10/(-3) + (-7)/(21/z). Is u != -11?
True
Let b = 42 - 39. Suppose -a - 37 = -c + 4*a, -5*a + 91 = b*c. Let z = c + -35. Is z greater than 1/4?
False
Suppose -16*y + 46 = -2*l - 13*y, y = -5*l - 81. Let t = l - -154. Which is smaller: t or 138?
t
Let v be (-10)/45 + (-1290)/27. Let d be (-36)/(-54) + 41/v. Let i be (6 - 2)*1/(-2) + 3. Which is smaller: i or d?
d
Suppose g - 5*g - 5*j = 14, 0 = -2*g - j - 4. Let s be (24/7)/(g/(-14)). Let m = 5.5 + -5.6. Are s and m non-equal?
True
Let w = 280.6 + -258. Let m = 6.9 + w. Let p = m - 10.5. Is 0.1 less than p?
True
Suppose f - 1258 = -4*t, -6*f + 11*f + 1560 = 5*t. Let l = 380 - t. Do l and 64 have different values?
True
Suppose -14*n + 10546 = -10*n + 3*a, -2*n + 3*a = -5246. Is 2632 at least n?
True
Let v = 3339 - 911545/273. Are v and -1 non-equal?
True
Let z(m) = -m**2 + 2*m + 2. Let g be z(-2). Let s be (1 - 2)/((-2)/g). Let r = -336 + 330. Is s greater than r?
True
Let u = -2272 + 2260. Is -1/269 less than or equal to u?
False
Suppose -1102*v + 1107*v = -2*k - 44, 3*v + 60 = -4*k. Is 44 greater than k?
True
Let j be (-13200)/11*77/(-14)*12/(-5). Are j and -2/7 non-equal?
True
Let s be 8/48 - ((-3249)/(-324) - -2). Is -13 greater than or equal to s?
False
Suppose 4*b - 295 + 1886 = 3*t, 0 = b - 5*t + 402. Do b and -397 have different values?
False
Let h = -20.023 + 0.023. Let f = -629.6 + 630.6. Is f smaller than h?
False
Let s = -295.69 - -294. Let r = -34.69 - -34. Let j = r - s. Which is bigger: j or 32?
32
Let x be (-15241788)/3387096 - 9/(-2). Which is smaller: x or 0?
0
Let f = -83 + 38. Let n = f - -46. Is -0.2 greater than n?
False
Let g be (-42306)/(-70) + (-1)/(-5). Suppose -5*v - h = -3025, 393*v - 389*v = 5*h + 2449. Let l = g - v. Does -1 = l?
False
Let p(u) = u**3 - 16*u**2 + u - 11. Let j be p(16). Let h = 98 - 90. Suppose h*v = j*v + 171. Does v = 58?
False
Let t be (2/(-287))/(79722/1442). Is -1 bigger than t?
False
Let w(f) be the second derivative of f**4/12 + f**3/2 - f**2/2 + 4*f. Let g be w(-7). Suppose 1602 = 83*b - 49 - 590. Are g and b nonequal?
False
Suppose 2*t = 28 - 20. Let n be (t/(-6))/(((-4)/6)/(-1)). Let a be 2 + -1 - n/1 - -6. Is a != 0?
True
Let g be (-696)/(-3915) + (-4)/(-18). Let a = 17.7 - 19. Let t = 1.5 + a. Is g less than t?
False
Let r(h) be the second derivative of h**5/20 - 7*h**4/6 + 5*h**3/2 - 9*h**2 + 7*h. Let c be r(13). Suppose 0 = -3*g + c*g. Which is smaller: -1/61 or g?
-1/61
Let n(u) = -u**3 - 36*u**2 - 33*u + 48. Let h be n(-19). Which is greater: -5463 or h?
h
Let n(f) = -277*f - 1285. Let y be n(-6). Is y greater than 380?
False
Suppose 0*r + 2*d - 64 = 4*r, 0 = -r + 2*d - 19. Let y be ((-6)/4)/(r/20). Let t be 0 + y + 2*-2. Which is smaller: 6 or t?
t
Let a = -40.81 - 0.19. Let f = 165 + -111. Let h = a + f. Which is smaller: -0.2 or h?
-0.2
Suppose 4*w + 348 = 4*l, l + w - 85 = 3*w. Suppose -h = -167 + l. Let n = h - 38. Which is smaller: 41 or n?
n