48058.8. Which is smaller: q or m?
q
Suppose 8*h - 2358 + 1798 = -2*h. Suppose j - 66 = 4*c, -3*j = -0*j + 2*c - 170. Which is smaller: j or h?
h
Let g = 595 - 310. Let n be g/38*126/(-25). Is -39 less than n?
True
Let a(t) = 39*t**2 + 1. Let v be a(-1). Let d be (v/15)/((-2)/(-3)). Let j = 97/24 - 7/24. Are j and d nonequal?
True
Let d = -43 + -72. Let a = -115.1 - d. Which is greater: a or 30?
30
Let i = -33372 - -33275. Which is smaller: 93 or i?
i
Let k = -0.0388 - -0.2322. Let i = k + 0.7436. Let l = i - -0.063. Which is smaller: l or 3?
l
Let b = 1 + -2. Suppose -62*x - 287*x + 5 + 1391 = 0. Let d be (-2)/b + x*41/2. Is d at least as big as 83?
True
Suppose -v - 4*c = 5, 729*v - 724*v + 4*c + 9 = 0. Is v at least 16026?
False
Let u = 224 + 752. Suppose 0 = 26*c - 42*c - u. Is c <= -57?
True
Let i be 3/6 + 6*3/(-60). Let p = 181 - 206. Is i at least p?
True
Let h(m) = -m**3 - 13*m**2 + 16*m - 211. Let s be h(-15). Let o be 20/64*(-2)/(-4). Which is greater: o or s?
o
Let r(l) = l**3 + 18*l**2 + 45*l - 29. Let j be r(-4). Is j <= -3/38?
False
Let u be 304/(-6)*(-15)/10. Suppose -4*v + u = -12. Suppose -v*m - 12 = -26*m. Is 4 < m?
False
Suppose 4*b = -5*u - 12, 4*u = 5*b + 12 + 3. Suppose -3*s - 5*k + 91 = u, -6*s + s - k + 159 = 0. Suppose 16*y - s = 12*y. Which is bigger: y or -1?
y
Let b(z) = -8*z**3 + z**2 + 13*z + 14. Let c be b(-4). Suppose -c*f = -492*f. Let g = -616 + 14170/23. Does f = g?
False
Let i = 85.6 - 534.6. Let l = -451 - i. Which is smaller: -2.9 or l?
-2.9
Suppose 3*x + 6 = 0, 4*w + 3*x - 6 + 0 = 0. Let i be ((-6)/(-4))/w + 10626/(-132). Is i at least -79?
False
Let q = 14990 + -16555. Which is greater: q or -1577?
q
Let v be (-1299)/645*1 + 2. Let b be (-24)/21 - (-90)/42. Is b > v?
True
Let l = 2413 + -2412. Is l < 2/13093?
False
Let q(p) be the second derivative of p**5/20 - p**4/12 + p**3/6 + 37*p**2 - 19*p. Let b be q(0). Let g = b + -76. Which is smaller: 7 or g?
g
Let f = -13.595 + 0.295. Let r = 1383 - 1396. Let i = r - f. Which is bigger: i or 1/4?
i
Let w = -1296 - -692. Let x = w + 554.7. Let r = x - -50. Which is greater: r or -2?
r
Let y be 13/(-17 - -43)*4/(-5). Let k = 37 + -55. Is y < k?
False
Let r be (-2)/7 - 2868/7. Let o be (-4 + r/(-105))/((-1)/(-3)). Are o and 2/237 nonequal?
True
Let v(q) = 27*q**2 + 2*q - 1. Let d be v(1). Suppose 12*f = 22*f + 31*f. Is d smaller than f?
False
Let i = -38459.3 + 38455. Which is smaller: 1.29 or i?
i
Let b = 31 + -31.011. Let c = 2.689 - b. Let t = c + -0.7. Is -4 at most as big as t?
True
Let w(i) be the first derivative of i**3/3 + 26. Let g be w(0). Let u be (-2)/5 - 127/(-280). Is g greater than u?
False
Suppose 29 = -3*f + 869. Suppose -52*s + f = -47*s. Which is smaller: s or 55?
55
Let v = -242 + 232. Suppose -40 = -4*z - 2*u + 6*u, -5*z + u + 30 = 0. Let o be (-6*z/v)/((-102)/(-4)). Is o at least as big as 1?
False
Suppose 0 = -0*h + 3*h + 72. Let a be 0/(3 + (-25)/5). Suppose 27*q - 11*q + 368 = a. Is q > h?
True
Let y(i) = -7*i - 15. Let k(d) = 13*d + 29. Let c(o) = -6*k(o) - 11*y(o). Let x be c(-7). Let v be x/(-7) - 41/21. Which is greater: v or -9?
v
Let j = 121 + -120. Suppose 6*z - z = p - 615, 0 = 4*z + 4*p + 468. Which is bigger: j or z?
j
Let q be 5316/(-16)*((-238)/21 - -10). Which is greater: 1771/4 or q?
q
Suppose 7*y - 10*y = t - 16, 2*t - 8 = -2*y. Let f be (-123)/y*(-3 + 3/3). Suppose -68 = -3*r + 52. Are f and r unequal?
True
Let q(i) = -222*i**3 + 2*i**2 - 1. Let r be q(1). Let t = r + 1109/5. Which is smaller: 0 or t?
0
Let i(t) = 367*t - 7. Let p be i(-4). Let y = -611052282/415795 - 10/83159. Let a = y - p. Is a less than 6?
True
Let s = -659 - -469. Let g = s - -226. Is -0.2 greater than or equal to g?
False
Let f = -0.0913 - -9256.0913. Is f bigger than -0.1?
True
Let t = -9864 + 9889. Is t != -2.53?
True
Suppose 4*t - l = 105, t - 159*l + 164*l = 0. Do t and 64 have different values?
True
Suppose -188 = 37*u - 41*u. Is 418/9 at most u?
True
Let f = -45/7 - -268/21. Suppose -319*t - 42 = 321*t - 647*t. Is t not equal to f?
True
Suppose -79 = i + 2*n, -5*i - 148*n + 147*n = 377. Is -76 smaller than i?
True
Let y = 200 + -123. Let c = y + -32. Let h = 45 - c. Are h and -0.1 nonequal?
True
Let h = -0.22 - -3.62. Let l = 47.6 + h. Let w = l - 51. Which is smaller: w or -0.09?
-0.09
Let p = -86 + 14. Let r = -71 - p. Let o = -2 - -6. Are r and o nonequal?
True
Let j = 12743309/1143 + -11149. Are j and 1 non-equal?
True
Let j(q) = 20*q**2 + 24*q - 70. Let a(w) = 8*w**2 + 10*w - 28. Let c(z) = 12*a(z) - 5*j(z). Let r be c(-7). Is -182 at most r?
True
Let q = -864 + 868. Suppose 136 + 112 = q*f. Is 63 smaller than f?
False
Suppose -6*s + 11 + 19 = 0. Suppose 2*o + s*g = 1 + 17, -2*o = 2*g - 18. Suppose -5*b = -o - 1. Is b at least 1?
True
Let w = -3455 - -3454.92. Let g = 3.2 + -2.8. Is w bigger than g?
False
Let d = -1.4449 - -0.1449. Is d < 0.1?
True
Let z(c) = -76*c**3 + c**2 - c - 1. Let m be z(1). Let f = -69 - m. Suppose s - f*s = 0. Which is smaller: s or -14?
-14
Let l = -2849 + 2849. Let z = 9 - 3. Let b be 6/(-8)*(-1)/z. Which is smaller: b or l?
l
Let c(i) = -9*i**2 + 10*i + 25. Let t(l) = 11*l**2 - 9*l - 25. Let k(n) = 6*c(n) + 5*t(n). Let o be k(-13). Let z = 0.07 - 1.57. Which is smaller: o or z?
z
Let u = 28.54 - 13.9. Let k = -24.94 + 25.3. Let p = u + k. Which is bigger: -0.2 or p?
p
Let a = -159 - -158.9907. Let b = 0.3607 - a. Let q = -0.1 - 0. Is b >= q?
True
Let b = 31296.843 + -31297. Which is greater: b or -11?
b
Let x be -3*((-4191)/2097 + 2). Let g(m) = m**3 + 7*m**2 - 29*m - 168. Let d be g(-8). Which is smaller: x or d?
x
Let s = -25.9 - -7.5. Let o = s + 42.4. Is 0.4 < o?
True
Suppose g + 194 - 273 = 0. Let j = 323/4 - g. Let t be 0 - (-3)/((-6)/(-4)). Is t <= j?
False
Let j = 698 - 667. Let n be (32 - j)*(-2)/(-4). Is 0.347 > n?
False
Let i = 9814 - 9386. Which is bigger: i or 424?
i
Let v(u) = -15*u - u**2 + 28*u + 11 - 7*u + 0*u. Suppose 3*q = -9 + 33. Let p be v(q). Is p at least as big as -3?
False
Let b(i) = 3*i**3 + 32*i**2 + 111*i + 34. Let k be b(-9). Is -562 at most as big as k?
True
Let s = -0.2945 - -1.5945. Is s bigger than -4?
True
Let y be -1 - 119180/(-29945) - 3. Let x = -2/113 + y. Let m = -57/106 - x. Do 0 and m have different values?
True
Let z = -4655 + 4057.9. Let l = -597 - z. Which is smaller: -67 or l?
-67
Suppose 0 = 193*j + 26*j + 117603. Is j bigger than -543?
True
Suppose 107*r = 67*r + 43*r + 7092. Which is smaller: -2359 or r?
r
Let h(z) = 90*z + 1463. Let b be h(30). Is b greater than or equal to 4165?
False
Let f(y) = -2*y**3 - 2*y**2 + 6*y - 12. Let s be f(-6). Let a = 629/2 - s. Is 3 at most as big as a?
False
Let z = -114131552/21243 - -16118/3. Is z < -1/2?
False
Let n = -58 - -55.5. Let j = n - 20.5. Let d = j + 22. Is d less than or equal to -1?
True
Suppose 20*f = 2*f - 90. Let b be 4 - ((-24)/27 - f). Is 1 at least as big as b?
True
Let j(l) = l**2 - 10*l + 13. Suppose 0 = -3*h + 23 - 2. Let y be j(h). Suppose 29*p - 28*p + 9 = 0. Which is smaller: y or p?
p
Let g be 6870/(-12) - (-18)/12. Let n = 1714/3 + g. Does 25 = n?
False
Let w(y) = -38*y + 9. Let k be w(12). Let z = k - -356. Is z != -90?
True
Suppose 5*x - 4416 = -4631. Which is smaller: x or -1992/47?
x
Let y(l) = l**2 - 22*l + 123. Let g be y(9). Suppose 7*d - 455 = -g*d. Which is smaller: 103/3 or d?
103/3
Suppose 4188 = 5*s + 100*p - 103*p, -3*p + 2508 = 3*s. Which is greater: 839 or s?
839
Let j = 3.2001 - 3.227. Is -2/9 at least as big as j?
False
Suppose 0 = -15*t + 21*t. Let a be (9/126)/(12/98). Which is smaller: t or a?
t
Suppose -3*t - w - 1421 = 0, 4*t - w - 2*w = -1899. Let k = 474 + t. Which is greater: -4/57 or k?
k
Suppose -3*y + 51*y + 62400 = 0. Which is smaller: y or -1?
y
Let m = 20470 - 62617731/3059. Which is smaller: m or 0?
m
Suppose 0 = -z + 4*z - 21. Let f be ((-52)/(-16) + -3)*-4*-5. Let a be ((-1)/f)/(z/(-35)). Which is smaller: a or -17?
-17
Let x(j) = 590*j - 580. Let b be x(0). Which is bigger: -584 or b?
b
Let s = 16278 + -178896/11. Let h(t) = t**3 - 31*t**2 + 109*t - 12. Let r be h(27). Is r > s?
True
Suppose -5*h = -i - 3*h + 5, -i - 11 = 2*h. Let d be i/(-12) - 204/48. Are -5 and d non-equal?
True
Let u be 16 - 0/(-2 - -1). Let s = -1015 - -1075. Suppose -m - 16 = -i, 3*i + 4*