than or equal to g?
True
Let a be 2/(-4)*(2 + -6). Suppose -109 = a*t + 5. Let v = t + 47. Which is bigger: -28/3 or v?
-28/3
Let s = 324.2 - 324.18. Is 14.2 != s?
True
Let k(b) = 2*b - 15. Let y(s) = -s + 7. Let r(l) = -4*k(l) - 7*y(l). Suppose -6*n + 76 = 10. Let p be r(n). Which is bigger: p or 4/5?
4/5
Let u = 13605 + -12451. Is u less than 1150?
False
Suppose -2*v + 0*v - 2*j = 0, 0 = 4*v + j - 12. Suppose v*a - q + 0*q = 57, -15 = -5*q. Let c be 40/a*3/(-2). Are -21/8 and c equal?
False
Let k = 63 + -389. Is k at most -324?
True
Let i = 7 - 7. Let a be (-8 + 7)/(3 - (-244)/(-80)). Which is smaller: a or i?
i
Let k(w) = -340*w + 2040. Let x be k(6). Let c = -32 + 63/2. Which is smaller: x or c?
c
Let a be (19 - 7)/6 - 0/3. Which is greater: 642 or a?
642
Suppose -2*h = x - 13, 6*h + 95 = 5*x + h. Let d = -4.0952 + 0.0452. Let f = 4.05 + d. Is f at least x?
False
Suppose -4*y + 342 = -0*k + 2*k, -343 = -2*k - 3*y. Let u = k - 89. Let n be ((-5)/(-125))/(u/15 - -1). Which is greater: n or -1?
n
Let j(c) = -c**3 - 8*c**2 - 9*c - 73. Let u be j(-8). Let v(g) = -35*g**3 - 3*g - 3. Let h be v(u). Which is greater: 2 or h?
h
Let t(a) be the third derivative of 0*a + 0*a**3 - 16*a**2 + 1/30*a**5 + 0 - 1/120*a**6 + 0*a**4. Let y be t(2). Which is greater: 2 or y?
2
Let v = 0.08185 - 0.17185. Which is bigger: 24.2 or v?
24.2
Let x be ((-2504)/1236)/(-1) + (2 + 0)/(-1). Which is smaller: x or -1?
-1
Let b be (-13)/((-143)/(-66)) + -3745 + -2. Does b = -3752?
False
Let k be 50/500 - 1221/12410. Is k less than 4?
True
Let t = -2309 - -1460. Do 0.1 and t have different values?
True
Suppose 0 = -4*y, 38 = -3*m + 5*m + 5*y. Suppose -m*g = -13*g + 60. Which is greater: g or -6?
-6
Suppose 7*t + 30 = 65. Suppose t*z + 15 = -2*f, 2*z = 5*f - 0*z - 6. Is f < 1?
True
Let y = -2.66 - -1.89. Let t = y - -1.95. Let w = -0.38 + t. Is w >= 1?
False
Let z be (-6)/(-9) - (299 + -2). Let v = 297 + z. Suppose 2*h = 2 - 0. Which is smaller: v or h?
v
Let w = 0.0472 - 0.0442. Let k = w - -0.097. Which is bigger: -0.154 or k?
k
Let a be 153/18 - (-3)/2. Suppose b - 4*j - 7 = 0, -b - j + 7 = -a. Suppose -b*k = -5*k + 10. Which is greater: k or 1?
1
Let t be 47 + -1 + (1 - -4). Suppose 43*r - t*r + 728 = 0. Is r >= 90?
True
Suppose 0 = -4*r - 2*q + 618, 735 = 4*r - q + 102. Suppose 0 = g - 162 + r. Which is smaller: -1.1 or g?
-1.1
Let c be -2 + 3162/(-12) + (-3)/2. Let v = 254 + c. Which is smaller: -18 or v?
-18
Let b = 4322 + -4338. Is b bigger than -277/19?
False
Let z(d) = d**3 + 12*d**2 - 25*d + 23. Let g be z(-15). Is -276 equal to g?
False
Let n be 0/(-5) + (-1804)/(-15886). Let p = -12/169 + n. Let z be ((-2)/28)/(66/(-924)). Which is smaller: z or p?
p
Let b = 0.4025 - 1.8525. Are b and -0.04 nonequal?
True
Let i = 5 + -3. Let a be 7196/6168 + 3*1/3. Is a greater than or equal to i?
True
Let y(o) = -10*o**3 - o**2 - o + 7. Let x(f) = -f**3 - 1. Let g(t) = 2*x(t) - y(t). Let d be g(3). Let i be ((-2)/d)/2*27/18. Do -1 and i have the same value?
False
Suppose -27628 = 7*t + t - 5836. Are t and -2719 non-equal?
True
Suppose 0 = -514*f + 531*f + 867. Does f = -7?
False
Let w be (-7)/(98/(-2702)) + -7. Which is smaller: w or 183?
183
Let m be 4 - ((-3384)/142)/(-6). Suppose 5*r - 71 = -w + 17, 2*w = 3*r - 58. Suppose 10*d - 8 = r*d. Which is smaller: d or m?
d
Let s = -23.83 + 36.23. Is s at least -2/27?
True
Suppose -2*m - 3*m + 4 = -4*y, -3*y = -m - 8. Let w = y + -22. Let v be (-9 - w)*1*4. Is 37 less than v?
False
Let b = 20 - 45. Let y = -64683 + 64655. Which is smaller: y or b?
y
Let s = -126 + 239. Let n = -113 + s. Which is smaller: n or 5/6?
n
Suppose 24 - 4 = 4*i. Suppose i*a = -5*l - 80, -l = -2*a - a. Let x be (l/(-42))/((-9)/21). Do x and -1 have different values?
True
Let r(y) = 28*y**2 + 263*y - 2271. Let o be r(9). Is 2363 at least as big as o?
False
Let r(m) = -3*m - 32. Let h be r(-11). Let y = -15.94 - 0.06. Let j = -15.91 - y. Which is smaller: h or j?
j
Let f be ((-9)/72*-28 - 3)*76. Is 315/8 smaller than f?
False
Let t be (7/714)/((-1)/4). Let a(v) = v**2 - 4*v + 2. Let w be a(2). Let k = w + 2. Which is bigger: t or k?
k
Let z be 38/(-209) - (-35)/11. Let q(x) = -x**3 - 5*x**2 + 7*x + 5. Let v be q(-6). Let s be 1*(2 - z)*v. Are 3/11 and s unequal?
True
Suppose -5*p + 2*l - 7 - 9 = 0, 3*p + l = -14. Let a = -3 - -12. Suppose 0 = 6*o - 3*o + a. Which is bigger: o or p?
o
Let g = -3647011875182342004975/3355447273099808 + -220/1081007497777. Let m = g + 1086893. Let r = m - 5/97. Which is greater: -0.1 or r?
r
Let n = 7289 + -10618. Are -3328 and n equal?
False
Let n = 1728582765/6697 - 258113. Which is smaller: n or 1?
n
Let w = 104611/69738 - 2/34869. Is w <= -234?
False
Let l be (4/3 - 1)/(27/243). Suppose -60 = -5*c + c + 4*s, 4*s - 24 = -l*c. Suppose c = -5*d - 3. Which is bigger: d or -20/9?
-20/9
Let h(b) = 85*b**3 + 3*b**2 + b - 4. Let x be h(2). Let f = x + -400. Is 289 < f?
True
Let m(g) = -11*g + 68. Let h be m(6). Suppose -h*r + 4 = 2*v, -8*v = -9*v + r. Let p = -81/91 - -6/13. Which is bigger: v or p?
v
Suppose -864 = -4*k + 2*j, -4*j + 481 = 5*k - 508. Suppose 0 = -3*u + 5*a + 389 + 210, -a + 421 = 2*u. Which is smaller: k or u?
u
Suppose 35*x = 21*x + 896. Let k be (8/x)/((-4)/32). Are -1/224 and k unequal?
True
Let n(u) = -u**3 - u**2 - 1. Let m be n(0). Let f = -2/1113 - -3/265. Is m equal to f?
False
Let c(w) = 9*w**3 - 4*w**2 - 167*w - 781. Let j be c(-5). Which is smaller: j or -1167?
j
Suppose 22*b = -70*b - 328 - 13012. Which is greater: -727/5 or b?
b
Let z be 3/(-4)*(29 + (-25 - 0)). Let a(b) be the second derivative of -b**4/6 - b**3/3 - b**2 + b. Let p be a(z). Do -12 and p have different values?
True
Let u(n) = -8*n - 39. Let h be u(-16). Suppose 4*w = 5*q - 7*q + 368, -4*w - q = -364. Is w not equal to h?
True
Suppose -4*k + 150 = 130. Suppose -3*f + 9 = -3. Suppose k*a + 4 = -3*p - 7, -f*p = 3*a. Is p > -0.01?
True
Let y(b) = 25*b + 1. Let r be y(-2). Let p be (-19)/(-7) - 14/r. Suppose 2*c = -p*c + 20. Which is smaller: 6 or c?
c
Suppose -17 - 34 = 38*g - 13. Which is smaller: g or 5/28?
g
Let o = -2.75 + 3.4. Let f = 0.75 - o. Which is smaller: -14 or f?
-14
Let l = 33260.958 - 33326. Let z = -65.077 - -0.077. Let i = z - l. Which is bigger: 2/9 or i?
2/9
Let c = 1344 + -1346. Which is greater: c or 88?
88
Let i be -5 - 1/(4/(-74))*(-8)/(-28). Is 377 greater than i?
True
Let x = -18.3 - -7.8. Let w = -5.5 - x. Let q be (-4)/(-15) + (-4)/6. Are q and w equal?
False
Suppose 0 = -15*b + 12*b - 1428. Let v = b - -479. Is 84 equal to v?
False
Let t(p) = -5*p**2 - 5*p + 1. Suppose 4*g + 0 = -4*n - 4, 5*g - 3*n - 11 = 0. Let j be t(g). Which is smaller: -14 or j?
-14
Let h(n) = n**3 + 8*n**2 + 46*n - 2. Let q be h(-8). Which is smaller: -369 or q?
q
Let n be (-186)/5*(-3)/((-27)/(-30)). Let d = -123 + n. Is 1/63 smaller than d?
True
Let n = 2158 + -2147. Is -37 at least as big as n?
False
Let j(o) = 3*o**2 + 204*o + 1357. Let k be j(-61). Is 73 greater than or equal to k?
False
Let q = -59 + 80. Let f be (-1)/(2 + q/(-10)). Suppose 4*c = f*c - 120. Which is smaller: c or 18?
18
Let b = -881 + 7940/9. Let i = b + -148/99. Which is smaller: -5 or i?
-5
Let w = 310191 - 5271345/17. Is w less than or equal to 112?
True
Suppose 0 = -89*a + 93*a - 2*j + 300, -182 = 2*a + 3*j. Which is smaller: a or -1509/19?
-1509/19
Let y(h) = 5 - 8*h + 13*h**2 + 15*h**2 - 29*h**2. Let k be y(-9). Let g be k/(-204)*-8*(7 + -4). Is g equal to 1?
False
Suppose 71*b - 143381 = -3298. Which is smaller: b or 1976?
b
Let h(n) = n**2 + 34*n - 45. Let v be h(-35). Suppose 24 = -3*g + g. Are v and g unequal?
True
Suppose 15 = 12*d - 9. Suppose d*l + 5*p + 18 = -0*p, 20 = -4*l - 2*p. Which is smaller: l or -0.3?
l
Let o = -36 + 424. Let h = 414 - o. Which is greater: -1 or h?
h
Suppose 341 = 5*y + 3*x, 4*y + x - 274 = -2*x. Let d = -145 + y. Let v be (-12)/d + 11/13. Which is smaller: 1/21 or v?
1/21
Let a = -182.447 + 182.37. Which is greater: -190 or a?
a
Let m = 126403/273 + -463. Let u = -95/273 + m. Is 2/171 less than or equal to u?
False
Let z = -805.98948 + -0.01052. Which is greater: z or 0.2?
0.2
Suppose 0 = -5*b - 5*t - 770, 68 = 2*b - 3*t + 366. Suppose -2*v + 2*o = 302, -5*v - 269 - 494 = -o. Which is bigger: b or v?
b
Let z(y) = 5*y - 66