s bigger: r or 2?
2
Suppose 0 = 109*d + 614*d + 13014. Let v = 0 + -0.3. Let s = v + -0.7. Which is bigger: d or s?
s
Let o be (-3)/(-67)*(-6)/(-9). Suppose -22 - 2 = 6*x - 30*x. Which is greater: o or x?
x
Suppose -1011 - 1233 = 4*h. Let p be ((-1036)/(-8))/(h/(-6)). Let q = p - 39/17. Which is bigger: q or -2?
q
Let a = -45 + -25. Let o = 12232 - 12233. Which is smaller: o or a?
a
Let g = -3885 + 2570. Is g < -0.1?
True
Let a(k) = -9*k**2 + 5*k - 1. Let g be a(4). Suppose 0 = 25304*y - 25314*y - 1260. Which is greater: y or g?
g
Let x = -10948.1 + 10947.5. Suppose 4*s = -5*u + 100, -4*u + 39 = 2*s - 17. Is s greater than x?
True
Let r = 13249 + -14097. Which is smaller: r or -863?
-863
Let p be (8 + -1 - 10) + 655. Suppose -4*t + p = 5*b, -t - 19 = -b - 173. Are 155 and t non-equal?
True
Suppose -2*t + 2*u = 12, -473*t + 472*t = -2*u + 12. Which is smaller: 3/6467 or t?
t
Suppose 2*k + t - 7308 = 0, 3*t - 4167 = -4179. Which is smaller: k or 3658?
k
Let k(x) = x + 9*x - 37 + 21. Suppose 15 = -3*y, 2*y - 4*y - 18 = -2*j. Let z be k(j). Is z smaller than 24?
False
Let o = -234.5 - -93.1. Let g = o - -143. Let t be 3*(-2)/12*2. Is g < t?
False
Let r = -10864 + 15227. Does 4364 = r?
False
Let t = 0.126 + -174.126. Let d = -173.84 - t. Does -9 = d?
False
Suppose 3*d - 18 + 0 = 0, 4*q + 2*d = -712. Is -182 > q?
False
Let f = 0 + -0.8. Let c = 0.7 + f. Let s = -11324 + 11329. Do c and s have different values?
True
Let c = 129 + -127. Let y(m) = 18 - 36 - 5*m**c - m + 26. Let j be y(2). Is -8 at least as big as j?
True
Let j(g) = 3*g**2. Let f(x) = -x**3 + 2*x**2 - 5*x - 9. Let c(r) = f(r) - j(r). Let d be c(-3). Which is smaller: d or 23?
23
Suppose 4*s - 7 = s - o, 5 = -s - 4*o. Let d(x) = -4*x**2 + 13*x - 2. Let a be d(s). Which is smaller: a or -2/9?
-2/9
Let v(z) = -z**3 + 21*z**2 - 8*z + 35. Let p(l) = -l - 1. Let b(d) = -6*p(d) + v(d). Let c be b(21). Which is smaller: c or -75?
-75
Let w be 39/117 + (-113)/348. Let g = 5068451/2011092 - 1130/5779. Let i = g + w. Are 1 and i unequal?
True
Let u be (17/6)/((-2)/8). Let z be ((-22)/(-55))/((-4)/(-430)). Suppose 4*q = 2*y - 40, 44*q + 5*y = z*q - 10. Is u not equal to q?
True
Let x(o) = -210*o - 846. Let r be x(-8). Which is smaller: 4172/5 or r?
r
Let v be ((-5)/(-10))/(1/(-470)). Let s = v - 887. Let a = -7838/7 - s. Is 2 not equal to a?
True
Let o be (123/(-82)*(-4)/225)/(37*-2). Is 0 at most o?
False
Let j = -1599 - -1598. Are j and -3.254 non-equal?
True
Let f be 10 + ((-100)/(-4))/(5/(-2)). Which is bigger: f or 4/3103?
4/3103
Let p = -6.0727 - -0.0727. Suppose 2*a = 5*q - 2*q + 16, 0 = 4*q + 16. Is p smaller than a?
True
Let n = 15066 - 14750. Is n greater than or equal to 330?
False
Let o(k) = 2*k**2 + 19*k - 11. Let b be o(-10). Let m be (-260)/3393 - (-2)/18. Which is greater: b or m?
m
Let b = -158 + 18. Let k be (-2 + 55)*(-4)/b. Let a = 12/7 - k. Is 0 equal to a?
False
Let j = -0.01368 - 45.98632. Which is greater: 0.05 or j?
0.05
Let r be (1 + (-59106)/59110)*(-12)/(216/(-90)). Is r less than 0?
False
Let s = 84909 - 76418113/900. Is 1 smaller than s?
False
Let h = -66 - -41. Let t be (-3 + h/(-10))*(0 + 0). Is t < -75/4?
False
Let d = 60 + -59. Let l = -63/23 - -1245/253. Let y = l - 1259/572. Which is bigger: y or d?
d
Let b be -4*1/(-132)*((8 - 14) + 12). Which is smaller: b or 37?
b
Let a(v) = -30*v**2 - 39*v - 2. Let m be a(-1). Suppose c - 16 = 5*k, 2*k + 28 = -5*c - 0*c. Does m = k?
False
Let x(r) = 3*r + 9. Let i be x(-3). Let t(y) = 8 + i*y + 4*y - 3*y + 0. Let v be t(-7). Does v = -7?
False
Let w = 12244931/9 - 1358321. Let q = 2224 - w. Let n = q - -700/261. Is 1 greater than n?
True
Suppose f + 3 = 0, 2*p + 2*f = 2 + 4. Let z be (-19)/(-57) - 164/p. Let n be 249/z - 8/(-36). Which is smaller: n or -8?
n
Suppose -1747 = -15*w - 63802. Is -4137 smaller than w?
False
Let j = 43 + 9. Let m = j + -41. Let b = -77 - -233/3. Is b at most as big as m?
True
Let v(r) = r**2 + 2*r - 2. Let g be v(-3). Let j be ((-1)/(-21))/(18/18*(870/(-125) - -7)). Which is smaller: g or j?
g
Let l be 38/9 + ((-1071)/81 - -13). Suppose l*q + 6 = q. Which is smaller: -46 or q?
-46
Let z = -55835 + 55769.131. Let r = -0.131 + z. Let y = r + 67. Is y not equal to 0.1?
True
Let b(g) = -3*g**2 + 121*g + 205. Let v be b(42). Is -239 bigger than v?
False
Suppose -3*c = 0, c + 7 = 5*b - 18. Suppose 3*o + 3*k = 264, 0 = b*o + 4*k + 5 - 441. Which is greater: o or 85?
85
Let s = -7648 - -7641.8. Which is smaller: 9/5 or s?
s
Suppose -3*r = -1 + 7, 3*r = -f - 4. Suppose -2*n - 3*i + 68 + 12 = 0, -8 = -f*i. Let u be (-4)/n + (-24)/663. Which is bigger: u or 1?
1
Let k be 195/520 + (-241)/88. Let o(g) = 6*g + 1. Let q(y) = -y - 1. Let m(n) = -o(n) - 5*q(n). Let v be m(6). Which is smaller: k or v?
k
Suppose -452*v + 479*v + 8 + 208 = 0. Suppose -2*f + 30 = -4*i - 4, 3*f - 33 = 4*i. Is i bigger than v?
False
Let g = 4.492 + 0.008. Let z = g - 5.5. Let i be (-3324)/1404 + (-4)/52. Is i < z?
True
Let u = 16 + -43. Let g = -27.45 - u. Let q = -0.25 - g. Which is greater: q or 12?
12
Let c be (-2685)/(-2)*(-594)/(-297). Are 2685 and c unequal?
False
Let k = 53597 + -53545. Let r = 145 - 95. Is k not equal to r?
True
Let t = -10534150 + 5741114029/545. Let a = t - -2/109. Which is bigger: 0.5 or a?
a
Suppose 4*k - 2*k = 6. Suppose 14*y - k*y - 11 = 0. Which is smaller: y or 4/73?
4/73
Suppose -100*b = 71*b + 18*b + 189. Does -2/22253 = b?
False
Let n be 4/23 - 2546784/14115537. Is -1 greater than n?
False
Let v(k) = -9*k + 3*k + 7*k - 3*k + 6. Let s be v(8). Let f be (-306)/s + 16/40. Is 29 not equal to f?
True
Let j be (15/(-35))/(-1) - (-963)/7. Suppose 0 = -4*r + 66 + j. Let b = 84 - r. Is 34 at most as big as b?
False
Let f = -29 - -29.01. Let d = -11 - -17. Let l be (-8)/d*(-3)/(-22). Which is bigger: f or l?
f
Let f = 6.75 - 7.752. Let p = 0.498 - f. Which is bigger: 2/9 or p?
p
Let c = 196 - 187. Let r = -5 + c. Which is smaller: r or 11?
r
Let h = -1276694/315 - -4053. Which is bigger: 1 or h?
1
Let a be 1 - 3/(6/(-32)). Let v(w) = 197*w - 5490. Let o be v(28). Is a < o?
True
Let v be (-1 - 196/(-176))/((-1)/(-8)). Which is smaller: v or 35?
v
Let o be (-1)/((209/14136)/11). Which is bigger: o or -745?
o
Let k be (-30)/(-21 + 903/42). Which is greater: -414/7 or k?
-414/7
Let s = -2319 - -2312.8. Which is greater: s or 4.8?
4.8
Let c = 5621 + -6378. Which is smaller: -760 or c?
-760
Let s(k) = k**2 + 12*k + 23. Let h be (0 - (-3 - -4)) + -9. Let b be s(h). Suppose 3*t + b = 2*o, -2*o - 4*t = 1 + 3. Is -1/2 < o?
True
Let w = 19569 - 19853. Which is bigger: 15 or w?
15
Let c = -0.74 + 0.56. Let s be 4/6 + (-10)/(-6). Let u = -8/3 + s. Which is smaller: c or u?
u
Let r = -127449/52 - -2451. Are r and 46 equal?
False
Suppose 2*i - q + 35 = i, -2*q + 166 = -5*i. Let u be 4 + (-1983)/532 + i/112. Which is greater: 0 or u?
0
Suppose 22669 - 45711 = 276*t + 55066. Which is greater: t or -293?
t
Let o(q) = -q**2 - 5*q - 3. Let l be o(-6). Let s be (-9)/(135/10)*33/2. Let b = s - l. Which is smaller: -13/4 or b?
-13/4
Let o = 39 - 34. Let q = -5.1 + o. Let i = 12.9 + -12.3. Which is bigger: q or i?
i
Let s be -3 - 98 - (7 + -5)*-1. Let b be ((-1*372)/4 - 1) + -4. Is b not equal to s?
True
Let p = 3763/100 + -151/4. Let j = -0.736 + 1.736. Are p and j unequal?
True
Let q = 549 + -332. Let i = q - 220. Which is bigger: -23 or i?
i
Let g = -43 + 208. Let q = g - 126. Let c = q - 28. Which is smaller: c or -1?
-1
Let h = 881221496513/9405 + -93697129. Let q = -2/855 - h. Are -51 and q nonequal?
True
Let m(z) = -2*z**3 - 28*z**2 - 24*z - 333. Let r be m(-12). Is -3 <= r?
False
Let c = -41768/13 + 3213. Suppose -5 = 3*s + 3*m + m, 4*m = -s - 15. Suppose k + 2*k - 5 = 4*j, -s*k + 15 = 0. Is j <= c?
False
Let o = -36964 - -147857/4. Which is greater: o or 88/157?
88/157
Let t be (1/(-18))/((-1)/1498). Let z = 83 - t. Let g = -108/5 - -21. Is z equal to g?
False
Let i be 1/(1/6*-1). Let r = -10553/105 + 503/5. Which is bigger: r or i?
r
Let j = -2 - -5. Suppose 4*l - 8 = j*u + u, 12 = 3*l. Suppose x + 4 + u = -2*p, -2*p + 18 = -5*x. Which is bigger: -3 or x?
-3
Let h = 1903 - 1903. Let g = -244 + 104. Which is smaller: h or g?
g
Let h be (-2)/((-8)/32*4/3). Suppose -q + 3*o - h*o - 15 = 0, -4*q + 3*o = 0. Let w = -4 - q.