= -2/51 + 478/51. Suppose -5*w = -2*w. Let j = w + 10. Is u not equal to j?
True
Let g be (3 + -5 - 0)*(-4 - 0). Let u be (g/132)/(8/(-288)). Which is greater: -2 or u?
-2
Let w be ((-3)/(-2))/((-30)/(-3280)). Suppose -102 = -5*r - g + 91, 0 = -4*r + 4*g + w. Let i be 3*12/((-4)/(8/r)). Which is smaller: -1 or i?
i
Suppose -200*n + 4470 = -170*n. Let z be (-897)/(-6) - 3/2. Is z equal to n?
False
Let h be 30/(-6) + 245/50. Is -1.889 not equal to h?
True
Let y = -648 - -648. Let d = 9148/7 + -1303. Which is smaller: y or d?
y
Let b be (-4)/6 - (-2)/(-42). Let p = -69298/5 - -13788. Let j = p - -72. Which is smaller: b or j?
b
Let j be (-3)/8 + ((-3194)/(-15))/((-14160)/(-25)). Are j and 0 equal?
False
Let m = 22490/3 + -6818. Is -3 greater than or equal to m?
False
Let z = 14 - -16. Let x be ((-4)/5)/((-12)/z). Let r be (-2 + 2 + x)/((-6)/(-9)). Is r less than 8?
True
Let p = 10 + 6. Suppose -5*w - p = 2*q - w, -4*w - 34 = 3*q. Let h be q/44*(1 + 5/(-3)). Which is smaller: 0.1 or h?
0.1
Suppose 6*q - 25*q = 38. Let k(n) = -8*n**3 - 5*n - 3. Let y be k(q). Is y less than or equal to 72?
True
Let k = 5908.12 + -5908. Let n be 2/(-72)*3/4. Let p = n - -53/240. Is k < p?
True
Let z = 5652 - 5652.1. Which is bigger: -2112 or z?
z
Let o = 480/4663 - 6478698/62666057. Let l = -5657849/67195 - o. Which is smaller: -84 or l?
l
Let y = 17.531 - 7.531. Which is smaller: -1.5 or y?
-1.5
Let s(w) = -w**3 - w**2 - 2*w - 1. Let z = 34 - 35. Let q be s(z). Let p be q + -1 - -2 - 3. Is -2/13 at most p?
False
Let k be 0 - (15/(-6) + 3)*-14. Suppose 2*g - 9 = -k. Let z = -938 - -27205/29. Does z = g?
False
Let s = -38802 - -20465. Which is bigger: -18336 or s?
-18336
Let a(h) = h**2 - h - 4. Suppose 3*z = 4*x - 3 - 13, 2*z - 4 = -x. Let o be a(z). Let j = 0.837 + 0.163. Is o greater than or equal to j?
False
Let b(u) = 12 - u**2 - 128*u + 39*u + 43*u + 35*u. Let p be b(-12). Which is smaller: 17/13 or p?
p
Let a be ((-19)/(-15) - 1)/(8/60). Is 41 not equal to a?
True
Let y = -470 - -470.0317. Let j = y + 7.9683. Is 13 greater than j?
True
Suppose g + 2*g - 3 = 0. Let i be (-2 + (-199)/(-100))*(-44)/7. Let r = i + 2/25. Which is smaller: r or g?
r
Let z be 5/(((-1836)/216)/((-1)/(-2))). Is 2 at least as big as z?
True
Let a(y) = 18*y**2 - 6*y - 24. Let m be a(-1). Is -17/330 greater than or equal to m?
False
Suppose 0 = 4*h - 6*h - 2. Let f be ((-3)/(-330))/(2040/4488). Is h less than f?
True
Let z = -2960 - -2964. Is 4 equal to z?
True
Suppose 20 = k + 3*c + 2*c, 5*c = -5*k + 20. Let u = -13124/1456975 - 1/4483. Let x = -1327/2925 - u. Which is smaller: x or k?
x
Let o be 5*(((-46)/(-69))/((-15)/(-9)))/(-1). Is o less than -72?
False
Let r = -8.35 - -9. Let v = r - 3.65. Let k = -10 - -37/4. Which is smaller: k or v?
v
Let g(n) = -5*n - 30. Let j be g(-6). Suppose j = 26*q - 29*q - 9. Let h be q - (-740)/92 - 5. Which is smaller: h or 0?
0
Let t = -8198.1 - -8198. Let m = 1321.84 - 1344. Let h = m - -0.16. Is h smaller than t?
True
Let s be (3/6)/(63/126). Which is greater: -1/4540 or s?
s
Let a be ((-48)/(-11456))/(-1 + -2). Let q = a + -19321/7876. Which is smaller: q or -2?
q
Let k be (-5)/95 + 1828163/(-323). Which is bigger: k or -5659?
-5659
Suppose 8*s - 3*x - 16 = 7*s, -4*s + 124 = 3*x. Let j be (-2)/(-3)*(10 + 966/s). Is 29 > j?
False
Let c = 181645939 + -4576024495865/25192. Let z be 1 + -1 + (-3)/376. Let u = c - z. Is u less than or equal to 1?
True
Let z = -35.9 + 52.6. Let g = 17.4 - z. Is g >= 0.4?
True
Let o(i) = -37*i - 1194. Let j be o(-34). Is j < 60?
False
Suppose 22 = 4*z - 18. Let i(d) = d**2 - 7*d + 20. Let r be i(4). Suppose 5*j - r = -2*m, 2*m - 5*j = 7 + 21. Which is smaller: m or z?
m
Let k be (48/40)/(76/50*(-520)/559). Which is smaller: 0 or k?
k
Let z = 49.04 - 48.04. Which is smaller: 18208 or z?
z
Let g be (-7)/30*3096*129/19264. Which is bigger: -6 or g?
g
Let a be ((-2)/(-8))/(-22 - -21) - (-1285)/20. Is 700/11 less than a?
True
Let a = -19 + 16.6. Let o = -15.4 + 12. Let s = a - o. Is s smaller than 1/3?
False
Suppose 0 = -3*l + 34 - 10. Let r(j) = -3*j + 9 + 3*j**2 + 6*j**3 - l*j**3 - 4. Let w be r(2). Is -2 at least w?
True
Let y = 5105 - 5111. Which is bigger: -198/41 or y?
-198/41
Let k be ((-85)/(-20) - 3)/(725/232). Is -1719 not equal to k?
True
Let o(w) = -2*w + 10. Let m be -5 + (-64)/40*-5. Let g be o(m). Is g greater than 51/19?
True
Let c = 700/3 + -686/3. Let o(h) = -h**3 - 6*h**2 + 8*h + 6. Let s be o(-7). Let t(q) = 5*q**2. Let j be t(s). Are c and j non-equal?
True
Let d = 0.368 - -260.632. Let j = d + -260.3. Let z = 7 + -12. Which is smaller: z or j?
z
Suppose 12468 = 41*j - 52927. Which is bigger: 1594 or j?
j
Let g = 6322/9 + -706. Let n = g + 26/9. Is n not equal to -1/23?
True
Suppose 0 = -3*x - 2*c + 147, 0 = 2*x - 8*c + 6*c - 88. Let u be 10*(-5)/(-3)*3. Is u equal to x?
False
Suppose 5*s - h = 128, 4*s + 5*h - 112 = h. Is 437/16 at most as big as s?
False
Let k = -5649415/4878 + -673/1626. Let n = k + 5791/5. Which is bigger: -1 or n?
n
Suppose 0 = -64*d - 60*d - 25172. Suppose -2*a - 574 = 4*i + 238, -5*i - 2*a - 1014 = 0. Which is smaller: i or d?
d
Let h(x) = 37*x - 286. Let z be h(10). Is -1 < z?
True
Let a = 163006 - 151432560/929. Are a and 0 equal?
False
Let w(n) = -4*n**2 - 293*n - 2846. Let d be w(-10). Is -329 at most as big as d?
True
Suppose 2*r - 6*r - 5*l = -7, 5*r - l = 16. Let v(h) be the third derivative of -h**4/24 + 5*h**3/6 - h**2. Let g be v(r). Is -3 <= g?
True
Suppose -17 = -4*t - f, 0 = -2*t - 3*f + 9 + 2. Let b(k) = -k**3 + 4*k**2 + 3*k - 9. Let i be b(t). Suppose 0*n - i*n = -0*n. Are n and 27 unequal?
True
Let r = 63410.9 + -63411. Let p be -1 + (-1)/(-10)*9. Is r bigger than p?
False
Suppose 5*x + 4*v - 544455460 = -0*v, 2*x + 2*v - 217782186 = 0. Let p = 13611258623/125 - x. Let u = -1019 - p. Which is smaller: u or 0?
0
Let m be 11 + 1/(185*(-6)/13422). Is m > -2?
True
Suppose 3*k = f - 21 - 98, -3*k = 15. Let w(z) = -3*z**2 + 2. Let h be w(-2). Let o be 2/(-8) - h/f. Which is smaller: 0 or o?
o
Let s = -6 + 9. Let v be -3 + 0 + 6/s. Let g = 8.9 - 8.97. Which is smaller: g or v?
v
Let c(u) = 3*u**3 + 2*u**2 - u + 10. Let t be c(-3). Let r be (t/(-60))/((-3)/(-6)). Which is bigger: r or 2?
2
Let i = 2263 - 2258. Is i at most -7?
False
Let i = 32/23 - 56/23. Do i and -2 have different values?
True
Let b be (43/2*1)/(150/(-300)). Which is smaller: -52 or b?
-52
Suppose 41 = -4*p - 6*p + 151. Is 86/7 equal to p?
False
Let v = 161/26 - 1179/182. Let q = 0.8 + -0.4. Let h = q - 0.5. Are h and v equal?
False
Let t be ((-14)/(-9))/(12/(-9)). Let q = 179.37 + -179.47. Which is smaller: t or q?
t
Let u = 2474 - 2427. Is u <= -7?
False
Let u(j) = -3*j - 16. Suppose b = 15*b - 112. Let r be u(b). Which is greater: r or -39?
-39
Suppose -2*t - 1 - 3 = 0, s - t = 2. Let g be (-7)/(-7) - 174/204. Let d = -163/646 + g. Which is smaller: s or d?
d
Let v be (15/(-4) + 4)*(13 - (13 - 0)). Which is greater: v or -45/587?
v
Let p(a) = a**3 + 16*a**2 + 17*a + 35. Let u be p(-15). Suppose 56 = 5*h - 4*g - 142, u*g - 142 = -4*h. Let t be 19/3*-2*-3. Is t > h?
False
Let n(o) = o**2 - 26*o - 154. Suppose 5*c + 0*x + 2*x + 33 = 0, -1 = -x. Let v be n(c). Which is smaller: v or 74?
74
Let p = -43 - -20. Suppose 5*x = 4*n + 86 + 50, 0 = -3*x + 12. Are n and p equal?
False
Suppose 0 = -2*p + u + 69, -3*p - 2*u + u + 106 = 0. Suppose 48 = -2*n + 8*n. Suppose -n - 97 = -3*t. Is p smaller than t?
False
Let c be 6/27 + (-99)/81. Let q be (c*(-5)/(-20))/((-1)/52). Is 72/5 > q?
True
Let b be 226/6*(-342)/(-152). Which is smaller: 85 or b?
b
Let f be (-5)/25 + 303/15. Let q be (-28)/f + 4/10. Let s be q*(8 - 4) + 4. Which is greater: s or 1?
1
Suppose g + 4*f - 5*f = 53, 2*g + 4*f = 136. Let b = 760 - 700. Is b less than g?
False
Let i = 218 + -341. Let q = -119.5 - i. Which is smaller: 1 or q?
1
Let h be 3/(-4) + 2/(-8). Let n(u) = u**3 + 40*u**2 - 47*u + 22. Let l be n(-41). Let d be l/(-180) + (-7)/63. Which is greater: h or d?
h
Let g(i) be the second derivative of -i**5/20 - 7*i**4/12 - 7*i**3/6 + i**2 - 5*i. Let o be g(-6). Let y be 0 - (-46)/o - 1/(-4). Which is bigger: 2 or y?
y
Let x = 0.531 + -27.231. Let t = x - -26.713. Which is smaller: 6 or t?
t
Let w = 3.939 + -0.469. Let i = w - 3.57. Let j 