 - 28263. Let d = 0.1 - 1.1. Let v = -1 + d. Is v bigger than q?
False
Let o be (-1242)/(-308) - (-675)/(-3150). Is -2/129 at least as big as o?
False
Let n = -3.21 + -0.69. Let z = n - -4.6. Suppose -5*d + 31 = 4*g, -4*g - 16 + 41 = 3*d. Are g and z nonequal?
True
Suppose 6*q - 28 - 26 = 0. Suppose 3*d - q = 15. Let x(t) = -t**2 + t + 3. Let n be x(d). Is n greater than or equal to -53?
True
Let u = 10172 - 10178. Is u bigger than -1.71?
False
Suppose 0 = -60*r - 41*r + 28*r. Is 2/1429 greater than r?
True
Suppose -106*r + 210 = -326 - 206. Do 58 and r have different values?
True
Let g(n) = 17*n - 82. Let o(t) = -6*t + 27. Let y(x) = -4*g(x) - 11*o(x). Let f be y(13). Let q be (450/(-11))/f - 4/(-22). Which is bigger: -7 or q?
-7
Let v be ((-25)/20)/((-7)/280). Let b = v - 49. Is 16/11 <= b?
False
Suppose -5*d = -3*p - 3*d + 7, 4*d - 4 = 0. Let g = p - 9. Which is greater: g or -60/11?
-60/11
Let g be ((-172)/215)/(2/(-155)). Suppose -58*r - 5*k - 22 = -g*r, -2*r - 4 = 5*k. Is 92/27 smaller than r?
False
Let u = 526 + -74. Suppose -3*h - 12 = 0, -4*q + u = 5*h - 7*h. Is q <= 113?
True
Let z = 2519 - 2221. Is 298 < z?
False
Suppose 5*g - d = 7 + 5, 4*d + 16 = 4*g. Let y(c) = -24*c**2 - c - 10. Let p be y(g). Which is greater: p or -107?
-107
Let q be ((-1 - 5) + 4)/(6/(-9)). Let i be ((-1 + (4 - 3))/q)/1. Is i > 76?
False
Let b be 58/((-901)/(-530) + (-3)/(-10)). Suppose 115 = -4*l - f, -5*f + 121 = l - 5*l. Let v = b + l. Which is greater: -1/50 or v?
v
Let j(r) = 24*r - 809. Let c be j(28). Which is smaller: c or -132?
c
Let g = 1519 + -1540. Is g != -6?
True
Let b = -17 + 19. Let g be -20*b*(11 - 12). Suppose 4*w + g = 8*w. Is 6 less than w?
True
Let l be (-332 - -16) + (-3 - 0). Are l and -317 non-equal?
True
Suppose 0 = 3*y + 2*c - 4*c - 5, -y + 15 = -4*c. Let z = -54540677/1785 - -30555. Is y less than z?
True
Suppose b - 4551 = 2*s, 1858 + 2700 = b + 5*s. Is b at least 4554?
False
Let m(z) = 20*z + 1. Let p be m(1). Suppose 17*s - p*s - 3*n + 177 = 0, 5*s + n - 235 = 0. Is 244/5 at least s?
True
Let x = -17.136 - -16.736. Let s(c) = c**2 - 5*c - 2. Let t be s(6). Which is smaller: x or t?
x
Let o be (-1)/(-3) - 40/(-15). Suppose 3*w + 63 = -2*w - 4*f, o*w - 4*f = -57. Let a be (w/4)/(7/28). Are -17 and a nonequal?
True
Let v = -38229 - -38247. Let m = 13 - 9. Is v != m?
True
Let o = -667 + 321. Do 2/3 and o have different values?
True
Let s = -3283 - -3281. Which is smaller: -2/413 or s?
s
Let g(h) = -h**2 + 21*h - 21. Let k be g(20). Let r = 2 - k. Suppose -3*z = 2*s - 3, 3*s + r = 3*z - 2*s. Do 4/9 and z have different values?
True
Let m = 12 - 15. Let j = 235 + -233.61. Let h = 26.39 - j. Are m and h non-equal?
True
Suppose 66*k - 2588 = 118. Do 710/17 and k have different values?
True
Let t = 281.598 + -0.598. Let x = t - 281.3. Which is bigger: x or 0.21?
0.21
Suppose 10*t - 28*t - 810 = 0. Let k be 15*(351/t + 5). Does k = -45?
False
Let h = 312.9833 - -0.0167. Let j = 315 - h. Let z = -2/13 + 23/65. Is j at least z?
True
Let i = -16.63 + 636.73. Let c = 620 - i. Let t = -32.2 - -5.2. Which is smaller: t or c?
t
Suppose 9*k + 210 = 6*k. Suppose 2*g + 11*g + 897 = 0. Does g = k?
False
Let a = -1.1 + 2.34. Let h = -1.74 + 0.53. Let n = h + a. Is 1 bigger than n?
True
Let g = 293 - 378. Let w = g + -21. Which is greater: -104 or w?
-104
Let g = -0.1536 - 33.8464. Which is smaller: g or -199?
-199
Let f be 230/23736*6/50. Which is smaller: 1 or f?
f
Suppose 25 = -4*v + 1. Let o = 227 - 232. Let r be (o/20)/(v/8). Is r smaller than 0.02?
False
Let m = -6505 + 10926. Are 4420 and m unequal?
True
Let h(s) = -s - 5. Let u be h(-2). Let l = 883/5 + -359/2. Is u bigger than l?
False
Let g be (-3)/2*30/(-105) - (-6604)/(-7). Is -943 equal to g?
True
Suppose 74*m + 497 - 2460 = 479. Suppose 4*a - 5*f = 133, 0 = 3*a + f + 3*f - 92. Are m and a nonequal?
True
Let a(d) = d**2 + 17*d + 25. Let o be a(-17). Let g be -3 - ((-210)/o + -5). Which is smaller: g or 11?
g
Suppose 5*s = 2*s + 1140. Suppose 2*f + 224 = 4*l, 3*f + s - 52 = 2*l. Let p be ((-9)/f)/((-1)/(-10)). Is p at most as big as 2?
True
Suppose 3*l + l + 23 = u, -15 = 3*l. Suppose 4*d = u*s - 17, -d = -2*s + 5*s + 8. Let r be (328/(-156) + 2)*(-1)/(-2). Do s and r have different values?
True
Suppose -5*o + 203 - 141 = 4*v, 4*v = o + 98. Suppose -3*p = 8 + 4. Let l(f) = -f**3 - 4*f**2 - 4*f + 5. Let x be l(p). Which is smaller: v or x?
x
Suppose 3*z + 295 = 5*b, -3*b + 201 = -6*z + 9*z. Let f = 61 - b. Let h be (-2 - (-3)/3)/f. Is 9/4 at most as big as h?
False
Let w be -3*(20/(-9) - -2). Suppose 2*z + 2 = 3*q, 0 = z - 4*z + 3*q. Suppose z = v - 15. Is v > w?
True
Let g = -42147 + 42011. Let h = 3 - 5. Is g > h?
False
Let a be 5 + 0*1/(-2). Let j be ((-36)/15)/((-1)/a). Let p(y) = -y**3 + 13*y**2 - 70*y + 155. Let u be p(5). Does u = j?
False
Let r = -18621/4 - -4589. Let d = r + 1457/20. Suppose 5 = b - 2. Which is bigger: b or d?
b
Let n = -2.89 + 3. Let c = n - -0.79. Let i = -0.8213 + 2.8213. Which is bigger: c or i?
i
Let m = 2.546 - 2.246. Is -849/5 less than or equal to m?
True
Let g = 0 + -1. Let n be -5*(1872/30)/(-6). Is g at least n?
False
Let m = 76.5 - 81.6. Let y = -76.8 + 77. Is m at least as big as y?
False
Let f = -250 - -418. Let y be 35/7 - f/33. Is y < 1?
True
Suppose -23*g + 8*g - 1380 = 15*g. Is 11 not equal to g?
True
Let o(t) = t**2 + 11*t - 151. Let d be o(8). Which is smaller: -27/86 or d?
-27/86
Let j = -34 - -34. Suppose 16*n - 201 - 855 = j. Suppose 5*c - 334 = i, -13 - 49 = -c + 5*i. Which is bigger: c or n?
c
Let f = -29.7 + 95.7. Let u = 65 - f. Which is smaller: u or 3/169?
u
Suppose 0 = 2*s - 40 + 8. Suppose 4*i - 20 = -5*x, -2*i + 4*i + 4*x = s. Which is smaller: 2/845 or i?
i
Suppose -3*q - 2*q + 3*h + 100 = 0, 3*q = 2*h + 61. Let b = q + -14. Is -35 bigger than b?
False
Let l(y) = -16*y**2 - 16*y - 33. Let f be l(-3). Suppose -5*x + 685 = -5*c, 4*x + 2*c - 58 = 484. Let r = f + x. Which is greater: r or 18?
18
Let w be (157/(-157))/((-1)/(-2)). Is w greater than 463/2?
False
Let t(f) = f + 9. Let y be t(-6). Let z = 609 - 9103/15. Is y greater than z?
True
Let l = 2744 + -2742. Which is bigger: l or 0.8635?
l
Let p = -360.07 - -362. Let w = -3.93 + p. Is -61 at least w?
False
Let y(i) = -46*i + 5. Let z be y(1). Let b = 61 + z. Suppose -2*j + b + 11 = -x, x + 2*j = -35. Is -33 smaller than x?
False
Suppose 1665 = 3*p + 15*p + 1575. Is p at least as big as 1.1?
True
Let u(d) = d**3 + 4*d**2 + 13*d + 52. Let p be u(-3). Let s = -4 + 22. Which is bigger: p or s?
p
Suppose 418 + 282 = 10*j. Which is greater: 283/4 or j?
283/4
Let a(f) = 67*f - 1548. Let s be a(62). Does s = 2606?
True
Let m(c) = c**3 - 13*c**2 - c + 15. Suppose 0 = -5*x + 10 + 490. Let q = 113 - x. Let o be m(q). Is o < -0.16?
False
Let s = 1682 + -1040. Suppose 38 = -4*d - s. Does d = -171?
False
Let u(k) = k**3 - 29*k**2 + 4*k + 63. Let l be u(29). Suppose 0 = -20*g + l + 1201. Which is smaller: 1 or g?
1
Let v = 482751857/3102 + -155626. Is v at least as big as 0?
True
Suppose 0 = 2*u - 0*u - 18. Let l = -53 - -89. Suppose -10 = -5*t, l = 5*x - 0*t - 2*t. Is x at most u?
True
Let b be (81/(-36)*4 + 8)/((-2)/9266). Is 4631 < b?
True
Let j(l) = -3*l - 10. Let k be j(9). Suppose 4*m - 172 = -3*z, -3*z + 163 = -3*m - 44. Let f = z - 102. Is f not equal to k?
True
Let r = -3970/77 - -408/7. Is 8 at most as big as r?
False
Let j be 120/90*3/4*18. Suppose 8*f = j*f. Is -90 greater than or equal to f?
False
Suppose -2*a + 5*y - 6*y - 44 = 0, 0 = -4*a + 2*y - 72. Let n be 4/(-190) - (-8)/a. Which is greater: 0 or n?
0
Let c be 4*(0 + 1)*637. Suppose 0 = -10*r - c - 122. Which is smaller: r or -265?
r
Suppose 9*c - 4*c = 270. Let l be (14/2 - 2)*(-78)/(-30). Suppose -14*g = -l*g. Is c equal to g?
False
Suppose 20 - 4 = 4*f. Suppose 4*n + i = -61 - 15, 0 = n - f*i + 2. Let w = -21 - n. Is w less than or equal to -1?
True
Let p(d) = -29*d**2 - 3*d. Let m be p(1). Let f be (9/30)/(m/(-30)). Which is smaller: f or 1?
f
Suppose 0 = x + 3*y - 4214 + 4189, 39 = -x + 5*y. Which is smaller: 99/217 or x?
99/217
Let d(c) = -c**3 + 5*c**2 + 62*c - 333. Let i be d(11). Let n = -93 - 285. Are n and i equal?
False
Let n(k) = k**3 + 4*k**2 - 2*k. Let d be n(-3). Suppose -d = o - 41. Suppose 0 = -r - h - 2,