0*s - 24. Which is smaller: j or 1/6?
j
Let x = 1677 - 2517. Let p = x - -51242/61. Is 0 at most as big as p?
True
Let h = 364 - 401. Which is greater: -113/3 or h?
h
Let n be 2 - (0 - 1) - 1. Let x be 15/((-3 - 0) + n). Let g = 582 + -597. Is g bigger than x?
False
Let h be -3 + (-2 - (1 + -11)). Suppose h*r - 13 - 7 = 0. Is 9/2 at most r?
False
Suppose 4*o + 3*o - 203 = 0. Let j = 36 - o. Suppose j = -t + 3. Which is smaller: t or -9/2?
-9/2
Suppose 0 = 2*j - 0*j + 5*m - 5, -4*j - 1 = -m. Which is bigger: j or -16/33?
j
Let y(o) = -o**2 + 7*o + 8. Let b be y(7). Let q(v) = -v + 10. Let k be q(b). Suppose k*a = -3*a - 5. Is 1/10 smaller than a?
False
Let b = 70/9 - 551/72. Is 1 less than b?
False
Suppose -90*n + 97*n = 1113. Is 159 less than or equal to n?
True
Let k = -122 - -129. Do k and 7 have the same value?
True
Let y = -338/33 - -31/3. Suppose -j + 4*m = -12, -m = -5*j + 4*j + 3. Suppose -c - 1 = o, 1 = 2*c - o - j*o. Is y less than or equal to c?
False
Let w = -40 + 37.91. Which is smaller: w or 2/5?
w
Suppose -5*a = -5*f - 125, -34 = f + 4*a - 2*a. Let j = f - -27. Which is bigger: 1 or j?
1
Suppose 0 = -0*c + 3*c - 102. Let y = 84 - 49. Which is smaller: c or y?
c
Suppose -v = -4*p - 4*v + 15, -2*p + 3*v - 15 = 0. Let f = -0.9 + -0.1. Let h = 0.8 + f. Which is greater: p or h?
p
Suppose -x - 4*x - w = -67, 0 = -3*x + 2*w + 48. Suppose m + x = 51. Suppose l + 1 = -5*j + 7, 0 = -3*l + 4*j + m. Which is smaller: l or 10?
10
Let s be -5 - ((-2)/4 + 209/(-38)). Is 3/254 > s?
False
Let b = 1.5 - 3.5. Let r = b - -1.4. Let p be (1/3)/((-3)/(-6)). Is p less than r?
False
Suppose -5*r + 9 + 12 = l, 5*r - 29 = l. Suppose 4*t = -5*q, r*t + 0*q - 5*q = 0. Let b be (5 - -3)/(-1) + t. Is b != -10?
True
Let k be 0 + (-1 - -1) - (-147 - -151). Which is smaller: 3 or k?
k
Let k = -23.8 + 79.9. Let o = k + -56. Which is greater: o or 11?
11
Suppose 96*r + 435 = -141. Which is greater: r or 2/569?
2/569
Let y = -365 - -335. Which is greater: -27 or y?
-27
Let u be 206/(-1840) + 9/72. Which is smaller: -1 or u?
-1
Let b(y) = 5*y + 58. Let i be b(-8). Is i < -3?
False
Let y be ((-2)/(-35))/((-9)/21). Let s = 11 - 12. Let g be s - 1 - (-8)/8. Is y greater than g?
True
Let u = -93.73 - 6.27. Is u < 3?
True
Let u = 1216 - 1134. Which is bigger: u or -8?
u
Let m be -3*(70/(-15) + 3). Suppose m*p - p - 4 = 0. Which is smaller: 2/21 or p?
2/21
Let u be (4/(-18))/(99/(-27)). Suppose 11*j + 244 = 255. Which is smaller: j or u?
u
Let z(b) = b**2 + 9*b + 9. Let u be z(-8). Let s = 939/14 + -67. Is s less than u?
True
Let d = 699/4 - 175. Let u = -7 - -7.5. Let j = u - 0.2. Which is smaller: d or j?
d
Let b be (-1)/((-4)/(-8)) - -1. Let w(c) = -8*c**2 + 5*c - 6. Let q be w(4). Let r be (-1)/3 - 26/q. Is b equal to r?
False
Let d = -6 + 0. Let o = 0.8 - 4.8. Let k = -6 - o. Are k and d nonequal?
True
Let q be (-6)/(-24)*(-16)/(-14). Let a = 30 + -31.04. Let v = a + 0.24. Is q less than v?
False
Let y = 33.72 - 34. Let r = y + 0.48. Is r equal to 0.2?
True
Suppose -21*j + 11 = w - 19*j, 0 = -4*w + 4*j - 16. Is 503 at most w?
False
Let b = -3.2 - -3. Let o = -0.4 - b. Let g be (3/(63/133) + 5/(-1))*-3. Is g not equal to o?
True
Let k = -1.16 + -0.14. Let p = -3.7 + k. Let i = -4.57 + 4.57. Which is bigger: p or i?
i
Let y = 0.0969 - -3.5931. Is 2/5 less than y?
True
Let q be (553/(-4))/((-91)/26). Is 39 equal to q?
False
Let i be 2 + 1766/(-590) + 1. Let l = -303/1180 + i. Which is greater: l or -10?
l
Let t be (1/(-4))/(3/12). Let u = 2 + -1. Let l be (u/(-2))/((-7)/(-4)). Is t greater than or equal to l?
False
Let x = 76 - 457/6. Let g = -0.073 + 0.473. Which is smaller: g or x?
x
Let h be (-3052)/28 - (-4)/2. Is -107 at most as big as h?
True
Let g be ((-12)/20*5)/313. Which is greater: g or -1?
g
Suppose 68 = -14*c + 54. Is c greater than or equal to -1/591?
False
Let p(u) = -u**2 + 14*u + 28. Let b be p(-4). Is -44 equal to b?
True
Let r = -3 + 24. Let w be r/14 - (-13)/(-6). Which is smaller: 26 or w?
w
Suppose -2*s - 2*s = -4*h - 116, -4*s = h + 34. Let p be h/9*(-3 + 6). Which is bigger: -2 or p?
-2
Let j be -1*(0 - 4)*1. Let o be j/10 - (-18)/30. Do -10 and o have different values?
True
Let m be 21/(3 - 0) - -1. Let v(l) = -l**3 + 8*l**2. Let w be v(m). Suppose 2*a + a = w. Is a < -1/5?
False
Let y be (-1 + -9)/(20/1650*-5). Is 166 equal to y?
False
Suppose -5*n + 4 = -56. Suppose n*k - 85 = 17*k. Which is greater: k or -19?
k
Let b be 2546/3145 + (-8)/10. Do b and -1 have different values?
True
Let m(p) = p**2 - 14*p + 28. Let k be m(12). Suppose 2*v = -v - 5*o, v - k*o = 0. Do v and 2/25 have the same value?
False
Suppose -o - 2 = -4*p, -2*o = -3*p + 2*o - 5. Does -1/17 = p?
False
Let f = 1075.3 + -1075. Are -3 and f unequal?
True
Let z(u) = 4*u - 999. Let d be z(20). Do d and -917 have the same value?
False
Let j(q) = q**3 + q**2 + q - 1. Let p be j(1). Suppose 16 = -2*f - 20. Let h be (f/((-2)/(-1)) - -3)/(-7). Which is smaller: p or h?
h
Let m be 15/((-4)/(8/3)). Let i be (-7)/m*(-33)/(-77). Suppose -c = 4*c. Do c and i have the same value?
False
Let s = 0 - -6. Suppose s - 4 = 2*p. Suppose 0 = -8*c + 6*c - 2. Is p <= c?
False
Let q(h) = 7*h**2 + 33*h + 13. Let a(k) = -3*k**2 - 16*k - 6. Let l(c) = -9*a(c) - 4*q(c). Let x be l(13). Let p = x + 14. Is 5 at most p?
False
Let l = 1212 - 23020/19. Are l and 0 non-equal?
True
Let o = -20 - -18.9. Suppose 6*l + 36 - 366 = 0. Let n = -164/3 + l. Is o > n?
False
Suppose -35 = 5*q - 10, -3 = -z + q. Let o = 343 + -346. Is z bigger than o?
True
Let u(m) = 56*m - 2. Let p be u(1). Let y = 83 - p. Suppose 5*o - y = -4. Which is bigger: o or 6?
6
Let x(d) = -2*d**3 - 4*d**3 + 5*d**3 - 5*d**2 + 2. Let w = 22 - 27. Let c be x(w). Which is bigger: 4/3 or c?
c
Suppose -46*s - 3439 = 5209. Is s at most -934/5?
True
Let q = -370 - -411.9. Let o = q + -42. Is o less than or equal to 27?
True
Let j(p) = p**3 + 36*p**2 + 68*p - 3. Let i be j(-34). Suppose 3*l = -2*l - 15. Are l and i unequal?
False
Let g be 6/21 - (-10)/(-14). Is -14 greater than or equal to g?
False
Suppose -4*p + 3*n = 4 + 4, 5*n = -3*p - 35. Let h(s) = s**2 + 7*s - 2. Let a be h(p). Do a and -2 have different values?
True
Let j = -2/6643 - 66376/179361. Let l = -1/27 - j. Let f(a) = -a**2 + 9*a - 6. Let h be f(6). Which is smaller: h or l?
l
Suppose 0 = -n + 6 - 3. Suppose 50 = 8*a - n*a. Let f be 14/(0 - 4/a). Is -35 at most f?
True
Let y = 41 - 35. Suppose 6*o + 3*q = 3*o - y, 4*q = 5*o - 8. Is o < 1/5?
True
Let k = -726 + 739. Let u = 26 + -28. Are k and u non-equal?
True
Let g = 0.3 + -0.3. Let c = -2354.82 + 2355. Which is bigger: c or g?
c
Let p = -492 - -492. Are p and 16/37 unequal?
True
Suppose 2*i - 2 = -0*i. Let p = -1020 - -1018. Is i smaller than p?
False
Let z be 2/7 - 14/49. Suppose z*c + 2*c = 0. Suppose -2*h - f + c = -3, -2*f = -3*h + 22. Is 5 greater than or equal to h?
True
Let a be 54/(-9)*(-12)/8. Which is greater: a or -4?
a
Let x(v) = -v**3 + v**2 - 21. Let z be x(0). Let a be (-14)/20*12/z. Suppose -5*g - 5 = -0*g. Does a = g?
False
Let f = 1265/37293 + -2/1203. Let s = 6/17 - 7/68. Are s and f unequal?
True
Let n = 35 - 31. Suppose -n*l = -h + 1, 3*l - h = -0*l. Is l at most 2/9?
True
Suppose 8*u - 3*u = -205. Let c = 60 + u. Suppose 0 = -f + 4*l + c, -2*f + 23 = -5*l - 6. Which is greater: 6 or f?
f
Let c be (30/35)/((-3)/(-14)). Suppose 4*l + 0*l - 3*a - c = 0, -a - 4 = 0. Let v(g) = -4*g - 4. Let r be v(l). Which is smaller: 3 or r?
3
Let g = 479 + -31133/65. Is 0 at least g?
False
Let h be (-145)/15*(-66)/322 - 2. Let b = -342/161 + h. Which is greater: b or -1?
-1
Let r be (-18)/(-4)*(-2)/(-3). Let q = 9376 - 37515/4. Which is bigger: q or r?
r
Suppose 24 = 4*a + 5*p, -4*p = -a - 0*p - 15. Is a less than or equal to -3/34?
False
Suppose 646 = 5*o - 54. Let g be 1 - (o/36)/5. Is 1 bigger than g?
True
Suppose 7 + 5 = -3*t. Let f(u) = u**3 + 3*u**2 - 4*u + 2. Let a be f(t). Let q = 542/35 + -100/7. Which is smaller: q or a?
q
Let w = 259 - 261. Which is smaller: w or 52?
w
Let g = -137/15 - -9. Is 2.4 >= g?
True
Let b be ((-33)/(-12))/(1/4). Suppose 28*l - 12 = 29*l. Let q = l + b. Are q and -1/9 non-equal?
True
Suppose 11 = -5*s + 1. Which is bigger: s or -15/13?
-15/13
Suppose -3*t - 29 = -5*b, 4*t + 0 + 32 = 5*b. Let p 