 b - n, -2*p + 68 = 4*b. Which is greater: 27 or p?
27
Suppose 0 = 4*j + 4*x + 20, j - 3*x - 18 = 5*j. Let s = j - -5. Let y be (-15)/480*-4 + (-154)/(-48). Which is greater: s or y?
y
Suppose -36434*l = -36417*l. Let q be 2*4*1/(-22). Which is greater: l or q?
l
Let f = -0.971 - -1.684. Is f less than -0.2?
False
Let m = -1.8 + 39.8. Let h = -8 - m. Let i = -46.5 - h. Do 3/5 and i have the same value?
False
Let z = 43 - 38. Suppose 0 = 2*x - 5*q - 11, -z + 2 = -q. Let d be -1 - (4/((-28)/x) + 0). Which is greater: 2/13 or d?
d
Let v(f) = -f + 4. Let r be v(0). Let t be 4/18 - (5118/(-54) - -5). Let i = 93 - t. Is i not equal to r?
True
Let i(t) = 2*t**2 + 16*t + 1. Let x be i(-8). Is x smaller than -2/7681?
False
Suppose u - 3*u + 24 = 5*r, 0 = -r - 4. Let j = u - 17. Suppose -5*i = -q - j, 2*i + 5*q - 1 = i. Is -3/7 less than i?
True
Let j(v) = v**2 - 35*v + 26. Let f be j(-17). Let r = f + -911. Are 3/455 and r nonequal?
True
Suppose 4*o + 2*g = 92, 2*o + 5*g = 118 - 96. Let h(d) = 2*d**2 + 3*d - 9. Let y be h(-5). Is o greater than or equal to y?
True
Let k = 568567742075165671232 + -13579094309640018206384599911157/23882984040. Let x = k - 2/10474993. Let m = 2/285 - x. Is 0 bigger than m?
True
Let o = -888292/59 - -15056. Which is smaller: -21 or o?
-21
Suppose -x + 169 = z - 286, 0 = -4*z + 2*x + 1784. Which is smaller: z or 448?
448
Let c = -2.2 - -3.2. Suppose -5*m = -3*s - 12 - 12, 5*m = 15. Let f be -2*(-92)/8*s. Is f != c?
True
Let l = -772 + -2586. Which is greater: l or 0?
0
Let f(q) = -67*q + 162. Let a be f(2). Is 29 less than or equal to a?
False
Let w be (-5)/(-45)*1 - (1460/(-306))/10. Is w equal to 0?
False
Let z(v) = 121*v + 3608. Let j be z(-29). Which is greater: j or 15?
j
Let r = 3 - -3. Suppose 2*b = -0*b + 8. Suppose 4*c = 4*k - 32, -b*k + c + 0 = -20. Which is greater: k or r?
r
Let d(q) = 170*q - 92. Let o be d(-3). Which is smaller: -601 or o?
o
Let p = -39/86 + -2/43. Let m be (-152)/(-44)*(-189)/6. Let h = m + 109. Which is smaller: h or p?
p
Let t = 5455 + -5443. Let y be (-4)/18 + 546/27. Let s = -6 + y. Is s != t?
True
Let v(u) = -6*u**2 - 3*u + 14. Let a be v(-5). Let z = -122 - a. Which is smaller: z or -2/69?
z
Let k(z) = z**3 + 3*z**2 + 5*z + 2. Let m be k(-3). Let t be 48/(-40)*(-18)/(2592/(-1520)). Which is bigger: m or t?
t
Let g(k) = 5*k**3 + 138*k**2 - 54*k - 2. Let p be g(-28). Are p and -178/3 equal?
False
Let t be 10 - (12 - 776/372). Which is greater: t or 2/17?
2/17
Suppose -4*l + 3*l = 6*l. Let i be 3/1 + 3/(-6)*14. Let g be (i/(-50))/(1/(25/(-55))). Is g less than l?
True
Suppose 0 = -761*q - 214137 + 84767. Suppose -a + 5*n + 704 = -5*a, 0 = 3*a + 3*n + 525. Is q at most a?
False
Let b = -16 - -15.875. Let p = -0.074 - b. Let w = 3788 + -3789. Which is smaller: p or w?
w
Let c = -8085.0009 + 8085. Is c less than or equal to 2?
True
Let j = -572 - -520. Is -13 >= j?
True
Let y(t) be the third derivative of -t**6/120 + t**5/6 + t**4/2 - 2*t**3 - 66*t**2. Let j be y(11). Which is greater: j or -2/247?
-2/247
Let y be 28/14875 - -6 - 6. Which is greater: y or 2?
2
Let x = 17/10 + -133/90. Let z be (-84)/147 + (-1516)/(-7). Suppose -211*f = -z*f - 10. Which is smaller: f or x?
f
Let r = -2.9 - 334.6. Let o = r - -337. Which is bigger: 2 or o?
2
Suppose -9*v + n + 56 = -5*v, -3*v = 5*n - 65. Suppose -v*b + 0*b = -330. Is b equal to 23?
False
Let z = -515692 - -515612.0307. Let h = 0.0307 - z. Which is smaller: 4 or h?
4
Let i = 444/11 + -743799/18425. Is i <= 1?
True
Let g be (-348)/36 - -10 - 4*(-15891)/(-190854). Which is bigger: 1 or g?
1
Let m(f) = -93*f + 3163. Let w be m(34). Do w and -6/7637 have different values?
True
Let h(b) = -b**2 - 18*b - 56. Let x be h(-5). Let g be ((3105/(-10))/x)/(14/(-4)). Which is bigger: g or 9?
g
Let w be 52644052/(-3604) - ((-19)/17 + 1). Is w <= -14606?
True
Let b = 4101966/2863111 + 6/42733. Which is bigger: 2 or b?
2
Let f(p) = 45*p + 3. Let w be f(1). Let a = w + -48. Suppose a = -11*q + 4*q - 21. Which is smaller: -7 or q?
-7
Let a = -0.8799 - -0.9799. Which is bigger: 1647 or a?
1647
Suppose 2*z = -2, -2*z = 5*m - 12 - 11. Suppose m*j = -6 - 19. Let c = -4 - j. Which is smaller: 1/2 or c?
1/2
Let f = -0.48 + -21.52. Let r = f - -21.9. Do r and -79 have the same value?
False
Let t(q) = 4*q + q + 3*q - 5*q + 8. Let z be t(-3). Let i be (0/2 + z)*(-1)/33. Which is smaller: i or -2/5?
-2/5
Let i = 3 - 4. Let b be (-4)/(-4) - 11/i. Let u be (-117)/(-6)*(4 - 50/15). Is b bigger than u?
False
Let h = 246 - 246. Let x = 11845/28 + -423. Is h at most x?
True
Let b(m) = 4*m**2 - 50*m + 77. Let u be b(-6). Is u at least as big as 517?
True
Suppose 5*m + 11*t = 4948, -34*m = -32*m - 5*t - 1998. Which is smaller: -4 or m?
-4
Let z = 1353 + -1238. Which is smaller: z or 109?
109
Let v = 0.7 + 1.7. Let f = -2.1 + v. Which is smaller: f or 63?
f
Suppose -4*s + g - 739 = 0, -s - 150 - 43 = -3*g. Let d = s - -179. Let k be (-4)/10 + 56/(-10). Are d and k unequal?
True
Let o(t) = -2 - 2 + t**2 - t**3 + 6 - 8*t**2. Let y be o(-6). Let f = -51 - y. Is -17 > f?
False
Suppose -30 = -4*r - 18. Suppose 0 = 35*i - 34*i - r. Suppose i*q + 4*w + 3 = -0*w, 3*q - 5*w + 3 = 0. Which is smaller: -2/99 or q?
q
Let s = -14/69 + 1535/7452. Let d = 635 + -635. Is d not equal to s?
True
Let l = -42 + 169. Suppose -l = -2*o - 11. Is 60 less than o?
False
Let s = -138.8 + 1.8. Let i be (-4)/2*(26/(-4))/13. Is i greater than or equal to s?
True
Let a = -3324 + 3076. Is -248 less than or equal to a?
True
Suppose -2312 = 39*p + 3577. Is 0.7 greater than p?
True
Let w = 996.8 + -1097. Does w = 2?
False
Let i = 46 + -46. Suppose -2*h = -5*y + 269, 2*h + i*y + 5*y = -259. Let w be (0 - (-3)/18) + 19/h. Which is smaller: 0 or w?
0
Let q(g) = g**3 - 4*g**2 - 4*g - 2. Let i be q(5). Let k be (-1)/8 - (-968)/64. Suppose 0 = -v - i + k. Is 12 less than or equal to v?
True
Let h = 416 - 220. Let m = h - 977/5. Let s = -0.07 - -0.04. Is m equal to s?
False
Suppose -5*t = 5, 4*t = -w - t + 2. Suppose w*k + 2 = 6*k, 3*k + 5 = -r. Which is greater: -9/19 or r?
r
Let w(n) = 797*n + 7970. Let t be w(-10). Are t and 5/14 unequal?
True
Suppose 5*f - 4*k = 551 + 158, 4*f = 5*k + 569. Suppose 0 = -5*l + 5*w + 235, -12*l - f = -15*l - w. Is l greater than 47?
False
Suppose -29*q + 34*q - 39 = -2*c, -5*q + 4*c + 57 = 0. Is q less than 77?
True
Suppose 11*q + 65 = -2*q. Let h(r) = -2*r - 1. Let f be h(-1). Let k be (f/15)/((-1)/q). Do -8 and k have different values?
True
Suppose 21091 = 69*m - 95 - 6828. Is 405 != m?
True
Let z = 114 - 113.921. Let j = -1.139 + z. Let h = j - -1.16. Which is bigger: 3.4 or h?
3.4
Suppose -3*g + 7 = -41. Let q be (-1)/3 - g/6. Let b be q/(-6)*(-20)/2. Is -8 at least as big as b?
False
Suppose 0 = -395*n + 393*n - 5*c - 8383, 4*n + 4*c + 16796 = 0. Are 0.1 and n nonequal?
True
Let k = 7728 - 7800. Is k greater than or equal to -65?
False
Let t(h) = 4*h + 409. Let d be t(-102). Is 93/200 smaller than d?
True
Suppose -5*y + 12 = -3*b - 16, -38 = 5*b - 4*y. Let k be b/10 + ((-42432)/60)/13. Are -55 and k non-equal?
False
Let t = 27 + -100. Let b = -47 - t. Let h = 0.308633 + -0.408633. Which is greater: h or b?
b
Let w(j) = -j**2 + 19*j + 290. Let c be w(-10). Do -7/376 and c have the same value?
False
Let k = -485 + 483.943. Let y = -0.143 + k. Let l = 0 - -2. Which is smaller: y or l?
y
Suppose -4*q - 3*r + r + 68 = 0, 0 = -3*q - 2*r + 51. Suppose q*m - 13*m = -16. Let l = -114 + 114. Which is bigger: l or m?
l
Let t be ((-69)/(-6))/(-3 + (-7)/(-2)). Let k be 2/5 + 74/(-10) - 3. Let o be -6 - -4 - t/k - 0. Is o smaller than -2/9?
False
Let w be (92/(-12))/((-2)/(-6)). Let g = w + -74. Is -97 less than g?
False
Let c = 17.7 - 17. Let l = c + -0.58. Let h = l - 0.22. Is h greater than 2?
False
Let a = 1605012576817318611/30791708729270680 + 2/2947891440765. Let x = a - -2/11751. Let i = -34627/664 + x. Which is bigger: i or 0?
0
Let m be (-435)/(-23) - 108/12*1. Which is greater: 9 or m?
m
Let c = -72787843/2514 - -28953. Do -1 and c have the same value?
False
Let h(v) = v**2 - 9*v + 16. Let u be h(9). Suppose 0 = -0*f - 4*f + w + 172, 0 = -2*f + 4*w + 100. Suppose 0 = -2*n - 6 + f. Are u and n equal?
False
Let x(r) = 3*r - 7. Let k be x(4). Suppose -l = -3*a - 5, k*l - 7 = a - 4*a. 