east as big as s?
True
Let u = 3/20 + 13/180. Let k = -10.2 - -11. Which is bigger: k or u?
k
Suppose -p - 2*s = 110 + 140, -2*s = -4*p - 1010. Let g be -2*(-1)/12 - (-546)/p. Is -21/32 at least as big as g?
True
Suppose 20*n - 2144 = -9564. Which is smaller: n or -5?
n
Let b = 89 + -141.8. Let y = b + 49.8. Is -18.1 smaller than y?
True
Suppose 0 = -5*s + 3*n - 10, 163*n + 23 = 3*s + 167*n. Let i = 13 - 19. Let o be i*-2*(-4)/(-72). Which is smaller: o or s?
o
Suppose 4*y - 5*k = -7*k + 936, 5*y - 2*k - 1152 = 0. Let p = 453/2 - y. Which is bigger: 2/3 or p?
2/3
Let y be 1*3 - 15/15. Let c be (-6)/y + 5/(-17). Let d = -9/85 + c. Which is smaller: -2 or d?
d
Let q(i) = 3*i**2 - 27*i - 138. Let h be q(11). Which is smaller: -343 or h?
-343
Let s = -2106/71 - -17108/639. Suppose -6*k = -k. Suppose -h + 5 = -3*x, -13 = -k*h + h + 3*x. Which is smaller: h or s?
h
Let f = 76/17 + -4146/935. Let y(o) = o - 8. Let n be y(5). Let w(p) = -p**2 - 2*p + 4. Let j be w(n). Which is greater: f or j?
j
Let x(q) = 2283*q - 333. Let v be x(9). Let o = -182156/9 + v. Which is smaller: o or -27?
-27
Let d(r) = 2*r - 29. Let c be d(16). Suppose c*t + 4*w = 0, w = -w. Suppose -9*j + 16*j + 7 = t. Is -4 at least j?
False
Let p(f) = 3*f**2 - 14*f - 33. Let g(h) = -h**2 + h. Let d(v) = -2*g(v) - p(v). Let x be d(14). Do 9/2 and x have different values?
True
Suppose -5*n + 121 = -3*r, -86 = 2*r - n - n. Let g(s) = -3*s**3 - 43*s**2 + 12*s + 319. Let a be g(-14). Is a <= r?
False
Let s = 895.13 + -895. Which is greater: 2.5 or s?
2.5
Suppose 34*g - 14306 = 2*p - 18*g, 4 = -4*g. Is p < -7179?
False
Let q = -11 - -2. Let b be 9 + -6 + -2 + (-30)/(-2). Suppose -13 = -29*y + b. Does y = q?
False
Let f = -3 + 6. Suppose -5*i = -f*n - 150, -3*i + i = 3*n - 81. Let y = 30 - i. Which is smaller: -13/4 or y?
-13/4
Let s = -21260 - -21206. Which is greater: s or 22?
22
Let c = -1013.013 + 1013. Let j = 911.013 - 910. Let y = c + j. Which is smaller: -31 or y?
-31
Let l(v) = -40*v + 439. Let z be l(11). Which is greater: z or -26/471?
-26/471
Let c = -205/76 + 56/19. Let p = -49.9 - -23.9. Which is greater: c or p?
c
Let g(s) = -35*s - 4063. Let d be g(-130). Is 497 less than d?
False
Let a = -0.63 - -0.6. Let r = -0.00289 + 82.97289. Let l = a - r. Which is smaller: l or 0?
l
Let z = -3152981/16 + 196978. Suppose 1715 + 692 = 29*d. Let w = z + d. Which is greater: w or -1?
w
Let c(w) = 17*w - 260. Let h be c(17). Is h at least as big as 34?
False
Let y be 10/(-16)*(-2530)/(-275). Is -1.2 less than y?
False
Suppose -29*b - b = -90. Suppose 3*v + a - 3 = 0, -3*v + 45*a - 44*a = b. Are -3/44 and v unequal?
True
Suppose 2*x - 393 = -5*p, 4*p = 3*x + x + 292. Suppose 3*l - c + p + 107 = 0, 2*l + 132 = -4*c. Let i = -249/4 - l. Are i and -16 non-equal?
True
Let j = -4374 - -4375. Let i(x) = x**2 - 1. Let u be i(-2). Suppose -l + 30 = 4*l + 2*m, 2*l = -u*m + j. Which is smaller: 22/3 or l?
22/3
Suppose 379*x - 388*x = -12420. Let u be -6 + -1 + 9668/x. Which is greater: u or 1?
1
Suppose 4*l = -2 - 18, 215 = 3*s + 5*l. Suppose 2*v + 52 = 4*t, 5*t = 5*v - 10 + s. Suppose t = 3*f - 3. Is 6 bigger than f?
True
Let i = 582/71 - 1119/994. Suppose -4*b + 5*j = -35 - 42, -b = 5*j + 37. Which is smaller: i or b?
i
Let g = -5 + 3. Let d(f) = f**2 + 16*f - 218. Let o be d(9). Let i be (-488)/112 + 4 + (-1)/o. Is g >= i?
False
Suppose -2*j = -4*q + 3247 - 337, -2*q + 1461 = -3*j. Let m be ((-7)/(-21))/((2/q)/(-1)). Is -121 <= m?
True
Let k = 1.7 + -4.7. Let q = 9212 - 9205. Does q = k?
False
Let z = 174 + -156. Suppose 3*p + 3*s - 12 = 5*s, -4*s - z = -3*p. Which is smaller: p or 3/85?
3/85
Suppose -5*o = 4*t + 26, -203*t + 4*o = -205*t - 22. Let w = -0.022 + -0.017. Are t and w non-equal?
True
Suppose 5*t = 127*d - 124*d - 11405, 5*t + 11410 = 4*d. Is -2277 greater than t?
True
Let y(h) = -h**3 - 35*h**2 - 35*h - 34. Let a be y(-34). Suppose -24*t + 22*t - 42 = a. Which is smaller: t or -1/6?
t
Let o = -4271 - -4261. Is -121/13 greater than or equal to o?
True
Let t(c) = 3*c**2 - 2*c - 37. Let z be t(0). Let g = z - -56. Let l be (1 - -4) + -3 + g. Is l less than 21?
False
Let x = 464 + 1546. Let p be (-1023)/x + 24/48. Is 0 > p?
True
Let l = 5.3941 - -0.0459. Let n = l + -5.74. Suppose -68 = -5*o + 17. Is n bigger than o?
False
Let r = -25661/2965466 - 5/15526. Which is smaller: r or -1?
-1
Let k(m) = 16*m + 617. Let c be k(-47). Which is bigger: c or -134?
-134
Let k = 16.6 + 2.4. Let u = k + -19. Is u smaller than -0.1?
False
Let f be (21/((-2016)/(-64)))/(4/(-6)). Is f greater than -1/428?
False
Let j = 4741/104 + -734/13. Which is bigger: j or -10?
-10
Let s be ((-726)/(-1))/(8 - (-17)/(357/(-154))). Is 1090 at most s?
False
Let h = -77 - -77. Let i = 5823 - 296968/51. Do i and h have different values?
True
Let y(x) = x**3 + 5*x**2 + 10*x + 8. Let c be y(-2). Does c = 4/503?
False
Let v be (17 + 278/(-16))*328. Is v not equal to -85?
True
Let b = 46 - 84. Let n = 2050 + -14626/7. Which is bigger: b or n?
b
Let g(b) = -b**3 + 3*b**2 - 2*b + 4. Let c be g(3). Let v be ((-387)/(-6) - 6)/(3 + (-28)/8). Which is smaller: v or c?
v
Let p = 3084.5 + -3085. Is p bigger than -0.35?
False
Let f = -89 + 175. Let l = -45 + f. Which is smaller: l or 42?
l
Let v = -5320 - -5325. Which is smaller: v or 381?
v
Suppose -2*k - 3*u = 3, 0 = 5*k - 2*u + 6*u - 3. Suppose -3*a - 21 = -4*b, 0*b - 2*a + 20 = k*b. Let c be 54/10 - (-2)/(-5). Are b and c non-equal?
True
Let c = 147 + -216. Let k(i) = 2*i**2 - 23*i - 108. Let b be k(13). Let m = b - c. Which is greater: m or 1/129?
1/129
Let j be (-575)/(-10) + 0 - 7/((-42)/(-3)). Is j > 22?
True
Let s = -88171/30 - -2939. Is 7.5 >= s?
True
Suppose -3*z = -3*d + 237, 53*z = -3*d + 50*z + 267. Let b be ((-6)/(-12))/(2/344). Is d less than b?
True
Let q(l) = 1. Let y(t) = 3*t + 31. Let w(f) = 6*q(f) - 3*y(f). Let j be w(-5). Which is smaller: -9 or j?
j
Suppose -4*a - 7 = 7*p - 5*a, 2*p + 2*a + 2 = 0. Let o = 8/87 + 463/3480. Which is smaller: o or p?
p
Suppose 3*i = -n + 5, -4*i = 2*n + i - 15. Let x = -17219 + 17219. Which is greater: n or x?
n
Let x be ((-204)/(-11))/3 - (-26)/(-143). Suppose -x*o = -9*o + 3. Which is greater: -31/4 or o?
o
Suppose -4*m - 38 = -5*p + 305, -4*p - 112 = m. Suppose 37*v - 41*v + 447 = -5*x, 176 = -2*x + 3*v. Which is smaller: m or x?
m
Let u = 2.9495 + 0.0505. Let i be (-108)/(-8)*2/3. Suppose -17 = 2*r - i. Which is greater: r or u?
u
Let w(o) = -o**3 - 8*o**2 + 22*o + 29. Let y be w(-10). Suppose 0 = 20*s + y - 29. Is s > 3/4?
True
Let n(i) = 4*i**2 + 310*i - 1698. Let b be n(-82). Suppose -o - 153 = 70. Which is smaller: o or b?
o
Let z be ((-1 - 1) + 1)/(7/112). Let m be (10/z)/(1/(7 + -171)). Which is smaller: m or 104?
m
Let h = -36144 + 469800/13. Is h smaller than 6?
True
Let m = -4 - -8. Suppose -4*u = 2*z - m, 0 = -0*u + 2*u - 3*z - 10. Let n be (-4)/(-176)*(-142 - -174). Is n smaller than u?
True
Suppose 0 = 20*f - 610 + 10. Let n be (-7)/(-1) + (-210)/f. Which is bigger: 4/239 or n?
4/239
Suppose -75*s = -69*s - 102. Let p be (-1)/4*1 - (-34)/s. Which is greater: 3 or p?
3
Let c be (0 - 412)*(-24 - (-12167)/506). Which is bigger: -19 or c?
c
Let a(h) = -65*h - 131. Let c be a(-2). Which is bigger: 7570 or c?
7570
Suppose -4*u = 3*p - 68, -5*p + 12 = 2*u - 36. Let l be ((-12)/(-14))/((-1)/u). Let w = 374 - 386. Do l and w have the same value?
True
Suppose 10*a - q = 15*a + 20, -4*a + q = 16. Let z be 62 + (-1)/(2/(-40)*a). Is z at least as big as 52?
True
Suppose -3*g + 4*h = 99, -4*h = -3*g - g - 132. Let d = g + 21. Let m = 345 - 355. Is d greater than m?
False
Let g = 24 - 31.7. Let x = g - -8.7. Which is bigger: x or 1/252?
x
Let l = -1829 - -1749.9. Let c = l - 2.9. Let q = -84 - c. Which is greater: q or 0.03?
0.03
Let h = -130 - -145. Suppose -5 = r + 2*f, -r + h - 5 = -3*f. Is 3/187 less than or equal to r?
True
Let h(b) = 2*b**2 + 142*b + 140. Let j be h(-1). Suppose -z - 19 = 5*s - 0, 5*s = 3*z - 23. Is j greater than z?
False
Let a = 1511 - 1323. Which is bigger: -0.43 or a?
a
Let a = 16 + -11. Suppose -1236 - 823 - 515 = -78*b. Is b >= a?
True
Let d be 3/(-1) + (-1 + -17)/2. Let t = 8 - d. Let p = t - 6. Is 14 less than or equal to p?
True
Let j be (1/(-3) - 1*14) + 24/72. Which is bigger: j or -69?
j
Let n(