= 536 - 529. Which is greater: d or w?
w
Suppose -428*v + 15 = -433*v. Which is smaller: -59/32 or v?
v
Let z = -19371479/94380 + -4/23595. Let t = -203 - z. Do t and 3 have the same value?
False
Let v(j) = j**3 - 10*j**2 + j - 3. Let i be v(10). Let z be 2*(i/1 + -4). Let h = z - 52/9. Which is smaller: h or 0?
0
Let f = -437/222 - -11/6. Which is smaller: -2/7 or f?
-2/7
Let u = 0.356 + 18.644. Is u >= 9?
True
Let a = -223 - -223.12. Let u = -0.9 - -0.7. Are a and u equal?
False
Let u = -5 + 3. Let i = 26 + -18. Suppose -5*d - 4*q - i = 10, 5*q = 2*d - 6. Is d bigger than u?
False
Let j = -933 - -936. Which is smaller: 0.12 or j?
0.12
Let n(j) = j**2 + 8*j + 5. Let d be n(-7). Let r = -30 + 43. Is d greater than r?
False
Let j be (-1)/(-2)*((-87)/(-319) - 170/(-22)). Let h be (3/(-4))/(5/(-24)). Which is smaller: h or j?
h
Suppose 7*y - 1631 = -588. Which is greater: y or -1/4?
y
Let l(u) = u - 25. Let v be l(13). Let b be ((-3)/v)/((-10)/(-16)). Which is greater: 1 or b?
1
Let c = 31 + -2. Which is smaller: 24 or c?
24
Suppose -3*t = 16 - 40. Suppose 6*k - 3*u = 2*k - t, k - 21 = -5*u. Which is bigger: -1/32 or k?
k
Let q = 809/108 + 1/108. Which is greater: 6 or q?
q
Suppose g + j - 59 = 5*g, 23 = -g + 3*j. Let a(s) = -5*s - 27. Let y be a(-3). Which is smaller: g or y?
g
Let s = 26159 + -25609659/979. Let m = s - 1395/203632. Is m > -1?
True
Let z(l) = -l + l**3 + 1 + l + 7*l**2. Let i be z(-7). Let p = 223 - 2897/13. Is p less than i?
True
Let v = 191.1 + -191. Which is smaller: v or -153?
-153
Suppose 24 = 3*n - 0. Suppose -4*v = 4*v - 128. Let g be (-13 - 1)/(v/n). Which is greater: g or -9?
g
Let s(w) = -w**2 + 30*w - 137. Let l be s(24). Suppose -2*m + 4 + 0 = 0. Suppose 7*r - l = -p + m*r, 2*r = 4. Is 0 > p?
True
Let s be (-4)/10*85/(-24361). Which is greater: s or 1?
1
Let h be (1 + 49)*14/28. Suppose -2 = h*k - 26*k. Is k <= 5/2?
True
Suppose 4*o + 1 - 10 = 5*i, 2*o = -4*i - 2. Let f be 14/(-6)*58/(-3857). Is f equal to i?
False
Suppose g = 3*g - 2. Let r be g*(0 - (0 - -1)). Let l = -1.1 - -0.1. Is r > l?
False
Let z = 324 - 341. Is z smaller than -20?
False
Let y = 2.8 + -4. Let u = y - -2.2. Which is greater: u or 9?
9
Let b(k) = -k**2 + k - 425. Let c be b(0). Is c greater than or equal to -426?
True
Let n = -53 - -54. Suppose 14*p = n + 13. Is 3/40 less than p?
True
Let t be 3/(9/6) + 3. Suppose 2*y - 7 = l, t*l + 1 = 6. Which is greater: y or 6?
6
Let i be 294/2943 + (-5)/(-45). Is i greater than 0?
True
Let i = -2011 + 122674/61. Is i at most -1?
False
Let u(b) = -b**3 - 33*b**2 - 28*b + 128. Let w be u(-32). Which is smaller: -12/53 or w?
-12/53
Let t(j) = -9*j + 5. Let n be t(2). Let y = -13 - n. Let c be y + (0 - (-2 - 1)). Do 4 and c have the same value?
False
Suppose -84*p + 91*p - 56 = 0. Let r be -1*2 - (-41)/4. Which is smaller: r or p?
p
Let k = 5961062/1993 + -2991. Is 0 < k?
False
Let g = 0 - 0.8. Let z = 4.4 + -4.7. Which is greater: g or z?
z
Suppose 8665 = -17*r + 1763. Which is smaller: -408 or r?
-408
Let l = 0.062 + -0.012. Let q = -46.05 + 52. Let a = l + q. Is -0.1 < a?
True
Let m = -1.8 - -2. Suppose -2*h - r + 6 = -3*r, 6 = 3*r. Which is smaller: h or m?
m
Let r(u) be the second derivative of u**4/12 + 3*u**3/2 + 8*u**2 - 8*u. Let n be r(-7). Suppose -n*x - 2*x + 36 = 0. Is 0 bigger than x?
False
Suppose -3*s = -2*b - 6, s = -b + 1 + 6. Suppose b*a + 3*i = 18, -a + 21 = 3*a + 3*i. Suppose -4*o = 5*u + 8, -a*u = u - 5*o - 10. Which is bigger: u or -2/13?
u
Let t(i) = -i**3 - 30*i**2 - 28*i - 15. Let f be t(-29). Let k = f + 36. Is -8 >= k?
True
Let x = 65 + -100. Let g = x + 35. Let s be g/1 - 6/(-9). Which is smaller: -2/5 or s?
-2/5
Let f = -0.19 - -0.59. Let b = 60 + -179/3. Which is smaller: b or f?
b
Suppose -540 = -3*c + 5*s - 8*s, -3*c + 555 = -2*s. Are c and 184 nonequal?
True
Let s = -48 + 42. Let a be (s/81)/((-6)/(-18)). Suppose -o + 2*x = 7, 2*o + 2*x = x + 6. Which is bigger: a or o?
o
Let o = 3.46 - 3.46. Is -428 > o?
False
Suppose -2*c + 28 = 2*c. Suppose 11*o + 0*o - 66 = 0. Let f = c - o. Which is bigger: 0 or f?
f
Let z be (-28)/24 + (-4)/(-24). Is z greater than or equal to 12?
False
Let s = 141 + -199. Let h be (6 - 2)/((-12)/(-24)*(-12)/87). Are h and s nonequal?
False
Let s be -1*1/3*-4. Let f = 132.87 + -132. Let z = -1.07 + f. Which is greater: s or z?
s
Let a = 2.567 - 2.5. Let l = a - -0.033. Which is smaller: -0.5 or l?
-0.5
Let l(h) be the third derivative of h**6/120 - 11*h**5/60 + 5*h**4/12 + h**3/2 + 7*h**2. Let x be l(10). Suppose n = -x*n - 64. Which is smaller: -2 or n?
n
Let a be (2 - 0) + (2 - 5 - -3). Let u be 2*a/(-10)*5/(-2). Let p = 17/20 + -9/10. Is u < p?
False
Let u be 12/(-8)*(25/15 - 1). Which is smaller: -3 or u?
-3
Let u(i) = -i + 5. Let z be u(3). Suppose z*w = -2*w + 12. Let b(p) = -p**3 + 6*p**2 + 9*p - 10. Let s be b(7). Is w less than s?
True
Let t be (24*4/40)/((-2)/30). Let w = t + 34. Let j = -3/52 + -9/13. Do w and j have the same value?
False
Let p = -165.8148 - 0.1852. Which is smaller: -0.1 or p?
p
Let i = -64.978 - -65. Let j = i - -0.178. Which is smaller: j or 3/2?
j
Let v be (-6)/266*(-32)/48. Let p = -256/665 - v. Is -0.02 equal to p?
False
Suppose 0 = -3*u - 3*t - 6, 0 = 4*u - u + 4*t + 11. Let i(g) = -8 + 5*g**2 - u*g**2 - 8*g - 3*g**2. Let m be i(-7). Which is smaller: 3/8 or m?
m
Let x = 274 - 269. Let d be (-2)/4 - 30/(-4). Let s = d - x. Which is smaller: s or 3/4?
3/4
Let w(s) = -s**3 + 19*s**2 - 4*s + 47. Let p be w(19). Is p at least as big as -29?
True
Let r be (299/(-21))/(6/78). Let h = 185 + r. Suppose 0 = k + 2, 3*p - 41 = -4*k - 49. Is p > h?
True
Suppose -5*o + 35 = -3*j + 8*j, 17 = o + 3*j. Suppose f = -o*f - 9. Let r = -0.11 + 0.31. Is r bigger than f?
True
Let z(g) = -g**2 - 18*g + 20. Let i be z(-19). Let p = -925/4893 - 1/699. Which is greater: i or p?
i
Let n = 11.04 - 11. Let x = -6 - -5.64. Let i = x - n. Which is bigger: i or -3/2?
i
Let v = 13 + 1. Let c be (-4)/v - (-61)/(-7). Suppose 23*m - 20*m + 24 = 0. Do m and c have the same value?
False
Let m(b) = b**3 + b**2 + 6*b - 7. Let q be m(1). Is q equal to 30/43?
False
Let f be 80/(-188)*9 + 4. Let c = f + 336/235. Which is smaller: c or 1/3?
1/3
Let q = -4612/19 - -243. Let a = q + -232/665. Which is smaller: a or 1?
a
Suppose 3*o - 418 = -2*o - w, 2*w + 424 = 5*o. Which is bigger: o or 83?
o
Let p be (-222)/(-185) + (-4 - 14/(-5)). Is -2/9 less than p?
True
Suppose -4*p - 6 + 18 = 0. Suppose m - 5*j - p = 0, 4*j = -2*m - j - 9. Let r be 3/12*-2*m. Which is smaller: 2/39 or r?
2/39
Let p = -31 + 31. Suppose -2*w = -p - 4, s + 5*w - 21 = 0. Which is smaller: 13 or s?
s
Let t = 7 + -8. Let g be (-129)/(-5)*7/(-42). Let b = -539/130 - g. Is b smaller than t?
False
Let u = 508 + -204. Is -1 greater than u?
False
Let y = -231 - -165. Which is smaller: y or -65?
y
Let o be (-2984)/(-210) + (-6)/9. Let m = o + -92/7. Let b = -0.05 + 0.15. Is m > b?
True
Let v = -35 + 11. Let q = v + 7. Let a = q - -17. Is a at least -2/37?
True
Let u be ((-20)/(-8) + 1)*(-6)/(-21). Let q = -2/5261 + -10328/510317. Let v = q - -398/485. Does u = v?
False
Let y be 15/((2 - -3) + (-36)/7). Is -105 >= y?
True
Let c = -52 - -96. Suppose -4*i + c - 4 = 0. Suppose -4*n - i = 2*l, 5 = -2*l - 1. Is n greater than -3/5?
False
Let g be ((-4)/(-10))/(102/(-85)). Let u(q) = q**2 + 3*q - 6. Let k be u(-5). Suppose -30 = -2*s + k. Which is greater: g or s?
s
Suppose -3*z + 59 + 103 = 5*m, m = -3*z + 42. Are m and 33 non-equal?
True
Let w = 1/475 - 66527/12825. Is -4 >= w?
True
Let u = 99 + -34. Let c = -67 + u. Which is smaller: c or -15?
-15
Let c = -3408 - -3406. Let x = -14/67 + -667/335. Which is greater: c or x?
c
Let c be 8/((3 + 3)/3). Suppose 2*g = -c*g + 4182. Let p = -3474/5 + g. Is 1 greater than p?
False
Let l = -17 + -7. Let t = -24.8 - l. Let c = t + -0.2. Which is bigger: 2/17 or c?
2/17
Let m = -806 - -809. Which is smaller: 5/61 or m?
5/61
Suppose 0 = 5*n + 4*o - 41, 5*n - 23 = 2*n - 2*o. Suppose n*a = 6*a. Which is bigger: a or -0.27?
a
Suppose 2*z - 10*z = -504. Which is greater: 65 or z?
65
Let r = -518/55 - -174/11. Is 5 greater than r?
False
Let r be 848/(-1060) + (-1)/55. Which is smaller: r or 0?
r
Suppose -2*a + 42 = -q, 0 = 4*a - 6*q + 3*q - 88. Suppose 18*y = a*y + 1. Whi