 8 = 42. Which is smaller: g or l?
g
Let w be (-3)/909*(1060/7440 - 1/6). Are w and -1 equal?
False
Let i = -0.045 + -0.265. Let g = 18.45 + -0.45. Let n = -19 + g. Which is bigger: n or i?
i
Let s = 2666 - 3485. Is -4099/5 bigger than s?
False
Let i = -333 - -650. Let u = i - 318. Which is smaller: 2/81 or u?
u
Suppose 2*m = 0, 64*u - 4*m - 246 = 66*u. Is -121 < u?
False
Let a(i) = i**2 - 14*i + 47. Let g be a(14). Let v = g + 26. Suppose 3*d = 32 + v. Is 37 not equal to d?
True
Let d = 0.11 + 1.89. Suppose 276654*k - 276684*k + 5325 = 17805. Which is smaller: d or k?
k
Let r = 2 + 1. Let n be (1 + r)/(-1*(-25)/10). Let d(a) = -a**2 - 5*a + 17. Let x be d(-7). Which is greater: n or x?
x
Let s be 9*(5/(-90))/((-3)/12). Let v be 1/s + (-49)/14 + 18. Is v > 12?
True
Suppose 54*f - 10230 = 23*f. Suppose 10*h = 1980 - f. Which is smaller: h or 0.1?
0.1
Suppose -4*q + 0*q = y - 69, 15 = q + y. Let n be (q/(-5) + 2)/((-77)/140). Let o(r) = r**2 + 2*r + 1. Let z be o(-3). Is n at most as big as z?
True
Let x = 3.133 - 2.977. Is 0.03 at least as big as x?
False
Let f = -3269 - -3007. Is -258 greater than or equal to f?
True
Let m(v) = -921*v**3 + 3*v**2 + 13*v + 15. Let u be m(-1). Is 924 smaller than u?
True
Let y(u) = 7*u + 38. Let c be y(-6). Let m be (1/c)/((-5)/60). Is m smaller than 22/7?
True
Let h be (-4 - (-57)/12)/(-3). Let k(c) = 26*c**3 - 2*c**2 + 8*c + 7. Let d be k(-1). Is h less than d?
False
Let b be (13 - ((-265)/(-10) + -15))*70. Let t(z) = -3*z**3 - 6*z**2 - 2*z + 3. Let l be t(-4). Which is smaller: l or b?
b
Suppose r = 1, -4*j + 5*r = -27 + 8. Suppose -7 = 2*h + 3*v + 24, -8*h + v - 7 = 0. Which is bigger: h or j?
j
Let y(c) = c**2. Let d be y(5). Let p be (-1 + 5)*4/8. Suppose -48 = -p*o - r, -4*o - 4*r = -r - 96. Which is bigger: d or o?
d
Let v = -1961 + 1734. Is v smaller than -231?
False
Let l be 4/(-20)*(-4 - 1). Let i(w) = -305*w + 3. Let o be i(2). Let t = 7896/13 + o. Is l less than t?
False
Let k(o) = 101*o**2 - 758*o + 43. Let m be k(8). Which is bigger: 2208/5 or m?
m
Let k = 3 - -28. Suppose -k*j + 42 = -10*j. Do 19 and j have the same value?
False
Let v = -9571 + 9497. Which is bigger: -77 or v?
v
Let i = -165 - -49. Let l(n) = -8*n**2 - 4703*n - 13568. Let j be l(-585). Is j greater than or equal to i?
True
Let s = 181 - 273. Let n = s - -92.3. Which is greater: -5 or n?
n
Suppose 2*q + 7 - 15 = 0. Let l = 939 + -936. Which is smaller: l or q?
l
Let q = 264.82 + -264.66. Which is smaller: q or 71?
q
Let o be (-390)/(-9555) + 4/(-98). Is o at least as big as 728.1?
False
Let z = 51909/43 + -1207. Is z < 0?
False
Suppose 714 = 7*b - 1001. Let p = b + -94. Is 152 at least as big as p?
True
Let b = 1111 + -1118. Let h = -40130/6391 - 6/913. Is b at most h?
True
Let k = 55 + -75. Let p be 3 - 3*(15 - 2). Let c = p - -17. Do c and k have different values?
True
Let g = -2530 + 4871. Is 2339 smaller than g?
True
Let l be 1 + -1 + 4 + 15/(225/(-48)). Let j = 0.11 - -0.09. Let r = 0.7 - j. Is r bigger than l?
False
Let i = -68 - -84. Suppose -12 = -h + g, 3*h - 4*g - 38 = -3*g. Suppose 9*p - h*p = -68. Which is smaller: i or p?
i
Suppose -5*d - 12 = -67. Suppose 6*o - d = -5. Which is greater: o or 8/45?
o
Let v(h) = 45*h - 8*h + 5*h**2 + 33*h. Let q be v(-14). Let y be ((-1)/(-2))/((-10)/96). Which is smaller: q or y?
y
Let r = -1431 + 65819/46. Does -1 = r?
False
Let c(x) = -4*x + 13. Let r(b) = -7*b + 27. Let m(z) = -5*c(z) + 2*r(z). Let q(p) = 8*p - 53. Let d be q(6). Let w be m(d). Do w and -42 have the same value?
False
Let z = -423.29766 + 0.25766. Let u = -423 - z. Is 6 less than u?
False
Let g(v) = -41*v - 4 + 1 + 40*v - 4. Let k be g(-18). Let i = -5 + 3. Which is bigger: k or i?
k
Suppose 830 = -2*k + 5*w, -w = 3*k + 660 + 551. Let v be (18/k*-9)/((-98)/60). Which is smaller: 1 or v?
v
Let u(y) = 390*y + 3350. Let b be u(-11). Do -938 and b have the same value?
False
Suppose 3*p = -3*p + 18. Let h be p/(-9) - 592/(-12). Suppose 6*d = h + 17. Is d > 11?
False
Let s(q) = -2*q - 16. Let v(h) = -h**3 + 12*h**2 + 12*h + 7. Let r be v(13). Let l be s(r). Let p be (-1)/l*10*6/15. Is p <= -3/32?
False
Let a be 4254/(-36) - (-30)/(-36). Let h be (6 - 12)*20*1. Which is greater: h or a?
a
Let c = -4 - -4. Let g be (-513)/(-27) + -9 + (-1428)/143. Is c <= g?
True
Let b(t) = 3 + 12*t - 10*t**2 + t**3 + 0*t**3 - 30. Let x = 8 + 1. Let o be b(x). Which is bigger: -2/177 or o?
o
Let t be (2 - 2 - 0)/1. Let w = 44471/8 - 5560. Is w <= t?
True
Let j be 15/10*1*(-4)/(-3). Let g be ((-14)/(-6) - j)*-358. Let l = g + 227/2. Which is smaller: l or -6?
-6
Let x = 323 + 54. Let q = 359 - x. Does q = -87/5?
False
Suppose 0 = 8*g - 3*g - 5. Suppose -4*r + 24 = 2*r. Let v be 1/(10/r - 2). Which is smaller: g or v?
g
Let w be (264/338672)/(43/360). Let j = 2/2623 - w. Which is greater: j or 0?
0
Suppose -15 = 4*p - 3*j, j = 577*p - 578*p + 5. Is p at most -4/2729?
False
Let b(l) = -l**2 - 17*l + 22. Let c(a) = -a**2 + 2*a + 6. Let f be c(-4). Let p be b(f). Suppose -p*n + 5 + 3 = 0. Which is smaller: 3 or n?
n
Let h = 8286.13 + -8288. Which is greater: h or -0.1?
-0.1
Let f = 400 + -324. Let h = 75 - f. Which is smaller: h or -6?
-6
Let s be 5/(2575/(-3620)) - (-10 + (-24)/(-12)). Which is smaller: s or 2?
s
Let a = -4008386317/1230 + 3258851. Let y = a - 1/410. Which is smaller: -14 or y?
-14
Let a = -10775 - -10777. Is -2885 at most a?
True
Let h = -3.3 + 0.3. Let k(y) = 2*y**2 + 20*y - 43. Let x(o) = -o**3 + 23*o**2 + 48*o + 52. Let s be x(25). Let f be k(s). Which is smaller: f or h?
h
Suppose 26*g - 58*g = -48*g + 12288. Do 768 and g have different values?
False
Suppose 26*y + 77 - 77 = 0. Let l = 301/4292 + -1/37. Which is smaller: y or l?
y
Let d be 5/(2 - 7) + -3 + -1 + 293. Which is greater: 301 or d?
301
Let l = 1047.457 + -1048. Let k = 0.443 + l. Does k = -2/29?
False
Let k = 2710766/7 + -388184. Let h = k + 930. Let z = 324 - 327. Is z at least h?
False
Let d = 2831 - 2806.8. Do d and -5 have the same value?
False
Let j be -1184*(24/14 + 38/133). Which is smaller: -1 or j?
j
Let r = 7/183141426 + 101681057761/29852052438. Let l = -133/39 + r. Is 0 less than l?
False
Suppose 17*r + 72 = 1687. Suppose 8*s - 23 + r = 0. Does s = -13?
False
Let k(m) = -m - 9. Let x be k(-10). Let w be ((-16)/(-64))/((-2)/(-24)). Let l = w - x. Which is bigger: 3 or l?
3
Let i = -15.827 + -0.073. Let x = i - -17.9. Let r(o) = o**2 - 3*o. Let d be r(5). Which is bigger: d or x?
d
Let d = -147921 + 1628445/11. Which is greater: 120 or d?
120
Let z(m) = 6*m - 3. Let l be z(-3). Suppose 0*s + 212 = 2*s + 2*x, 0 = -3*s - 2*x + 320. Let f = s - 130. Do l and f have the same value?
False
Let j(w) = 114*w + 1491. Let q be j(-13). Which is bigger: q or 3?
q
Let h = -2431827/643 + 3782. Which is smaller: h or -1?
-1
Suppose 127*k = 136*k - 207. Suppose 101 + 129 = -k*j. Which is smaller: 5 or j?
j
Suppose 4*p + 4*o - 60 = 0, 18 = 2*p + 5*o - 0. Let k be 6 - ((-2)/6)/((-7)/(-147)). Is p greater than k?
True
Let m be 15 - 43910*(-18)/(-52650). Is 1 smaller than m?
False
Let d = 914 + -914.32. Let i = 86 + -79.68. Let p = i + d. Which is bigger: 0 or p?
p
Let t be (9/42)/(119/(-476)). Are t and -0.445 unequal?
True
Suppose 5*x + t = -t - 1377, -4*x = 2*t + 1100. Which is smaller: x or 3/7?
x
Let i(z) = 8*z**3 + z**2 + 5*z + 17. Let q be i(-3). Let k = -403 - q. Which is smaller: k or 0.1?
k
Let p = -8/13 + -2/39. Which is smaller: p or 2/3991?
p
Let f = -0.02813 + -1.97187. Is f less than 2.57?
True
Let h(k) = -2*k**2 + 2*k - 7. Let b be (-39)/(-15) + 4/10. Let a be h(b). Let w be (-2 - -7)*-4 + 4 + -2. Which is smaller: w or a?
a
Let d = 0.07597 + 3.92403. Is -249 < d?
True
Suppose 3*o + 4*u - 8 = 0, 0 = o - 5*u + 14 - 4. Let b = 2592749/187 - 13865. Let f = -465/2992 + b. Does f = o?
False
Suppose 2*g = -x - 444, -2*x - 883 = -0*x + 5*g. Let f be x/(-1290) + (-35)/(-525). Which is smaller: f or -1?
-1
Let i = -28 + 34. Let x(t) = i + 20 - t - t. Let w be x(13). Which is greater: 10/17 or w?
10/17
Let w = 9198 + -13091. Is -3893 smaller than w?
False
Let h(m) = -70 - 114 - 106 + 167 + 23*m - 73. Let v be h(12). Is v less than 80?
False
Let p = 28 - 24. Suppose 3*c + 1521 = -5*a, a + 425 = p*c + 130. Let d be a/(-99) + 18/(-6). Is d at least as big as 0?
T