 s at least k?
True
Let s be ((-1)/6)/((-62)/18). Suppose 11 = -5*m + 16 - 10. Which is smaller: s or m?
m
Let b(y) = -3*y + 31. Let t be b(9). Suppose a - t*a = -3. Let w be ((-75)/(-20) - 1) + a. Which is bigger: 5 or w?
5
Let h = 128 - 220. Let r = 287/3 + h. Which is smaller: 2 or r?
2
Let j(q) = -8*q - 51. Let o be j(-8). Suppose -2*u - o = 3*c, -15 = -4*c + 4*u + 1. Let f be 3/(-3) + (-2)/(-4). Is f >= c?
True
Suppose -4*a - 29 + 79 = 2*l, -5*a - 4*l + 64 = 0. Let z be (-10)/40 + 771/a. Which is bigger: z or 62?
z
Let n be (1/1)/(-3 - (-28)/9). Suppose n - 1 = k. Suppose x = -k + 6. Does x = -1?
False
Let i = 14748/13 - 44494768/39221. Do 1 and i have different values?
True
Suppose o = 7*o - 378. Suppose -72 = -5*d - 5*y + o, d - 5*y - 45 = 0. Is 29 != d?
True
Let w(k) = -5*k**2 + 111*k - 20. Let r be w(22). Suppose 2*j + 119 = 3*x, -5*j + 3*x = r*x + 278. Which is smaller: -394/7 or j?
-394/7
Suppose 20 = -5*q, 0 + 4 = 5*b + 4*q. Suppose -2*f = 6 - 86. Let i be b/(-12) + f/(-6). Which is bigger: -50/9 or i?
-50/9
Let y = 67 + -70. Suppose -12*r = -17*r - 45. Let u be (-2)/18*y - (-21)/r. Which is smaller: u or -16/7?
-16/7
Let x be (-1*(-15)/(-12))/(2/(-8)). Let j = x + -3. Suppose -u + 16 = 5*z, -u - 3 = -2*z + j*u. Which is smaller: z or 4?
z
Let v = 97 + -94. Let p be (29 - v)/((30/(-37))/(-3)). Let s = p - 95. Do 0 and s have different values?
True
Let w be -15*((-64)/(-28190))/16. Does w = -1?
False
Let t(b) = -b**3 + 6*b**2 - 8*b - 6. Let q be t(3). Let m(i) = -4*i**3 - 4*i**2 - 2*i - 1. Let o be m(q). Let p = -97 + o. Are p and -19 unequal?
True
Suppose -12*h - 7 - 5 = 0. Let b be 2*(3/12)/(h/(-30)). Which is greater: 12 or b?
b
Let y be (((-6)/(-1))/2)/(4/(36/(-27))). Which is bigger: y or -18/731?
-18/731
Let i = -255 + 260. Suppose -i*m - 1 = 2*c, -m + 12 - 3 = 5*c. Let a = -36/13 - -37/65. Is m smaller than a?
False
Let q(d) = -d - 13. Suppose -3*c - 28 = 4*c. Let o be 6/(-3)*(-26)/c. Let t be q(o). Which is bigger: 1/2 or t?
1/2
Let i be (-9)/166*28/21. Let p = -1213 - -1214. Which is greater: i or p?
p
Let l(j) = 19*j**3 - 4*j**2 - 17*j + 37. Let y be l(2). Which is smaller: 144 or y?
y
Suppose 25029*r + 17336 = 25018*r. Which is bigger: -1579 or r?
r
Let p = -10.86 - -10.914. Which is smaller: -2 or p?
-2
Let g(s) = s**3 - 2*s**2 + s - 7. Suppose k + 1 - 9 = 0. Suppose -k*q = -3*q - 15. Let p be g(q). Is 27/7 bigger than p?
False
Let l be (-4)/(-10) + (-84)/10. Let w(k) = 5*k**2 - 13*k - 8. Let m(t) = 22*t**2 - 54*t - 32. Let x(g) = -2*m(g) + 9*w(g). Let c be x(0). Is c < l?
False
Let m(i) = i**3 - 15*i**2 + 14*i - 141. Let z be m(17). Let a = 752 - z. Is a less than or equal to 232/3?
True
Suppose 2*s - 42 = 5*s. Let z(p) = -121*p + 346. Let x be z(3). Is x at least as big as s?
False
Let l be (-2)/(-26) - 657/7020. Let b = 9 - 8.89. Let t = b + -0.11. Which is greater: l or t?
t
Suppose 4002 = -737*j + 766*j. Which is greater: 1806/13 or j?
1806/13
Let z(c) = 3*c - 48. Let u be z(16). Suppose u = 70*m - 74*m. Which is smaller: 8/19 or m?
m
Let v be -10*((-6)/16)/(84/(-112)). Let m be 1*(-8 + (v - 54)). Which is smaller: m or 5?
m
Let m be (12/(-4))/(-3) + 3. Suppose z - m*z = -y - 5, 2*y = 3*z - 10. Let u = 0.36 + 0.74. Which is smaller: z or u?
z
Let f(t) = 15*t + 17. Let x be f(1). Let k(i) = -4*i**2 + 129*i - 35. Let s be k(x). Let r be (6/(-100))/(6/8). Which is bigger: s or r?
r
Let l = 78.2 - -10.8. Let b = l - 88.9. Which is smaller: 4/141 or b?
4/141
Let n = 51 + -47.7. Let k = 2.9 - n. Let r = k + 0.4. Which is smaller: r or 1?
r
Let l be ((-198)/(-231))/(0 + 3/434). Are 161 and l non-equal?
True
Suppose -4*f + 0*m = -2*m + 6, -10 = -2*m. Let q be -1*(0 + 6/3 - f). Let n be (-12)/(-16) + q/4. Which is smaller: 2/5 or n?
2/5
Let m = -0.1 + -3.9. Let j = m - -3. Let v = 40921 + -204633/5. Which is smaller: v or j?
v
Let n be 132/(-10) + 40/260*91. Let p be 2/(-2) + (-8)/(-6). Which is bigger: n or p?
n
Let p = 761 + -631. Which is smaller: 145 or p?
p
Let j(u) = 4*u**2 - 11 + 3 - 133*u + 9*u**2 - u**3 + 135*u. Let o be j(13). Suppose 0 = 2*v - o + 16. Which is bigger: v or -1/9?
v
Let a = 2010 + -1988. Let y(i) = -i + 1. Let w be y(-4). Suppose 3*c + 2*c - w*f = 115, -5*c - 3*f = -91. Which is bigger: c or a?
a
Let v be (20510/(-49) - 1) + 0. Let i = v + 1154234/2751. Which is greater: 1 or i?
1
Suppose -3*x = -5*x - 4. Let l be (-9 + 1)*((-3 - x) + 2). Let v(d) = -d**3 - 8*d**2 + 7. Let o be v(l). Which is greater: 6 or o?
o
Let m be (1/17)/((-13)/2). Let w = 705 + -220. Let b = w + -486. Which is smaller: m or b?
b
Let k = 23190 + -13593. Which is smaller: -0.1 or k?
-0.1
Let p be (54/12)/(2/12). Suppose -3*z - p = -0*z. Let b(q) = 111*q - 674. Let f be b(6). Which is smaller: z or f?
z
Suppose 3*k + 2 = -h, -4*k - 2*h + 12 = 3*h. Let v be 1/36 - k/(-8). Suppose -197*a + 1 = -198*a. Is a less than v?
True
Suppose 174 - 49 = 5*z. Suppose 3*x - z = 2*v - 7*v, -2*v - 16 = -4*x. Suppose -19 = -3*i + t, 2*i = -t + 23 - v. Is 8 >= i?
True
Let b be (4/(-10))/(-2) - ((-333)/(-45) - 7). Is 667 at most b?
False
Let s(t) = -t**3 - 12*t**2 + 92*t - 74. Let y be s(-17). Is -190 at most y?
False
Let f be (-364)/(-420) - (34/(-30) - -1). Suppose 3*d = -0*d. Let p be (-3 - -2)/(f + d). Is -10/11 less than or equal to p?
False
Suppose 0 = 7*y - 19*y + 276. Suppose 7 + 8 = 3*f. Suppose -f*o = 3*p - y, -3*o - o + 21 = 5*p. Is p > -2/281?
True
Let q be ((-459)/6)/3*2/(-3). Suppose 140 = -q*k + 7*k. Let f = k - -16. Are 12 and f equal?
False
Let h = -0.107 + 0.007. Let v = -22.2 + -0.8. Let o = v - -2. Do h and o have the same value?
False
Suppose 105*g = 108*g - 3. Let m be 2340/13020 + g/7. Do m and -1 have the same value?
False
Let y = -11.8 - -219.8. Let d = y - 212. Which is smaller: d or -6/5?
d
Let f = 0.1 - -0.244. Let n = f + 39.856. Let p = n + -41. Is p less than -1?
False
Let z = 0 + -0.2. Let g = 2503018/65 + -38508. Is z equal to g?
False
Let d(f) = -2*f + 9. Let s be d(4). Suppose y + 19 = 5*h, -3*y + 2*h - 4 = s. Let w = 96 - 93. Is w less than or equal to y?
False
Let j be (-1)/(-1) + 7 + 3 + -9. Let f be (j*1)/(-7 + (0 - -5)). Is 1/104 >= f?
True
Let b = -265 - -283. Suppose -b = -g + h + 1, -4*g = -2*h - 66. Do 14 and g have different values?
False
Suppose a - 1243 = -5*n, 2*a + 2*a = 2*n - 506. Suppose l - 248 = i, -2*l + 678 = -5*i + 188. Is l at least n?
True
Let y = 33946 + -22457. Are 11489 and y equal?
True
Let t = -119 - -122. Suppose -s - 12*s = t*s. Which is smaller: -2/161 or s?
-2/161
Let i = -644 - -1216. Let t = i - 571.77. Which is smaller: t or -0.1?
-0.1
Let m = 8705.15 + -8707. Is 0.03 at most as big as m?
False
Let w(d) = 23*d**2 + 294*d + 55. Let k be w(-19). Which is smaller: k or 2781?
k
Let k be ((-9)/6 + 1)*2/(-3). Let c = 2/3 - k. Let h be (1 + -1)/(8 + -6). Which is smaller: h or c?
h
Suppose -15*w - 1304 = 2*z - 17*w, 0 = -2*z + 3*w - 1295. Which is smaller: z or -665?
-665
Let j be 996/8*(0 + -2). Let h be j/20 - ((-165)/20 - -9). Which is bigger: -12 or h?
-12
Suppose 0 = -992*r + 1015*r - 13777. Is 603 not equal to r?
True
Suppose -118 - 482 = -5*y. Let k be 33/6*(32 + -10). Which is smaller: k or y?
y
Let r be (34/(-136) + 10/8)*-4889. Which is bigger: -4888 or r?
-4888
Let c(t) = -2*t**2 + 256*t + 1891. Let d be c(-7). Which is bigger: 50/1857 or d?
d
Let t = -111.198 + 0.198. Let w = -107 - t. Is -1/7 less than w?
True
Let r be (22/(-176))/(7/(56/(-12))). Is -83 less than r?
True
Let g = -37 - -43. Let q(k) = -g - 2*k + 2 + 0. Let n be q(-7). Which is smaller: 9 or n?
9
Let h = -5991.51 + 5861. Let d = -0.49 + h. Let r = d - -120. Is 0 at least r?
True
Let v = 32529531/413 + -78764. Let u be (-2 - 10/(-6))*-3. Are u and v equal?
False
Let c(i) = i**3 - 18*i**2 + 4. Let r be c(18). Suppose -r*p = -3*q - 161, -5*p + 4*q + 94 = -108. Is p bigger than 39?
False
Let b = -321 + 329. Suppose -60 = -b*w - 4*w. Let n = -10 - -14. Which is greater: n or w?
w
Let v(h) = 31*h + 326. Let z(f) = 6*f + 65. Let a(x) = -2*v(x) + 11*z(x). Let y be a(-14). Let t = -1.1 - -1.14. Do y and t have the same value?
False
Let s = 57 - 51. Suppose y - 35 = -s*y. Which is greater: y or 4?
y
Let h be (28/(-189))/((-34)/(-51)). Is -8/157 < h?
False
Suppose y + 5*q + 21 = 0, -3*y - 4 = -q - 5. Let t be y*(-1