*u**2 - 7*u + 5. Let q be a(-4). Is d at least q?
False
Suppose 0 = 3*z + 2 + 4. Let m = 0.005 - -20.995. Let d = -20.9 + m. Is d smaller than z?
False
Suppose 4*r + r = w + 24, 5*w = 4*r - 15. Let n be 17/(-4) + (-4)/(-16). Let g be n/(16/10) - -3. Does g = w?
False
Suppose 4*w + 3*o = 60, 3*w - 32 = 3*o - 2*o. Let s be 20/(-88)*-2*w/(-10). Is s at least -1?
True
Let q = 7 - -4. Let o = -6 + q. Suppose -2*z = j + 2, -z - 2*z = 5*j + 3. Is z >= o?
False
Suppose 6 = s + 2. Suppose -s*v + 8*v + 72 = 0. Let u = 18 + v. Which is smaller: u or -2/5?
-2/5
Let m = 74 + -445/6. Let b = -39688 + 39687.9. Is b >= m?
True
Let o be (-3)/(6 - 9) + (-7)/6. Let n = 106 + -103. Is n smaller than o?
False
Suppose 6*v + 2*v = 64. Suppose -3*u = -v*u - 5. Which is smaller: -10/7 or u?
-10/7
Suppose -p = 2*l - 68 + 47, -5 = -5*p. Is l > 146/13?
False
Let w be 82/(-4) + -6*(-11)/(-132). Which is greater: w or -1?
-1
Suppose -4*c = 6 - 38. Let m(d) = 125*d + 887. Let i be m(-7). Which is bigger: i or c?
i
Let n be ((-15)/30)/(1/214). Let m = -202 - -94. Is n greater than m?
True
Let q be (-4 + -10)*6/4. Let z be q/6 + (-28)/8 + 2. Is z greater than -9?
True
Let r be 3/((9/2)/(-3)). Let t = -1184 - -17753/15. Let b = t - 169/120. Which is smaller: b or r?
r
Let f(d) = 2*d**2 - 37*d - 19. Suppose 3*u - 4*u + 19 = 0. Let z be f(u). Which is greater: z or 8/13?
8/13
Suppose 1 = 10*d - 489. Is d bigger than 53?
False
Suppose -896 = -19*n + 890. Are 92 and n equal?
False
Let j = -52 - -52. Let w be ((-4)/(-6) - j) + 4/(-42). Let r(b) = b**2 + b - 1. Let u be r(-2). Which is bigger: u or w?
u
Let u = 26 + -24. Suppose -20 = y - u. Let t be (-6)/88*(-16)/y. Is 0 at least as big as t?
True
Let a = -0.0165 - -70.3165. Let n = -71 + a. Are n and 3 non-equal?
True
Let c(d) = d**3 + 5*d**2 + d + 4. Let u be c(-5). Let w be (u/(-1))/((-3)/(-39)). Let a = -2 - w. Is 0 at most a?
False
Let h = -289 + 286. Let m = 0 - 5. Which is smaller: m or h?
m
Let t be ((-50)/(-15))/(4/(-54)). Let h be (4/6)/((-10)/t). Suppose -h*q + 0 = -2*b - 1, -q - b = -2. Is q < -2?
False
Suppose -68*a - 7602 = -54*a. Which is smaller: -544 or a?
-544
Let c = 2340 + -208257/89. Let t = 13075/196 - 2347979/34888. Let o = t - c. Is o != -2?
True
Let c be (-48)/10*40/12. Let o be -4*((-68)/c - 4). Is o bigger than -2/17?
False
Let q = 13 - -101. Which is smaller: q or 115?
q
Suppose 4*q = c - 88, c + 5*q = 23 + 56. Let k be ((-24)/(-10))/(4 - c/20). Which is smaller: -14 or k?
-14
Let c(m) = 3*m - 17. Let j(g) = g**2 + 7*g - 2. Let x be j(-8). Let a be c(x). Which is smaller: a or 20?
a
Let x = 3624/103 + -162060/1339. Let b = -210950/2457 - x. Does -1 = b?
False
Let m = -2782 - -2647.95. Let x = m + 131. Let d = x - -0.05. Is d != 1/2?
True
Suppose -2*r + 24 = r + 2*f, -3*r + 21 = f. Let o be r/8 + 714/(-56). Which is bigger: o or -80/7?
-80/7
Let i(k) = k**2 - 5*k + 7. Let l be i(4). Suppose -5 + 2 = -l*d. Let w be 1/((-2)/(-2))*d. Which is smaller: 13 or w?
w
Let w = -251 + 272. Do w and 1/3 have different values?
True
Let d = -131.2 + 131. Is 70 > d?
True
Suppose -10 = -3*u + 2. Suppose -u = 13*a - 14*a. Let p = a - -9. Is 13 at least p?
True
Let i be 2 + ((-4)/(-3) + 0)*186. Is 251 greater than or equal to i?
True
Let b = 681 + -695. Let y be 1/(3/(-3)) + -11. Is b not equal to y?
True
Let b = 17 - 32. Let q = -14.8 - b. Let w = -0.37 - -0.07. Which is smaller: w or q?
w
Let c be (-5 - 7)*(-3)/(-60)*-2. Do c and 0.3 have the same value?
False
Suppose 0*z = 3*z - i + 65, z + 23 = i. Let s be -6 + 7/(z/6). Let k = -9 - s. Is k at most as big as -1?
True
Let z = -1950/41407 - 2881472515/5258689. Let a = z - -548. Let c = -277/2921 + a. Which is smaller: 0 or c?
c
Let w be 78/(-2)*(-213)/(-198). Let i = w - -42. Suppose 7*l - 2*l + 5 = 0. Is l bigger than i?
False
Suppose -4*a = 2*d - 40, d + 3*a + 69 = 4*d. Let o be 17/(-3) + d/33. Which is bigger: 5 or o?
5
Let j(q) = -6*q**2 + 9*q - 11. Let t be j(4). Is -71 greater than t?
False
Suppose -c + 1 = -8. Let t be c/15 - 8/5. Let i be -1 - (-2)/((-8)/(-3)). Which is greater: i or t?
i
Let j = 29 + -9. Let o = -20939 - -20957. Which is smaller: j or o?
o
Let c be 2 + 0 + -1*3. Suppose 6*w - 2*w - 16 = 0. Suppose w*n = -22 + 6. Is c < n?
False
Suppose -622*v = -621*v + 63. Is v less than 3?
True
Let v = 1 + 3. Suppose v*q = 9*q - 10. Suppose w + 4 + q = 0. Is 2/3 greater than w?
True
Suppose -162*l - 3006 = -156*l. Is l at least -501?
True
Let s = 85 - -8. Suppose -5*j + 2*f = 77, 4*j = -f + 34 - s. Which is smaller: j or -14?
j
Let y = -271/11718 - -1/217. Is y smaller than 0?
True
Let n be 8/20 - (-464)/(-10). Let h(i) = 14*i + 8. Let p be h(-4). Are p and n non-equal?
True
Suppose 48 = -g - 17. Let y(f) = f**3 - f**2 - 65. Let p be y(0). Are p and g unequal?
False
Let f = -1.1 + 0. Let s = -0.1 - f. Let t = 15 + -8. Is s smaller than t?
True
Let f = -8.0265 - -0.0265. Are f and -8 equal?
True
Let k = -54 - -62. Let l be (k - 7)/1*1/(-1). Which is smaller: 6/41 or l?
l
Let l be ((-2)/((-80)/294))/24. Let x = 3/32 + l. Let f = -21.9443 - 0.0557. Which is greater: x or f?
x
Suppose -x = 2*x - z, z = 0. Let k = x - -2. Suppose -2*d - 3*c = k, 4*d + 4 = -5*c + c. Which is bigger: d or -1/15?
-1/15
Let k = 50/21 + -8/3. Let s = 933 + -924. Is s bigger than k?
True
Let d = 343 + -139. Which is smaller: d or 1?
1
Let d = -0.2769 - -0.1769. Let v = -957 + 6688/7. Is d greater than v?
True
Suppose -5*r + 35 = 2*z, -5 = -4*z - 5*r + 50. Let n = -29/3 + z. Which is smaller: 6 or n?
n
Suppose 2*t + 100 = -5*x + 2*x, 2*t = 5*x + 140. Let v = -446 + 444. Let h be (-195)/x + v/4. Is h > 8?
False
Let v = 143123/16299 - 6/1811. Is 8 at least v?
False
Suppose 0 = 3*g - 15 + 84. Let w = g - -31. Suppose -o - 2*n - n = -15, -5*o + 49 = 2*n. Which is bigger: o or w?
o
Let a be (10 - (-468)/(-48))*242. Is 60 at least as big as a?
False
Suppose -17*r = -20*r - 12. Let k = -105449/27335 - -2/3905. Is r less than or equal to k?
True
Suppose 4*d - 70386 = 5*d. Let x = d + 1055353/15. Let r = 29 + x. Which is bigger: -1 or r?
r
Let j(d) = d**2 - 4*d + 3. Let l be j(5). Let f = -41/5 + l. Let n = -393 - -392. Which is bigger: f or n?
f
Let g be (6 - 14) + ((-770)/7)/(-5). Which is greater: g or 173/13?
g
Let j be (-1 - (-2)/1) + -2. Let k be 0 - (12/(-48))/(2/6). Let t = 1 - k. Which is smaller: j or t?
j
Suppose 0 = 2*b + 3*u - 11 - 19, 0 = -4*u + 16. Suppose 2*r - 51 = -5*n, 60*n - 58*n + r - 22 = 0. Which is smaller: n or b?
n
Let g = 195 - 1391/7. Let t = -190/21 - g. Let l be (-1 - -3)/(1/(-2)). Which is greater: l or t?
l
Suppose -2*w = 3*a - a + 12, 12 = -3*a - w. Let u be (-12)/(-15) + 2 + a. Which is bigger: -1 or u?
u
Let c be 3 - -1 - (-25641)/48. Let g = 538 - c. Is g smaller than -1/2?
False
Let o = -2.2 - -2.19. Which is greater: o or 14?
14
Let q = -141 + 137.1. Which is smaller: q or 2/7?
q
Let n = 10635/4 + -2658. Which is smaller: n or -56.7?
-56.7
Let y = 35687/558 - 281/186. Is y at most as big as 61?
False
Let j be (14/(-35))/(2 + 15/(-25)). Which is smaller: j or 215?
j
Let l be -1 + -1 - (-242)/122. Suppose -459*x - 112 - 347 = 0. Is l at most as big as x?
False
Let z = -32/85 - 2/85. Let l be 45/918 - 1/6. Is z at most l?
True
Let v(s) = -s**2 - 8*s - 9. Let h be v(-4). Suppose -h*m + 840 = -2*m. Let d be m/(-90) + 2 + 0. Which is smaller: d or 0?
0
Suppose 16 + 14 = -3*z. Let v be (-14 - -6)*(z - (-2)/2). Is 72 <= v?
True
Let j be 26 - (-13)/((-13)/8). Is -3/8 less than j?
True
Suppose 5*b - 10 = -0*y + y, 5*b = 2*y + 10. Suppose -4 = b*r, -5*w + 5 = 5*r - 0. Suppose u = -w*i - 21, 5*u - 2*i = i - 15. Does -5 = u?
False
Let t = 114907/67 + -1715. Let i(p) = -p + 14. Let f be i(0). Let z = -13 + f. Which is smaller: t or z?
t
Let l = -818/143 + 72/13. Let g = -0.2 - -0.3. Which is greater: g or l?
g
Suppose 2*s - 1 = 7. Let j(m) = 6*m + 7. Let l be j(0). Which is smaller: s or l?
s
Let x be (79*(-1)/2)/((-1)/(-2)). Let g be x/(-2)*(-24)/12. Are -80 and g non-equal?
True
Suppose -8 = -4*w - 0, 0 = -3*p - 5*w + 334. Do 105 and p have the same value?
False
Let g = -192 + 191. Is -88 less than g?
True
Let c be ((-70)/15)/(1/(-6)*4). Suppose 0 = c*b - 2*b - 90. Is 18 less than or equal to b?
True
Suppose 6*d = 2*d + 44. Suppose d*z + 20 = 16*z. Is -4 greater than