/4 or r?
r
Suppose 5*q + 760 = 5*c, 3*c - 7*q = -2*q + 460. Suppose -6*y - 24 = -c. Is y at least 200/9?
False
Let s be 1/((-7)/8)*21/(-6). Let i be s/16 + (-108)/(-16) + -6. Which is greater: -2/1095 or i?
i
Suppose 2*n + 3*a = 30, n - 22 = -0*a - 5*a. Let g be 6/n*(-1 + 1). Which is bigger: 30/29 or g?
30/29
Suppose -10814 = 20*r + 2626. Which is smaller: r or -669?
r
Let b = -0.3371 + 6.3371. Suppose 15 = -3*q, 3*y + 3*q + 10 = q. Suppose y = 4*g + 1 - 5. Which is bigger: b or g?
b
Let f(p) = 30*p**3 + 17 + 30*p - 29*p**3 + 23*p**2 + 39 - 1. Let d be f(-22). Which is greater: -119 or d?
-119
Let v = -2413 + 2373.22. Let t = 8.73 + v. Let c = -31 - t. Is c bigger than -3?
True
Suppose 30 = -k - 2*j + 23, -2*j = 12. Which is smaller: -361 or k?
-361
Let h be (-6)/(-7) + 45978/(-1358). Is -67/2 less than h?
True
Let p be 0 - (1 + 3*-1). Let q(z) = 22*z + 1. Let y be q(p). Let f = 38768 - 38768. Do y and f have the same value?
False
Let x = -28/611 - -5730/98371. Which is bigger: 6 or x?
6
Suppose 5*y = 2*f - 6, 12 = -3*y - 2*y + 4*f. Suppose -4456 - 1835 = 3*i. Let t be 4/18 + i/9072. Is t at most as big as y?
True
Suppose -13 + 123 = 5*d. Let o(m) = 20*m**2 + m. Let t = -126 + 127. Let q be o(t). Is q greater than d?
False
Suppose 3*j - 406 = 2*d, -5*j + 26*d = 24*d - 674. Does j = 98?
False
Suppose -237*p + 234*p + f + 173 = 0, 3*p - 171 = 3*f. Does p = 57?
False
Let r be (1 + -2)*-707*2748/(-3206). Which is bigger: r or -618?
r
Let p(l) = 98*l**2 - 3*l + 5. Let k be p(1). Suppose -k = -3*z - z. Let q be 2/(-6) + 76/3. Is z <= q?
True
Let k = 67 - 67.074. Let l = k + 0.894. Let h = -0.18 - l. Which is greater: h or -3?
h
Let w(g) = 3*g**2 + 23*g + 12. Let r be w(-7). Let m be 162/108*r/(-18). Let t = -0.02 + 2.02. Which is bigger: m or t?
t
Let v = -14538 + 18009. Is v smaller than 3471?
False
Suppose -u + 0*u = -5*u. Suppose u = -2*v - v + 120. Let x be (v - 4)/(1 + -1 + -1). Which is greater: x or -35?
-35
Suppose 3*y + 335 + 46 = 0. Let k = 129 + y. Which is bigger: 1/2 or k?
k
Let a = 23.2 - 3.2. Let r = a - 20.5. Let j(m) = -m - 1. Let d be j(-3). Which is bigger: d or r?
d
Suppose -5*w = n + 8, 0 = 3*n - 0*n + 5*w + 14. Let v(b) = 9*b. Let l(k) = k - 1. Let t(j) = -10*l(j) + 2*v(j). Let q be t(n). Is q < -1/4?
True
Suppose 3*g = -3*g + g - 10425. Which is smaller: -2084 or g?
g
Let s be (-5)/((-43)/4*2). Suppose 11*o + 424 = 413. Which is greater: o or s?
s
Let h be (2/4)/(60 + -50 + -13 + 1). Which is bigger: h or -1/275?
-1/275
Suppose 2*a = 4*l - 212, 8*a - 3*l = 3*a - 544. Let q be ((-4)/a)/(9/(-2925)). Is -12 <= q?
True
Suppose 2*l + x = 17046, 25572 = 3*l + 105*x - 102*x. Which is smaller: 8521 or l?
8521
Let y = -359 - -335. Which is greater: y or -123?
y
Let d be (1766/(-4))/(371/3710). Is d less than -4416?
False
Let d be 86*2/4 + (-4)/(-2). Suppose -42*p - 12 = -d*p. Suppose -3*o + p*t = 28, -4*o + 2*t - 12 = 32. Which is bigger: o or -10?
-10
Suppose -4*x + 694 - 1346 = 0. Let q be (-243)/((63/70)/((-3)/(-5))). Which is smaller: q or x?
x
Let n = 174 - 165. Suppose -4*q = 3*a + 3, -6*q = -n*q. Which is bigger: a or -2/135?
-2/135
Let x(n) = 1012*n - 2084. Let b be x(2). Which is smaller: -83 or b?
-83
Let n be (1/(-3))/((-179)/(-36) - 5). Let q be n/330*81 + -3. Do 1 and q have the same value?
False
Suppose 3*q = -2*q + 2*a + 77, -2*q = -5*a - 14. Let v = q + -21. Let y(z) = -2*z - 3. Let d be y(v). Does -2 = d?
False
Let o = 640 - 643. Is -0.95 at most o?
False
Let h = -0.218 - 114.782. Let p = h - -117. Let o = -0.18 + 4.18. Which is bigger: o or p?
o
Suppose 2*j = 3*l + 30, 3*j = l + 3*l + 44. Let r be (-10)/(-8) + 117/j. Suppose -r*s - 9 = -20*s. Is s < -38?
False
Let k be 291/9031476*(-4)/(-1). Is 1 >= k?
True
Let y be ((-9021)/124)/(245/4). Let w = 8/147 + y. Are -1 and w nonequal?
True
Let u(d) = 2*d**3 + 39*d**2 + 200*d - 12. Let o be u(-15). Is o at least -982?
False
Let n be (48/(-3))/(-4) - (8 + (-4878)/(-81)). Is n smaller than -64?
True
Suppose 6*h + 1258 = 3*h - 4*u, 3*h = u - 1238. Let w = 93637109/1479 - 1069251/17. Let g = w + h. Which is greater: -1 or g?
g
Suppose 9*a = -14*a + 6716. Let d = a - 324. Which is bigger: -31 or d?
-31
Let z = 1041 - 1044. Does 60 = z?
False
Let h = -1613 + 1609.28. Which is smaller: -15 or h?
-15
Let r be 5/(20/(-24)) + -248. Let n = 254 + r. Which is smaller: 8 or n?
n
Let i = -5429/2380 - 407/204. Let h be (-3594)/(-630) + (-3)/(-7). Let p = i + h. Is 2 bigger than p?
True
Let n be 7/3104*(-1770)/826. Which is smaller: 0 or n?
n
Let h be (-8)/(-36) - 100/(-36). Suppose h*j - j + 2 = -2*f, -j = -5*f + 1. Suppose -5*d - 2*d + 42 = f. Which is greater: d or 22/3?
22/3
Let w(t) = t**3 - t**2 + 5*t. Suppose 10*a = 3*a + a. Let o be w(a). Is -0.2 > o?
False
Let x = -209 + 184.7. Let l = 23.3 + x. Is l <= 4/33?
True
Let u be 1 - -1 - (0 + 1). Suppose 0 = 23*p + 162 + 114. Let j be ((-38)/(-2))/(11 + p). Which is smaller: u or j?
j
Suppose 2*j - 3*r - 15 = -2*j, 3*r = -4*j - 15. Suppose j = -14*u + 13*u. Let v be u + -1 - (-20)/(-6). Is -5 less than v?
True
Let q = -5761 + 5857. Is q at least as big as 96?
True
Let y be (1 + 1345)*(-3 + 2). Let a = 152099/113 + y. Which is smaller: -1 or a?
-1
Let s = 125.6 + -126.6. Let o = -21/10 + 3/5. Let c = o - -2. Is s greater than c?
False
Let v = -204 - -201. Let z be (0 - v)*41/123. Which is smaller: z or -2/125?
-2/125
Let w = -0.361 + 3.481. Let b = w + -0.02. Is -0.1 bigger than b?
False
Let n = 31.78 - -16.22. Which is smaller: n or -1.59?
-1.59
Let w = 16 + -16.11. Suppose 4*z = 4*u + 44, 5 = -u - 0*u - 2*z. Let a(k) = -2*k - 18. Let t be a(u). Is w at least as big as t?
False
Suppose 85*v + 70105 + 615 = 0. Is v > 2?
False
Let y be (-2)/8*(-11 - 1). Suppose 0 = 4*x - 2*l - 8, x - y*x - 20 = 5*l. Let k be x*6/24 + 2/(-2). Which is greater: -2/127 or k?
-2/127
Let w = 509.0995 - 0.4995. Let f = 513 - w. Is f not equal to 1/6?
True
Let t = 1678 - 1719. Do t and 31 have the same value?
False
Let s be (-15)/(-1) - (6 + -3). Suppose -5*x = -i + s, -4 = 31*x - 34*x - 5*i. Which is greater: -42/19 or x?
x
Suppose 12*t + 20*t + 32 = 0. Let v be (-304)/36*t + -9. Which is smaller: 1 or v?
v
Suppose 3*x = -0*x + 9, -x = 2*o - 43. Let g be (o/(-15))/(966/45). Let f = -38/23 + g. Which is smaller: f or 2?
f
Let a = 343 - 333. Let s be (-50)/a + (1 - 0) + 22. Is 2/11 at most s?
True
Let c = 909 - 1333. Are -423 and c non-equal?
True
Let i be (-8 + (-2058)/(-266))*21/(-345). Is i less than or equal to 0?
False
Suppose 8*o + 7 = 11*o - 4*v, 2*v = -2. Let s be (2 - 0)/(-48 + -1). Are o and s equal?
False
Let z = -21153/7 + 2985. Does z = -36?
False
Let i = -113161/127 + 891. Let m = 198 + -197. Which is smaller: m or i?
i
Let d(r) = 2*r**2 - r**2 - 1 - 2*r + 3 + 0 - 6*r**3. Let o be d(1). Let s be ((-2)/o)/(126/10). Which is greater: 0 or s?
s
Let z(q) = 18*q + 216. Let b be z(-11). Suppose -26*w + 25*w + b = 0. Is w smaller than 18?
False
Let j be (0/2)/((-2)/2). Let s(t) = -t**2 - t - 1. Let d be s(j). Which is smaller: d or 1/192?
d
Let t = -339.59 - -339.69. Are t and 17.102 unequal?
True
Let w(t) = t**2 - 4*t + 12. Let o be w(4). Suppose -2*z = -2*m, 2*z + o*m - 13*m = 2. Which is greater: 10/11 or z?
z
Let q(l) = l + 36. Let c be q(-12). Suppose -y - 3*y = -c. Suppose y*u = 5*u. Which is greater: u or -2/13?
u
Let p be ((-31)/((-2387)/(-22)))/((-8)/252). Let w = -7 - -9. Suppose r - w*r + 28 = 4*s, -3*s - 2*r = -21. Is s greater than p?
False
Suppose 12*q = 15 - 87. Let j(w) = w**3 + 7*w**2 + 7*w + 6. Let z be j(q). Is z != 1/74?
True
Let u = -4 - 1. Let i(k) = k**3 + k**2 + k - 7. Let v be i(3). Let g = v - 35. Which is smaller: u or g?
u
Let z be ((-16)/42)/(10*(-3)/(-135)). Is -1 less than or equal to z?
False
Let b = -355547/6140290 - -87/1490. Is 0 at most b?
True
Suppose 397*b = 388*b - 2421. Let d = b - -258. Let g be (-5)/(5/12) - 0. Which is greater: g or d?
d
Let v = -3.3782 + 0.0782. Let q = -5 - -2. Is v bigger than q?
False
Let a = -5.127 - 0.073. Let y = -22.2 - a. Let s = 35 - y. Which is smaller: s or -1?
-1
Let o be 9/4*3/((-54)/(-816)). Suppose 6*y + 30 - o = 0. Suppose -13 = -5*l + y, 0 = -q + l + 6. Do 9 and q have different values?
True
Suppose -123*z - 2392 = -307*z. Which is smaller: -18/11 or z?
-18/11
Suppose -21*x