991/1157 - -11/89. Which is bigger: -3 or f?
f
Suppose 0 = 5*x - 5*q - 105, -2 = x + q - 15. Let u = -16 + x. Let z = -3/82 + 197/902. Is u not equal to z?
True
Let u be (-1 - (-3 - (-24)/16))*52. Which is smaller: u or 28?
u
Suppose 4*m = 7*m - 6. Let a be 3 + (m - -3)*-1 + 30. Which is bigger: a or 29?
29
Suppose -73*s = 64*s + 1918. Is s at most -27/2?
True
Suppose 4*w = -2 - 6. Suppose 0 = 3*s + 1 - 4. Are s and w nonequal?
True
Suppose -3*k + 7 = 4*n, 0 = 4*n - 5*k - 14 - 17. Let h = n + -14. Let x(q) = -3*q + 9. Let y be x(6). Which is smaller: h or y?
h
Suppose 0 = -0*q + 5*q. Suppose k - 3*h - 1 = -q, -4*h + 3 = 3*k. Which is smaller: k or 2/11?
2/11
Let n = -1.12 + 1.51. Let j = n + -0.59. Let c = 1 - 1. Are j and c non-equal?
True
Let t = -718 - -57439/80. Let o = 147/1040 - t. Is 1 >= o?
True
Suppose 2*x = -4*v - 176, v - 334 = x + 3*x. Which is bigger: x or -85?
x
Let d be (-420)/28 + -1 + 5. Let c = -19 - -10. Does d = c?
False
Let v be 23528/(-77) - 8/(-28). Let x = v + 306. Is 1/4 bigger than x?
False
Let h = 615 + -430. Is 185 at least as big as h?
True
Let t(u) = u**3 + 6*u**2 + 11*u + 9. Let y be t(-4). Let p be y - (1/5 - 436/130). Suppose -5 + 3 = -c. Is c > p?
True
Suppose 11*l = 25 + 1460. Is 3 != l?
True
Suppose 6*m = -24*m - 18*m. Do m and 3/476 have different values?
True
Let b be 1 + 0 + (-8)/(-2). Suppose -g - b*g = -30. Suppose -5*i + 0*a - 3*a + 6 = 0, i - 18 = g*a. Which is bigger: -4 or i?
i
Suppose -3*h + 4*h = -3*m - 11, m + 2 = -2*h. Which is smaller: 1/347 or h?
1/347
Let d = -92 - -92. Which is bigger: 588 or d?
588
Let u be (-2)/(-6) - (-11 + 12). Which is bigger: u or -1.9?
u
Let v be 6/90*190/5. Which is smaller: v or 4?
v
Let k be (-1666)/16 - -1 - 1. Let f = k - -104. Which is smaller: f or -2?
-2
Let a = -0.26 - -0.06. Let q = -14.1 - 2.9. Is a < q?
False
Let y be (5 + -3)*(-786)/(-12). Are y and 131 unequal?
False
Let s be (-33)/(1617/(-28)) - (-9)/(-7). Let z = 0 - 2. Which is smaller: z or s?
z
Let x = 3 + -2. Suppose -23*v = -68 - 1. Let i be (v/(-4))/(-2 - 413/(-112)). Is x equal to i?
False
Let g(r) = -32*r - 128. Let c be g(-4). Is c equal to 25/47?
False
Let w be (-18)/21 - 1/7. Which is smaller: -45 or w?
-45
Suppose -20 = -5*p - 0. Let q = 1615 - 1615. Which is greater: p or q?
p
Let g = 8 + 5. Suppose f + 5*s = 1, 3*f + 54 = 7*f - 5*s. Which is smaller: g or f?
f
Let o = -0.13 + 0.24. Let x = 54 - 53.69. Let v = o - x. Is 2 at most as big as v?
False
Let x = -0.63 + 33.63. Let q = -44 + x. Which is smaller: -3 or q?
q
Let n(l) be the first derivative of l**4/4 + 5*l**3/3 - 7*l**2/2 - 7*l - 1. Let s be n(-6). Which is bigger: 3/10 or s?
3/10
Let q = 3508 + -1622. Let x = q - 13266/7. Is x at least -8?
False
Let z = -0.2 + 0.1. Let n be (-3*(-1)/(-5))/(15/75). Do n and z have the same value?
False
Let y = -1 - 6. Suppose -9 = -3*v - 2*r + 6, -3*v = -r - 15. Suppose 3*f + b = -16, -4*b - v + 46 = -3*f. Is f at least as big as y?
True
Let d(y) = -7*y - 10. Let h be d(-4). Let r be h/(-70)*(-13 + 12). Let l = r - 7/5. Which is smaller: l or -2?
-2
Suppose 10*o - 12 = -2*o. Which is smaller: o or 1/647?
1/647
Let z = -132 - -160. Suppose -z - 8 = -p. Which is smaller: p or 38?
p
Suppose -4*s + 1051 = 5*v, s + 4*v = 3*v + 262. Do s and 259 have the same value?
True
Let g be 11 - (11 + 7/(-21)). Is 104 > g?
True
Suppose -3*a - 4*s - 232 = 84, 5*a = -s - 555. Are -103 and a nonequal?
True
Let c(g) be the second derivative of -g**5/20 + g**4/2 + 4*g**3/3 - 5*g**2 - 20*g. Let m be c(7). Is m <= -5/3?
True
Let s be (-54)/126 - -142*(-6)/(-28). Let u be (-282)/s + 6/15. Is 2 != u?
True
Let c = -24 + 26. Suppose -4*t + 4*j = -40, -c*t + 0*j = 3*j. Suppose -t*h + 100 = -2*h. Is 24 at least h?
False
Suppose 0*k + 75 = -5*h + 2*k, 2*k - 49 = 3*h. Let w = h + -14. Are -28 and w equal?
False
Suppose 16 = 16*n - 21*n - 3*d, 14 = -4*n - 3*d. Let t(f) = f**3 + 5*f**2 - 5. Let w be t(-5). Are w and n nonequal?
True
Let p = 1.11 - 0.11. Is -0.47 at least p?
False
Suppose -4*w = -21 + 41. Let z(a) = -5*a - 2. Let s be z(w). Are s and 23 equal?
True
Let t be (-10)/(-4)*(14608/165)/(-16). Are 3/5 and t unequal?
True
Suppose 0 = -5*y - 5*a - 310, -5*a + 204 = -3*y + 10. Let s be (-307)/5 + 249/(-415). Is s greater than or equal to y?
True
Let t be (-1)/4 - (-222)/24. Let p = 15 + -15. Suppose 3*z + 5*i = 49, p*z - 4*z + 2*i = -22. Which is smaller: z or t?
z
Let a(j) = -j**2 - 15*j - 43. Let t be a(-11). Which is smaller: 38/21 or t?
t
Let l(f) = 2*f**2 + 9*f + 17. Let p be l(-3). Suppose -p*w + 7*w = 18. Let u be -9*2 - -1 - 2. Which is bigger: u or w?
w
Suppose 3*i = q + 13, -4*q + 9*q = -3*i + 25. Suppose -i*r + 3*h = 36, 10 = -4*h - 2. Which is smaller: -6 or r?
r
Let h be 152/(-132) - 14/(-21). Is 1 at most as big as h?
False
Let w = 495155/112 + -4421. Which is smaller: 0 or w?
0
Let f = 401 - 411. Let b be ((-5)/3)/(1/6). Are f and b nonequal?
False
Let n = 49.32 - 50. Let u = n - -8.68. Which is greater: u or 0.1?
u
Let y be 2/6 + (-47)/(-3). Suppose -5*j + 0*j = -3*g - y, 2*j - 3*g - 1 = 0. Is 0.4 less than or equal to j?
True
Let d be 6 - (-1 + 2) - 3. Suppose -c = 3*q + 5, -2*c + 40 = -2*q - d*q. Which is smaller: c or 9?
9
Let y be (105/(-36))/(1/(-3)). Let r = 77/155 + 15971/1860. Let g = r - y. Which is bigger: -0.03 or g?
g
Let q = -1.8 - -2. Suppose 5*p = 7*p - 10. Suppose 18*y + 23 = p. Are q and y equal?
False
Suppose 3*s = 2*n + 763, 2*n + 3*n + 1890 = 4*s. Let m = n - -45629/122. Which is smaller: m or 0?
0
Suppose -15 = -19*t + 14*t. Suppose t*b + 2*b + 35 = 0. Which is smaller: b or -9?
-9
Let m(l) = -l**3 - 10*l**2 + 35*l + 30. Let b be m(-13). Are 85 and b nonequal?
True
Let q = 14 + -10. Suppose -5*x + 3*j + 5 = 0, 0 = -x - q*x - j - 15. Let w = 122/7 + -18. Is x > w?
False
Suppose 19*f - 14923 + 47185 = 0. Let s = 30575/18 + f. Which is bigger: s or 1?
1
Suppose -4*c + 33 = 3*i, -4*i - c + 24 + 7 = 0. Suppose -4*y + 6 = -3*p - i, -4*p + 3*y = 8. Which is bigger: 1/6 or p?
p
Let h be ((-1)/(-1))/(2/128). Let u be 2/(-10) + h/(-5). Which is bigger: -14 or u?
u
Let r = -93966973 - -3759162273/40. Let l = -59746/5 + r. Let q = -135 + l. Which is smaller: q or 1?
q
Let h = 13052/45 + -290. Let f = -255 + 254. Which is smaller: h or f?
f
Let x be (-59)/6 - (-20)/60. Let p be (-1)/(-2)*18*-1. Which is bigger: x or p?
p
Let o be 4592/(-3864) - (8/(-6))/2. Is -1 at most as big as o?
True
Let z(i) = -34*i**2 + 16*i - 57. Let l be z(3). Which is greater: l or -313?
-313
Let t = -19 - -19. Suppose t = 2*h + r - 6, -5*h - 3*r = -2*h - 6. Let f be h/2 + 1/(-1). Are 10/7 and f unequal?
True
Let f = 143 + -322. Do -1/4 and f have different values?
True
Let i = -66 - -202. Let t = i - 109. Is 0 bigger than t?
False
Let g(p) = -2*p**2 - 5*p - 3. Let l(w) = -w**2 - 5*w - 4. Let n(m) = 2*g(m) - 3*l(m). Let o be n(6). Which is smaller: 9/7 or o?
o
Suppose 6*b + 15 = 7*b. Suppose n = -4*n + b. Let k be 1 - 3/(0 - n). Are k and 1 non-equal?
True
Let w be 0 - -4 - (-176)/(-20). Suppose 0 = -3*p + h + 4*h + 13, -3*h = -p + 11. Which is greater: p or w?
p
Let h = 0.4 - 0.23. Let w be (-1)/(-5) + (-4)/(-5). Let u be 2/(-14) - w/(-21)*-11. Which is smaller: h or u?
u
Let z be (8/24)/((-3)/(-54)). Let r be (2/22)/(z/(-18)). Is -1 != r?
True
Let o = -294 + 308.3. Let m = o - 14. Let u = -0.6 - m. Which is bigger: 0 or u?
0
Let p be 51/132 + (-6)/8. Let v be (-2 - 4/(-4)) + 1. Which is bigger: v or p?
v
Let i(w) = -177*w - 10. Let a be i(3). Let o = a - -25426/47. Is 0 <= o?
False
Let a = 275 + -273. Which is smaller: a or 46/29?
46/29
Let z(i) = i**3 + 5*i**2 - 33*i + 26. Let u be z(-9). Is u >= 1/164?
False
Let k be (-10)/20*(7 - 9). Are -23/95 and k equal?
False
Let h be (-70)/(-15)*(2 - 2/4). Suppose -h*z + 8*z = 3*d - 9, 0 = -2*d + 4. Which is bigger: -13/5 or z?
-13/5
Let j = -6 - -0.4. Let g = 5.8 + j. Which is greater: 1/20 or g?
g
Let s = 0.1 + -0.1. Let j = s - 0. Let x be (5/3 - 2) + 0/(-221). Which is smaller: j or x?
x
Let s be (5 + -9)*48/87*1. Is -2 equal to s?
False
Suppose -3 = 2*i - 3*k - 6, -k - 1 = 0. Are i and -15/34 nonequal?
True
Let v(z) = 4*z + 2. Let t be v(-2). Let n be t/(-21) - 5/(-7). Let b = -43/32 + 59/32. Is b greater than n?
False
Let j = -1836 + 1836. Suppose -2*b = -2*w - 30, w - 3 +