- -3107. Which is smaller: 236 or x?
x
Suppose -4*z - z + 2*g = -10, 0 = 2*z + 4*g + 20. Let w be z - 4/(-14) - 1575/(-147). Which is greater: w or -1?
w
Suppose n = -0*n. Suppose 78*i - 82*i = n. Is i at most 2/9?
True
Let u = 75 + -74.68. Let v = -33 - 37. Let x = v - -67. Which is smaller: u or x?
x
Let i = 8769 - 14437. Which is greater: i or -5667?
-5667
Let a = -104 - -104. Let b be ((-28)/(-12) - a)*3. Suppose 6*r + 1 = b. Which is smaller: 4 or r?
r
Suppose 3627*o - 30607 - 947 = 121*o. Let i(l) = 3*l - 1. Let b be i(-1). Let m be b/(-6) - 0/(-1). Are m and o nonequal?
True
Suppose -3*k + 347 = -4*s, 4257*k - 4254*k + 5*s = 410. Which is greater: 1129/9 or k?
1129/9
Let m = -1836928/292565 + 8/4501. Is -5 at most m?
False
Let j be (-769)/4614 + 43/(-102). Let u be -2*1 - (-3 + 2). Is u greater than j?
False
Suppose 5*j + 4*y - 59 = 0, 4*j - y - 48 = -4*y. Suppose 13 = 4*g - 2*v - 17, 2*g - 3*v = 25. Suppose -153 = -g*o - 4*o. Which is greater: o or j?
o
Let p = 0.6 + 9.3. Let i = -40 + 30. Let j = p + i. Is j not equal to -5/3?
True
Let y be (-4)/14 + (-44)/(-7). Let i = 43482 + -565206/13. Which is smaller: y or i?
i
Let w be (-324 - -4)/2*-1. Let u be (4/6)/((w/6)/2). Is 1 bigger than u?
True
Let s = 9965 - 9917. Is -1/3 < s?
True
Let o = 8125 - 8103. Which is greater: o or -20.6?
o
Let s(l) = 4*l**2 - 17*l + 60. Let f be s(3). Let b be 40/f*-6 - (-15)/(-9). Is b not equal to -8?
True
Let k = 78748/7 + -11206. Let p = -44 + k. Let z = 0.11 + 1.89. Which is bigger: p or z?
z
Suppose 0 = w + p - 210, -w = 475*p - 476*p - 204. Which is smaller: w or 209?
w
Suppose 558 - 2800 = -38*k. Let a = k + -651/11. Is a greater than 0.11?
False
Let s(u) = 43*u + 162. Let c be s(-7). Let b = c - 104. Which is smaller: -241 or b?
b
Let t = 300 + -384. Let p be (-112)/t + 0 + 91. Which is greater: 93 or p?
93
Let m(r) = 31 - 2*r - 8 - 2*r + 0*r. Let p be m(7). Let z be 480/666 - (p/(-3) + -1). Which is greater: -1 or z?
z
Let j = -132.10032 - -0.10032. Which is smaller: 48 or j?
j
Suppose 9*j + 34*j + 5*j - 3648 = 0. Is j > 29?
True
Let c = -0.607 - -0.107. Let t(v) = -4*v + 15. Let l be t(7). Let u = l + 11. Is c less than u?
False
Let z be (-2)/(-54) - 400192560/19440. Is z greater than -20585?
False
Suppose -35*o = -19 - 12 + 31. Is o >= 14/629?
False
Let y = 8809 + -8846.963. Let k = -0.037 + y. Let r = k - -35. Is r greater than -3/5?
False
Suppose k - 10565*q = -10560*q + 22, -18 = -k + 4*q. Which is greater: k or 74/33?
74/33
Suppose -4*x + 1148 = -4*l, 0*x - l = x - 295. Let i = 299 - x. Which is smaller: i or 11?
i
Suppose -4*i + 15 = y - 8*i, 0 = 4*y - 5*i - 16. Let x = 1 + y. Let s(v) = -1854*v + 20400. Let k be s(11). Which is smaller: k or x?
x
Let n(c) = c + 2. Let s(p) = -6*p + 25. Let l(v) = -4*n(v) - s(v). Let f be l(5). Is f at most as big as -24?
False
Let p be (28/(-12))/(3*1/(-81)). Let w be 20/((-3)/(-5) + p/45). Which is greater: 5 or w?
w
Let d = -96.5 + 121. Let v = d - 31. Let c = 6.3 + v. Which is smaller: 0.18 or c?
c
Suppose u - 128 = w + 145, u - 5*w - 297 = 0. Do u and 258 have different values?
True
Let s be 90/(-60) - ((-365)/(-25))/(168/10). Which is bigger: s or -2?
-2
Let o be (-2 + 4 - -2) + 0 + 1. Suppose 374 = -9*f + o. Is f equal to -42?
False
Suppose -10110 = 12*m + 3*m. Let n be (15 - 20) + (-1)/2*m. Which is smaller: 333 or n?
n
Let z = 0.054 - -0.766. Let d = z + -60.82. Let o = d - -59.3. Are o and -0.1 equal?
False
Let z = -7 + 2. Suppose 33*w - 886 = -919. Which is smaller: z or w?
z
Let r = -12 + 36. Let w = 16 - 15. Suppose -h + w + 23 = 0. Is r at least as big as h?
True
Let h = -42770 - -45061. Which is bigger: 2 or h?
h
Let p = 1693/15 + -113. Let q(u) = u**3 + 5*u**2 - 6*u - 24. Let s be q(-2). Which is smaller: s or p?
p
Let h = -2 + 2. Let g = -533 + 560.76. Let s = g - 27.9. Which is greater: h or s?
h
Let x be ((-6)/12)/(74/12). Suppose -311 = -224*d - 87. Is d less than or equal to x?
False
Let q(a) = -a**2 - 50*a - 225. Let l be q(-5). Suppose l = -5*p + 99 + 81. Which is smaller: 16 or p?
16
Suppose 3*u = -0*u - u. Suppose 2*p + 2*z + 3*z - 8 = 0, u = -4*p - 2*z + 16. Let a be (2 + (-4 - p/(-2)))/3. Is 27 smaller than a?
False
Suppose 22*a - 34550 = 44980. Is 3615 less than a?
False
Let m be 3*6/(-32)*(-12862)/981. Let v(b) = -b + 8. Let r be v(0). Which is bigger: r or m?
r
Let a(p) = 7*p**2 + 11*p - 2. Let q be a(-6). Let s be (-4 + -1)*392/56*74/(-14). Which is bigger: q or s?
s
Suppose -5*k - a + 5310 = -4379, -3*a = 2*k - 3873. Is -2/7 smaller than k?
True
Let k = 1/46 - -10/69. Suppose 14 = 3*x - 5*o - 4, 4*x = -5*o - 11. Is x at least as big as k?
True
Suppose h - 23 = 8. Suppose h*f - 36*f = -30. Which is smaller: f or -7?
-7
Let b be (-4)/(-5) - (-5 + (-4782)/(-390)). Let j be (-15)/325*990/(-8). Let o = b + j. Which is smaller: -0.1 or o?
o
Let w be ((-122)/8 - 3)*(1294 - -30). Which is smaller: 1/2 or w?
w
Let b be (2 + (-12)/10)/((-768732)/(-1410)). Which is smaller: -1 or b?
-1
Let t be (17 - 2) + 30972/(-2059). Which is bigger: t or 32?
32
Let j = 36 + -16. Let p(s) = -8*s - 40. Let r be p(-14). Suppose -8*g + 81 = -4*g - t, -3*g + r = -3*t. Do g and j have different values?
True
Let f be (-3 + 4 + -2)*56. Let y be f/14 + (1 - 638/(-8)). Let z = y + -77. Which is smaller: z or 1?
z
Let f be 49 - (1 - (2 + -1)). Let m(b) = -b**2 + 35 + 34*b - 17*b + 57 - 18*b. Let d be m(6). Does d = f?
False
Suppose -l - 78 = -4*l. Let c be -175*-1*((-6 - -4) + 3). Let n = 200 - c. Which is greater: l or n?
l
Let n be ((-24)/(-280952)*7)/(-3 + (-36)/(-8)). Which is smaller: -1 or n?
-1
Let j(i) = -28*i**2 - 1 + 10*i - 10*i - 1. Let p be j(1). Let b = p + 54. Which is greater: b or 25?
25
Suppose -31021 - 14453 = 11*i. Let s be (-12)/3 - i/24. Let p = 169 - s. Which is smaller: 2 or p?
p
Suppose 0 = 19*r - 24*r - 5*n + 15, 3*n - 4 = -2*r. Let t be 4/(r/50*1). Which is bigger: 41 or t?
41
Suppose -97*a - 74*a = 625927 + 26438. Which is smaller: a or 0.1?
a
Suppose -6 + 1 = -3*f - h, 0 = 3*f + 3*h - 3. Let d be f/9 + 1770/54. Let r = d + -22. Does -0.1 = r?
False
Suppose -4*b = -5*k + 13, -5*k = -5*b - 5 - 10. Let m(n) = -4*n - 8. Let x be m(b). Which is greater: x or 3/16?
3/16
Suppose 98 = -2*u - 4*c, -4*u + 3*c = -9*u - 210. Let b = -39 - u. Let o(l) = l**2 - 2*l. Let p be o(b). Is p at most as big as 1/51?
True
Let l be (-1)/4 + 1/(8/18). Suppose 0*z + l*z + 3*i = 9, -2*i = 5*z - 6. Let x = 652/24453 - 2/209. Is x bigger than z?
True
Suppose 7*x - 64547 - 70833 = -13*x. Is 6770 greater than x?
True
Suppose 81096 = -4774*a + 4805*a. Are 7852/3 and a equal?
False
Let d(s) = -4*s**3 + 2*s**2 - 1. Let k be d(-1). Suppose -22 - 48 = k*u + 4*c, 45 = -4*u - c. Suppose -26*j + 12073 = 12203. Which is bigger: j or u?
j
Let y = -79 + 89.6. Let p = -137.36 - -148. Let n = y - p. Which is greater: -0.2 or n?
n
Let s(h) = h**3 - 2*h**2 + 2. Let b = -123 + 125. Let z be s(b). Is z at least 18/11?
True
Let y be ((-5)/10)/((-3)/159549090). Let l = 214673300900/8073 - y. Let q = l + 2/351. Which is smaller: 1 or q?
q
Let x(q) = -6*q**2 + 18*q + 33. Let z be x(-12). Let j be 36/z*(-1)/(3 - 7). Which is smaller: 0 or j?
j
Let d = 342 + -173. Let p = d + -132. Which is bigger: p or 35?
p
Let q = -129248/151 - -856. Let f = q + -16483/453. Is f >= -36?
False
Let c = -149297/48 + 9334/3. Which is bigger: 1 or c?
1
Let w(j) = -11 - 2*j + 2*j + 3 - 2*j. Let l be 14/35 - ((-64)/(-10) + -2). Let r be w(l). Do r and -4/13 have different values?
True
Let b be ((-22)/6)/((-252)/(-14175)*(-5)/(-8)). Is b < -317?
True
Let b(p) = 0*p + 6*p - 2*p + 18. Let h be b(-7). Which is greater: h or -13?
h
Suppose -98 = -2*k - 74. Let q be -1 - 1052/21 - k/21. Do -51 and q have the same value?
False
Let a = 2632 - 1605. Let r = 869/4 + -217. Which is greater: r or a?
a
Let h be (137 - 0)/(7 + -6). Suppose 7*v + h = 4. Suppose -80 - 32 = 7*t. Is t not equal to v?
True
Suppose 577*v - 24534 = -5*r + 581*v, -4*r = -4*v - 19624. Are 4908 and r unequal?
True
Let w = 0.282 + -0.282. Let c = 4.15 - 4.8. Let u = c - 25.35. Which is smaller: u or w?
u
Let x = -505 - -2491/5. Which is bigger: -6 or x?
-6
Suppose 2 = -h - 0*h. Suppose 0 = -3*v + 4*v + 124. Let b = v + 124. Is h <= b?
True
Let u(a) = -a**3 + 70*a**2 + 147*a - 101. Let g be u