 41 = 5*s + 4*r. Which is smaller: s or 45/7?
s
Let i = -7115839/197055 + -4/21895. Which is bigger: -35 or i?
-35
Let l = -29 - -23. Let u(i) = -i**3 - 8*i**2 - 8*i + 29. Let b be u(l). Let t be (-1)/((-2)/(-6)*-1). Which is bigger: t or b?
b
Let u = 325 - 288. Let z = 5 + u. Is z equal to -6?
False
Suppose 0 = -5*d + l + 7, -12*d = -9*d - l - 5. Which is smaller: d or 1/5796?
1/5796
Let j = 16 - 19.2. Let n = 46 + -49. Let v be (0 + n)/(0 - (6 + -5)). Which is bigger: j or v?
v
Let p be -2 - (35 - 30 - 7*1). Which is smaller: -5 or p?
-5
Let f = -395 + 416. Let z be 8/(-56) - (-759)/f. Which is bigger: z or 38?
38
Let a = -32785 + 98354/3. Let k = 0.1 - -0.4. Which is bigger: a or k?
k
Let b = 317/18 + -71/6. Suppose 4*a - a = 0. Let u = 5 - a. Are u and b non-equal?
True
Let s be (2600/832)/((-330)/(-9432)). Which is bigger: 89 or s?
s
Let p = 7690 - 7642. Which is smaller: 41 or p?
41
Let o be 7/252*1192*9. Do 299 and o have the same value?
False
Let q = -322 - -207. Is -115 less than q?
False
Suppose 2*r - 3*r = 24. Let q be 1/(-4) - 7782/r. Let w = -956/3 + q. Which is smaller: w or -0.2?
-0.2
Suppose 0 = 3*x + 11*g - 7*g - 72, 2*x + 5*g - 34 = 0. Which is smaller: 451/14 or x?
x
Let y be 45/(-6) + 21/6. Let x be y - 1 - (-2 - (1 - -3)). Which is smaller: x or -4/223?
-4/223
Let f be 1 + (1570/(-308))/5. Let j(u) = -u**3 + 73*u**2 + 227*u + 75. Let k be j(76). Is f greater than or equal to k?
True
Let u = 473/2 - 229. Let w = 0.036 - 0.036. Which is greater: w or u?
u
Suppose 0 = -2*h + i + 6, -14 = -5*h - i + 4*i. Let j be -2 + 8 + h + 0. Let o be -4*(-2)/16*j. Is o > 5?
False
Let v = 101 + 19. Suppose 0*b = -4*b - 488. Let a = b + v. Is a greater than -12/19?
False
Let t be (-1)/8 + -4*1687/(-224). Suppose -t = 9*r + r. Is r greater than -4?
True
Let u(r) = -9 - 4 - 6 - 95*r + 91*r. Let c be u(3). Is -30 at least c?
True
Let v(k) = -2*k**2 + 5*k + 159. Let n(j) = 3*j**2 - 7*j - 239. Let w(b) = 5*n(b) + 8*v(b). Let i be w(-11). Do 0 and i have the same value?
False
Let u = -1/25795578 + -37962217136815/9105839034. Let d = u - -4169. Which is bigger: d or 1?
1
Suppose -265 + 89 = -11*w. Suppose -16 = -3*z - 4*v, -z + 4*v - w + 0 = 0. Which is greater: z or -2/87?
z
Let t(b) = 3 + 4*b + 16*b**2 - 28 - 11 - b**3 + 70. Let d be t(16). Is d equal to 99?
False
Let h be (3375/(-1143))/3 + 1. Let m(s) = s**2 + 6*s + 9. Let l be m(-3). Which is bigger: h or l?
h
Let l = 9105 + -9092. Which is smaller: l or 0.164?
0.164
Let j = 0.5217 + 0.4783. Is j at most as big as -1423?
False
Suppose -105*w - 1332 - 7698 = 0. Let d be (87/(-1))/((-2)/(-2)). Is w less than d?
False
Let a(j) = -140*j + 187. Let r be a(4). Let n = r - -381. Let b be 4/(-10) - (-84)/10. Is b < n?
False
Let l(k) = k**3 + 18*k**2 + 9*k. Let u be l(-8). Let z be 3/(-2) - (-868)/u. Let p(n) = n**2 + 28*n + 131. Let w be p(-6). Which is smaller: w or z?
w
Let q = 2 + -2. Let f = -323/48575 + -6/725. Are q and f equal?
False
Let n be (-504)/16 - (-1)/2. Let w be 4/(((-54)/(-9))/1 - 8). Are w and n non-equal?
True
Let t(n) = -3*n**3 - 2*n**2 + 4*n + 4. Let d be t(-3). Suppose -o + 3*l + 20 = 0, 0 = 4*o - 5*l - 4 - d. Let q be o/8 - (10 + -8). Which is greater: q or 0?
0
Let c = -206883/14 - -14777. Does c = -145/6?
False
Let g = 79.54 + -0.54. Let h = 79.079 - g. Let j = h + -0.079. Is j > 3/16?
False
Let c = -421.69 - -419.69. Which is smaller: c or -6286?
-6286
Suppose 2*j + 136 + 44 = 0. Suppose -2*y - 5*h - 212 = 0, 7*y - 3*h + 372 = 3*y. Let u be (-3 - 4) + 12 + y. Which is bigger: j or u?
j
Suppose 26*p = 21*p + 80. Suppose -20 - p = -2*o - 5*c, -5*c + 105 = 5*o. Let v = -568 - -1183/2. Which is greater: v or o?
v
Suppose 17875 - 5563 = -12*z. Let m = 1895/2 + z. Is -80 at least as big as m?
False
Let c = -374 - -266. Let k = 112 + c. Suppose -k*m - 31 = 29. Which is smaller: -12 or m?
m
Suppose 12*p = 71 - 95. Let k(m) = m - 9. Let w be k(12). Let x be 7/(-7) - w/p. Does 1 = x?
False
Let b(g) = -1465*g - 8. Let m be b(-3). Let a = 741399/169 - m. Do 0 and a have different values?
True
Suppose -c - 2*c = -3*a - 9, -3*c = -4*a - 7. Suppose t = -2, -4*u + 20 = t - c*t. Suppose 0 = 3*p - q - u, 0 = 5*p - q - 3. Is p bigger than -1?
True
Let r(t) = -397*t**2 - 49*t + 329. Let f be r(5). Are f and 0 nonequal?
True
Let a = 3 - 2. Suppose 0 = b + 55 - 58. Suppose 5*p = -n - b + 7, -n = -4*p - 4. Which is smaller: a or n?
a
Let c(d) = 2*d**2 - 3*d**2 - 15 + 3*d + 3*d**2 + 10 + 243*d**3. Let h be c(1). Is h at least as big as 242?
True
Let d be 6/(-30) + 2778/6440. Let h = -3/161 - d. Which is smaller: h or 0.009?
h
Let j = 7582 - 7613.896. Let a = 0.104 - j. Is a bigger than 0.5?
True
Suppose 1012 = 2*o - 288. Let k = 129352/199 - o. Is -1/2 at most as big as k?
True
Let j(s) = -s**3 + 2*s**2 + 6*s - 13. Let q be j(3). Let g be (-8)/84 + q/(-6). Which is bigger: g or 9?
9
Let i be (132/(-269))/3*33*(-22)/(-968). Are 1 and i non-equal?
True
Suppose -a - 4*v = -962 + 2700, 6919 = -4*a - 5*v. Is a at least -1726?
True
Let d be (2/(-3) - 28273/147)*5. Is d less than -964?
True
Let q = 736.49 - 740. Let z = q + 3.71. Let b = 2.1 + -2. Is z bigger than b?
True
Let s = -2 + 4.5. Let d = s + -2.13. Let g = -0.47 + d. Which is greater: -20 or g?
g
Let r be -2 + 0 + (1 - -4) + -4. Let a(x) = -x**3 + 2*x**2 + 16*x + 14. Let l be a(r). Which is greater: -10/151 or l?
l
Suppose -1194 + 438 = 18*l. Do l and -14 have the same value?
False
Let j be 153/(-90) + 2 + 788/(-2560). Are j and 0 nonequal?
True
Let z be 44 + -47 - 120152/114. Suppose -6*u + 2*u - 4225 = 3*f, 0 = -5*u - 2*f - 5283. Let t = u - z. Is -1 at most t?
True
Suppose 0 = -385*x + 395*x - 2620. Is x > 262?
False
Let k be -1*(-7)/(-43 + -6) - (-1194)/8113. Which is greater: 1 or k?
1
Let a(x) = 4*x**3 - 3*x**2 - x + 2. Let j be a(1). Suppose -j*l + 164 = -3*w, 3*l - 3*w = -5*w + 272. Let d be l/5*2/(-8). Which is smaller: d or -5?
-5
Let g be (-190)/1045 + ((-2)/3)/((-33)/63). Let i(y) = -4*y. Let c be i(-1). Suppose c*m - 3 = 5*q + 10, 0 = -2*m + 4*q + 8. Which is smaller: m or g?
g
Suppose c = 2*c - 2. Let d = c + -3. Let b be 11092/(-5640) - 2/(-6)*2/4. Which is smaller: b or d?
b
Let j(v) = 38*v - 468. Let i be j(0). Let d = i - -5147/11. Let y = -5 + 4. Which is smaller: y or d?
y
Suppose 0 = 8*u - 3*u - 0*u. Suppose n + n - i - 58 = u, -3*i - 39 = -n. Let m be (-1 - (n + -2)) + 4 + -1. Is m >= -70/3?
True
Let b(v) = -v - 2. Let f be b(-2). Suppose -3*j = 4*w - 27, -4*j = 5*w - f*w - 35. Suppose -j*a + 120 = -3*q, -21 = -2*a - 3*q + 27. Which is smaller: 25 or a?
a
Let k = -39593/23039544 - -5/3544. Which is bigger: -1 or k?
k
Suppose 0*d + 7*d = 21. Suppose 9 = d*p, 3*x + 4*p + 0 = 18. Suppose 0 = -4*u - x*c + 32, -3*c - 29 = -0*u - 5*u. Do u and 1 have different values?
True
Let v be ((-2)/(-1) - 3) + 463 + -3. Are 461 and v nonequal?
True
Let b(g) = -g - 18. Let a be b(-21). Suppose 596 - 602 = a*v. Which is smaller: v or 2/3?
v
Let s = 299949 + -299950. Let z = 437 + -7433/17. Which is smaller: s or z?
s
Let o = 6792 + -3614. Let z = 171617/54 - o. Are -1 and z equal?
False
Let u = 26794 - 133968/5. Let z = 63 - -39. Which is smaller: u or z?
u
Suppose k - 6*k + 185 = 0. Let a(t) = 3*t**3 - 9*t**2 + 11*t - 59. Let i be a(4). Is i bigger than k?
False
Let q = 11.76 - 158.76. Does q = -0.02?
False
Let p be -22 + -2 + 16 + 7. Let y = -84334/45 - -1874. Which is greater: y or p?
y
Let k = -1809 - -3056. Let s = 18643217/15062 + 4052/443. Let r = s - k. Which is bigger: r or 1?
1
Let x = 40 - 16. Let m be (1 + -2)/((-6)/x). Let v be 5/(-25)*3 - m/35. Is v smaller than 0?
True
Let i be -8 - 5403*42/(-2331). Which is smaller: 88 or i?
88
Let j = 230 + -203. Suppose g - 4*l = 46, 2*g = 5*l + 32 + 45. Which is smaller: g or j?
g
Let t = 5972 - 4123. Is 1848 greater than or equal to t?
False
Let x be ((-44)/90)/((-9)/(3 + -48)). Suppose 3*q - 4*t = -17, 5*t = q + 4*q + 25. Which is smaller: q or x?
q
Let d = 821272/5 + -162661. Let l = d - 1602. Is -8 smaller than l?
False
Let v = 1.394 - 1.464. Is v greater than 0.11?
False
Let s be 0 + -1 - 2/(-1) - 0. Suppose -a + 3*a = -5*p - s, -p - 11 = -5*a. Let w be ((-3)/((-12)/14) + -4)*a. Which is greater: 4/33 or w?
4/33
Let c = -12 - 18. Let a be 4/(3/c*1). Let s = 2650 - 2690. Is s greate