63*n = -58*n + 295. Let v = 60 + n. Which is bigger: 2/127 or v?
v
Suppose -4*u - 9 = -5*c, -4*u + u + c = -7. Does 27/10 = u?
False
Let i be 14/15 + -1 + 0. Suppose -a - 12*a = -26. Suppose a - 2 = r. Is r bigger than i?
True
Suppose 4*w - 8 = 5*v, w = -w + 5*v + 4. Let a be (w/2)/(3/18). Suppose -3*o = 3*u - a, 6 + 7 = 2*u + 5*o. Is u less than -1?
False
Let w be (-3)/(-16)*(-12)/(-3). Suppose -7*x - 12 = -x. Let n be x*(4/32 + (-22)/48). Which is bigger: n or w?
w
Let o = -14 - -10. Let l be 18927/72*o/258. Let k = -14/43 - l. Is k greater than or equal to 5?
False
Let z = 3.4 + -4. Let s = -0.9 - z. Let h = 395.1 - 395. Which is greater: s or h?
h
Let w(j) = -j + 39. Let i be w(0). Let k = -38 + i. Which is greater: k or 2/117?
k
Let u(t) = t - 2. Let y be u(1). Let a = 1 + y. Let b(i) = -i - 7. Let m be b(a). Which is greater: m or -5?
-5
Let v(t) = -12*t + 7*t**3 - 2 - 6*t**3 + 3 + 13*t**2 - 2*t**3. Let r be v(12). Let j = -3363/10 + 336. Is j at least as big as r?
False
Suppose -h + 144 = -5*h. Let o = h + 35. Is 2/7 >= o?
True
Let y(h) = -3*h**2 - 11*h + 17. Let s be y(-9). Let w be 3/18 - s/(-6). Let i = w - -26. Which is bigger: 6 or i?
6
Let o = 1146 - 1161. Which is bigger: 3 or o?
3
Suppose -3*r - 12 = 0, l - 13 = -2*l + 4*r. Is 1/76 < l?
False
Let t be (44/6)/((-8)/(-24)). Let i = t + -23. Is -21/10 not equal to i?
True
Suppose 135 = -15*m + 90. Which is bigger: 1/95 or m?
1/95
Let f = 31828 + -350379/11. Is -26 at most f?
True
Let d = -279131413 - -11498539432827/41194. Let q = d + 1/958. Is 1 > q?
True
Let u = 1299 - 1135. Which is smaller: u or -3?
-3
Let t be 21/6 - 6/(-4). Suppose t*b + 3*u = -9, 0 = 3*b - 6*b - 4*u - 12. Which is bigger: b or -4/11?
b
Let v = -14 + 29. Let y(t) = 9*t - 13. Let g be y(3). Which is greater: g or v?
v
Let z = -250 - -38. Which is greater: -213 or z?
z
Let s = -16 - -15. Let z be 0 - (s - (0 + -1)). Suppose -r + z*r + 2 = 2*d, -4 = -2*d - 2*r. Is d greater than or equal to -1/25?
True
Let c = 35.22 + -37. Let n = c - 0.22. Is -1/3 smaller than n?
False
Let w(h) be the third derivative of h**6/120 - 2*h**5/15 - 5*h**4/24 - h**3/6 - 12*h**2. Let v be w(8). Which is bigger: v or -39?
-39
Suppose 0*l - 5*l = 305. Let c = 58 + l. Which is smaller: c or -7/3?
c
Let v be -1 + (-153)/(-2) + 592/1184. Which is smaller: v or 70?
70
Let i be (-185)/(-537) - (-1)/(-3). Which is smaller: 0 or i?
0
Let c = -420 - -419.97. Which is smaller: 1/2 or c?
c
Let j = -0.036 - 46.964. Let d = -46.93 - j. Let r = -0.1 - -0.1. Which is greater: d or r?
d
Suppose -51*r = 5*t - 52*r - 236, 233 = 5*t + 2*r. Let v = -0.3 - -1.3. Which is smaller: v or t?
v
Let u = -11 + 53. Is 4 bigger than u?
False
Let h = -1759 + 1660. Is h greater than -98?
False
Let q = 31 + -1. Let u = q - 16. Let z be 49/u*3/14. Is 1 less than z?
False
Let j(q) = q**2 - 6*q + 1. Let y be j(6). Let u = -17 - -16.47. Let c = 1.13 + u. Which is smaller: y or c?
c
Let b = 666 - 667. Does -5/98 = b?
False
Let g be 15/6*1*6. Let k = g - 7. Let p(a) = -a**2 + 19*a + 49. Let u be p(21). Are k and u nonequal?
True
Suppose 0*i = 4*i - 28. Let q = 0.17 - -6.83. Let n = q - 7. Is i < n?
False
Let t = -11.8 - 0.2. Let f = 13.12 + t. Let z = 0.12 - f. Which is smaller: z or -1/2?
z
Let y = -214 - -202.9. Let t = y + 11.5. Is 1 <= t?
False
Let y be (-18)/12*72/14. Which is smaller: -7 or y?
y
Suppose 2*y + 14 = -12*y. Which is smaller: y or 163/5?
y
Suppose -3*w + 54 - 9 = 0. Let g be (-4)/((-40)/15)*28/3. Which is smaller: w or g?
g
Suppose 4*q - 2*n - 12 = 14, -2*q = 3*n - 17. Suppose 0 = -15*p + 29*p. Suppose p = -q*x + x. Is -4/3 > x?
False
Let d = -187 + 184. Let n = -0.3 - -0.2. Let f = 0.3 + n. Which is bigger: f or d?
f
Let s be (-3 - -1) + (-14)/(-14) - 0. Let q = 11 + -10. Which is bigger: q or s?
q
Let p = -924 - -924. Which is smaller: -198 or p?
-198
Let c be 10 + (-10 - -5) - (-3 + -58). Is 65 equal to c?
False
Suppose 2*z = 4*k - 18 - 50, -3*k + 33 = 3*z. Let b be 4/6*k/10. Suppose -3*a - g = b, 2*g = a + 9 - 4. Are -1 and a non-equal?
False
Suppose -76 = 4*r - 8*r. Let a be 10/(-75) - 5436/(-270). Are r and a equal?
False
Suppose 0 = -z + 1 - 142. Let n be z/(-12) + (-3)/(-12). Let m be 5 + 3 + 3 + 0. Which is smaller: n or m?
m
Suppose 3*z = 2*q - 79, 4*q = 4*z + 14 + 90. Do z and -0.7 have different values?
True
Let v = -34.7 + 34.6. Is v bigger than -2/121?
False
Let j be (12 + -13)*(-2 + -124). Is j greater than or equal to 0?
True
Suppose 23*g + 339 = 1650. Which is bigger: g or 54?
g
Let g = -13 - -2. Let u = -9.96 - 0.04. Let q = g - u. Which is greater: -0.2 or q?
-0.2
Let t be (-2 - 1 - -2) + 16. Suppose -2*w + 2*c + 2 = 3*c, w = 3*c + t. Suppose -l + 4*l = w. Which is smaller: -2/9 or l?
-2/9
Let w(p) = -8*p - 13. Let h(k) = k**3 - 13*k**2 - 29*k - 22. Let x be h(15). Let o be w(x). Which is bigger: 44 or o?
44
Let z be 2/28*220/(-11). Let u = -41 + 41. Which is bigger: z or u?
u
Suppose -x - 10 - 18 = 0. Let h be 36/(-44) + 1 - (-642)/(-22). Is x at least as big as h?
True
Let k be 9/(-2)*(-9 + 11). Let i be 116/78 + (24/k)/2. Suppose -4*g - 4 = 0, -3*n = -0*n - 2*g - 5. Which is greater: n or i?
n
Let a(m) = 143*m - 291. Let f be a(2). Let u be 13/(1*-1 + 0). Let w = u - f. Is -2 at most as big as w?
False
Let a = -65.33 + 65. Let o = a + -4.67. Let k = 5 - 6. Which is smaller: o or k?
o
Let l = -42116 - -42130. Let d(u) = u**3 - 5*u**2 - u + 2. Let r be d(5). Is l less than r?
False
Let o = -159 - -253. Let d = -91 + o. Which is smaller: d or -5?
-5
Let h be -1*1143/2358 + 2/4. Let g = h - -119/786. Which is bigger: 1 or g?
1
Let j(t) = 2*t - 10. Let h be j(8). Let b = -71 - -98. Let z = b - 21. Is z < h?
False
Suppose 0 = -4*z - 5 + 17. Suppose 0 = -t + z*r - 11, 5*t - 2*r - 13 = -4*r. Which is smaller: t or 1/51?
1/51
Suppose 0 = 4*y + 5*d - 39 - 90, -y - 4*d = -46. Let p be -1*y/(-4 + 6). Is -14 greater than or equal to p?
False
Let h = 852 + -7676/9. Is h equal to 2?
False
Let f be (1 - -1) + (-3)/1. Let z = -14.2 + 15. Let l = -2.1 + z. Is f equal to l?
False
Let r(h) = -h**2 - 9*h + 11. Let a be r(-9). Let f = 13 - a. Suppose -2*q = q + 3*b + 15, -q = -f*b - 10. Which is smaller: q or -1?
-1
Let t be (-4 - (0 - 4))/(-1). Let w(n) = -n**3 + 6. Let r be w(t). Suppose -15 = -5*c + 5*u, -r = -4*c - 2*u + 4*u. Do 0 and c have the same value?
True
Suppose -16*c + 13*c + 48 = 0. Let r = 19 - c. Suppose -r*w + 19 = 3*d - 5, -5*w + 5*d + 90 = 0. Which is smaller: 11 or w?
11
Suppose -2*j = -5*h - 274, 5*h + 142 = -27*j + 28*j. Which is bigger: 136 or j?
136
Let k = -1094/7 - -156. Let q be 1 + 1 + 9/12*-4. Are q and k unequal?
True
Let s = -0.6 + 0.5. Let o be 18308/(-30580) + 12/20. Let i = o - -2996/47399. Which is greater: i or s?
i
Suppose -445 = -b + 8*b - 312. Let q be (132/15)/1*-2. Which is greater: q or b?
q
Let l be (6*1)/(42/(-280)). Let x = -36 - l. Do x and 3 have the same value?
False
Let z(t) = t**2 - 4 - 24 - 12. Let x be z(0). Let n be (2/4)/((-4)/x). Do 5 and n have different values?
False
Let d = -15 + 15. Suppose -c - 16 = 5*k - 10*k, d = -c + 3*k - 8. Suppose 0*t + c*t - 4 = 0. Which is greater: t or 2?
2
Let j = -0.32 - -51.32. Let g = -53 + j. Is -0.3 bigger than g?
True
Let h = 46.47 + -6.47. Let g = -1.9 - -2. Is g bigger than h?
False
Let q(i) = 8*i**2 - 17*i - 24. Let k be q(-6). Which is smaller: k or 365?
365
Suppose -8*s + 5*s = -36. Suppose s*g + 12 = -0*g. Is -14/11 < g?
True
Let j be 1572/(-276) + 1 + 6. Which is bigger: 1 or j?
j
Let u be (42/(-8))/(2/208). Let x be 8/(-28) - (-152)/u. Let h = 3/13 + x. Does -10 = h?
False
Suppose 2*h = 6*h - 120. Suppose 0 = -6*s - h - 0. Which is greater: s or -29/6?
-29/6
Let p = 0.018 + -1.418. Let t = 4.6 - p. Which is smaller: t or -2?
-2
Let q = 0.697 + 0.303. Is -428/7 >= q?
False
Let n(d) = -d - 8. Let o be ((-18)/(-8))/((-1)/4). Let f be n(o). Let p be f/(2*(-1)/22). Is -9 < p?
False
Suppose 3*y + u + 58 = 2*u, 0 = -2*y - 4*u - 34. Let i(l) = 2*l**2 + 41*l + 177. Let o be i(-13). Which is bigger: y or o?
o
Suppose 11 = 2*y + c, y - c = c - 7. Suppose y + 7 = -v. Let i = -0.1 - 0.1. Is v smaller than i?
True
Let p(q) = -q**2 + 9*q. Let f be p(5). Suppose -5*s + 10 = 0, 2*z + 0*s - s = f. Is 11 less than z?
False
Let m = 4 + -8. Let d = 2021/5368 - 1/671. Whic