r: k or u?
k
Let h = -25/2 + 1701/136. Which is smaller: h or -1?
-1
Suppose 3*f + 4*g = -8, -f - f + 2*g + 4 = 0. Suppose f = 6*h - 0 - 0. Let x(v) = 2*v**2 - 28*v - 3. Let k be x(14). Which is smaller: h or k?
k
Let g = 0 + -1. Let w be (-633)/(-55) - 2304/1056 - 3*3. Is w < g?
False
Suppose 3*v - 4*b - 21 - 7 = 0, 0 = 4*b + 16. Suppose r - 15 = v*y, -5*y = -5*r - 0*y. Let l(a) = -3*a - 15. Let h be l(r). Are -5 and h equal?
False
Let h(j) = -15*j + 2. Let m be h(1). Suppose g - a - 108 = 0, 6*g - 201 = 4*g + 5*a. Let d = g - 563/5. Which is smaller: d or m?
m
Let a(z) = 60*z**2 + 27*z + 2 + 28*z - 110*z + 25*z + 29*z. Let d be a(2). Is 241 bigger than d?
True
Let d be (-1834)/(-70) + (-4)/(-5). Let s(u) = 29*u - 60*u + d*u - 6*u**2. Let g be s(-3). Is -42 at least as big as g?
True
Suppose -o = -5*o + 32. Suppose -o*i - 91 = -7*i. Let w be (-26)/i - (-4)/(-14). Which is bigger: 4/7 or w?
4/7
Suppose 0 = -3*p + 2*t + 36, 0*t + 2*t + 26 = 2*p. Let v be ((-232)/(-10))/(-4) - 4/p. Let i = v - -314/45. Which is smaller: 1 or i?
i
Let t(g) = g**3 + 11*g**2 + 2*g + 23. Suppose -6 = -4*m + 2, -42 = 4*q + m. Let f be t(q). Let j be 1 + (-46)/(-2)*f/(-29). Is j less than -1?
False
Let p = 92966 + -92965.8. Let f = -10.476 + 0.076. Is f not equal to p?
True
Let z = -136994 - -137099. Suppose 2*h = 3*b - 320, -5*b = -4*b + 5*h - 84. Are b and z nonequal?
True
Let t = -87207 - -249760851/2864. Which is bigger: t or 1?
1
Suppose 0 = -8*s + 12*s - 52. Let c = -0.38 + -158.62. Let y = 161 + c. Which is bigger: s or y?
s
Suppose 2*k = -2*a - 140, 0*a = -5*k + 3*a - 334. Let y = -39 - k. Is y at least 2?
True
Let v be (1 - -15)*7455/30*(-1)/14. Is -248 equal to v?
False
Let x = 2736 + -6009/2. Which is greater: x or -269?
x
Let l(i) = 108*i + 121. Let q be l(-6). Let j be ((-11656)/q + 4/(-34))/6. Which is smaller: 4 or j?
j
Suppose -w = 184*w + 9*w - 240172. Is 2477/2 at most w?
False
Suppose -2*x - 190 + 360 = 0. Let g = 603/7 - x. Let d = 29/3 + -10. Is g at most d?
False
Let i be 120/(-34)*3096/(-144). Is 75 smaller than i?
True
Let k be (-81)/297 + (-537)/(-33). Suppose 20 = 5*j, 3*m + 5*j - 14 - 6 = 0. Does m = k?
False
Suppose 2*b = -2, n - 3*b + 3 = -7*b. Let r be (n - 1)*((-10)/15)/2. Which is bigger: r or -3/13?
r
Let i(b) = 1508*b + 1271. Let j be i(-2). Is j < -1748?
False
Let c be (-3104)/(-618) + 1 - (924/(-33) + 34). Is c bigger than -1?
True
Let w be 132/99*(-1)/(-1242). Which is bigger: w or 0?
w
Let w be -3*-2*(-1)/(-1). Suppose 6*q - 2*q = a - w, 0 = a + 2*q. Suppose -5*k + 4*h = -34, -30*k - 5*h - 36 = -33*k. Is k < a?
False
Let p be (5*(5 - 7))/(-2). Let q be (-5 + 25/p)/(-1). Suppose -3*t = -s + 15, q = -7*s + 2*s + 3*t + 15. Is s < 65?
True
Let y = -3125 - -3257. Is y < 140?
True
Let o(u) = -2*u**2 + 109*u - 3491. Let m be o(87). Are -9146 and m unequal?
False
Let m = 75 - 71. Suppose w + 0*w + 5*s = -29, -4*w = -m*s - 4. Which is smaller: w or -4/25?
w
Let o = -27 + 28. Let i be o + (4 - (-2094)/(-418)). Suppose -6*n - 15 + 21 = 0. Is n greater than i?
True
Let q = -34 + 38. Let w be (-2)/4 + (-2)/q. Let d be (-4)/(-2) + (3 - w). Which is greater: 11/2 or d?
d
Let r = -0.9146 + 2515.9146. Are r and -2 unequal?
True
Let u = -3200 - -1419. Let s = u - -5417/3. Which is smaller: 24 or s?
24
Let v(r) = -4 + 0*r + 2 + 4*r - 13. Let d be v(6). Suppose -2*l - d = 4*k - 3*k, 0 = 4*k - l. Is k not equal to 7?
True
Let q(g) = 5*g + 73. Let z be q(-14). Suppose 2*c + 32 = -2*v, 5*v = -z*c - 40 - 6. Which is smaller: c or -6?
c
Let i = -251 + 251. Suppose 4*s - 9*s + 1075 = i. Is s not equal to 214?
True
Let b(i) = -471*i - 722. Let j be b(3). Which is smaller: j or -2133?
j
Suppose -6*l + 3 = 3. Suppose l = 7*n + 139 - 6. Which is bigger: n or -21?
n
Let g = -9432 - -9429. Does g = 6/365?
False
Let u = 0.21 - 4.41. Let n = -192 - -194.8. Let q = u - n. Which is bigger: 3 or q?
3
Let z(r) = 3*r**2 + 6*r - 5. Let a be z(-3). Suppose 100 = -5*n + a*g, n - 2*g + 90 = -4*n. Which is bigger: n or 3?
3
Let p(y) = 948*y - 2850. Let x be p(3). Is x bigger than 23?
False
Let x = -5 + 13. Let r be -1 - (18 - (17 + 14)). Which is smaller: r or x?
x
Suppose -5*d - 11 = -4*x, -x = d + 12 - 8. Let q be (-33)/(-90) - x/(-6). Which is greater: q or -1/11?
q
Let j be 1 + (3/39 - 1). Let m(w) = w + 10. Let s be m(-11). Which is smaller: s or j?
s
Suppose -14 = 2*l + 2*r, l + 10*r - 5*r + 23 = 0. Let i be -4 - (-150)/(-2) - (-8 - l). Do i and -75 have different values?
True
Let p(a) = a**3 - 4*a**2 + 11*a + 50. Let y be p(8). Let b = 399 - y. Which is bigger: 46/9 or b?
46/9
Let o be 1989/12 - (-15 - -15). Which is smaller: o or 166?
o
Let r = 50 + -12. Let k be 2/(-3) - r/(-12). Let l = -9400 + 9402. Which is bigger: k or l?
k
Let v be -3 + 754*1/270 - 0. Let n = 1/135 + v. Let x be (4 - (-15)/(-3)) + 1. Which is smaller: x or n?
n
Let a(h) = 7*h - 38. Let c be a(6). Suppose -5 = -5*s - 5*l + 40, c*s - 4*l = -4. Suppose 5*q - d = -30, -2*q + 5*q = -s*d + 5. Which is bigger: -4 or q?
-4
Let a = 74 + -31. Let f = a - 44. Is 2/63 at least as big as f?
True
Let x = 30 - -30. Let v = x - 8. Is 51 at least v?
False
Suppose -3*x - h - 22 = 0, -x + 2*h + h = 14. Let k = x - -9. Let z be -1 + k/(-4) + 12/(-16). Is -24/7 less than z?
True
Let z = -0.4539 - -0.4007. Which is smaller: 1 or z?
z
Suppose -6*c + 1270 = 4*k, 6450*c = -k + 6448*c + 321. Let z(q) = 34*q**2 - q + 3. Let r be z(3). Which is smaller: r or k?
r
Let m = -424 + 273. Let s = m - -150.992. Let r = -23/4 - -11/2. Is r not equal to s?
True
Let y = 102 + -102.113. Let w = y + -31.887. Let p = -31 - w. Which is bigger: p or -5/22?
p
Let r = -876102587/1300 - -673925. Let b = -33/5 - -434/65. Let o = b + r. Which is bigger: 1 or o?
1
Let g(x) = -2044791*x**2 + x. Let z be g(6). Let a = -308068184723/4185 - z. Let f = 1/837 + a. Which is smaller: f or 0?
0
Let f = 60 + -57. Let n be 0/((1 - f) + -1). Is -219 at least n?
False
Let x = -6 - 2.4. Let j = -11.3 - x. Let w = j - -9.9. Which is smaller: -0.2 or w?
-0.2
Suppose 5*g - 785*i + 790*i + 20940 = 0, 5*i - 20940 = 5*g. Which is greater: g or -4190?
g
Let l be (-1 + (-2)/(-6))*-3. Suppose l*v + 0*v - 4 = 0. Suppose 0 = -29*m + 26*m + r + 11, -5*m + 29 = -7*r. Which is greater: m or v?
m
Suppose 4*y + 15 = -o, -2*o - 4*y - 3 - 11 = 0. Let b be 6/3 + 329/(-42). Let w = -13/3 - b. Which is smaller: o or w?
o
Let g = -125 - -995/8. Suppose -15 + 5 = -2*x. Suppose 5*d - 10 = x*q, 0 = 3*d - 2 - 1. Is g bigger than q?
True
Suppose -655 + 3829 = 3*w. Suppose -38 = -15*a - w. Let v = -65 - a. Which is greater: v or 7?
7
Let o = 10.561 + -11.12. Let z = o + 0.259. Let l be ((-2)/6)/(2/(-4)). Which is bigger: z or l?
l
Let m = -15 + 20. Suppose 15 = g - m. Let o be 0 + 0 + g/70. Is -5/6 <= o?
True
Let i = 12 - -14. Let s = i - 27.6. Let o = s + 3.6. Which is smaller: 13 or o?
o
Let q = 0.582863 + 384.438137. Let u = -385 + q. Is u >= -0.1?
True
Let h be 255/(-50) + (-13)/(-130). Suppose 0 = -3*r - 3*m - 6, -m = -2*r + m + 8. Which is smaller: r or h?
h
Let d = 8 + -8.002. Let u = d + 4.002. Is u >= 0.06?
True
Let o be 2005*(5/30)/((-12)/72). Is o >= -2005?
True
Suppose -13770 = 79*l - 49*l. Is -461 smaller than l?
True
Let y be (-8)/22 + 810936/19404. Do y and 1 have different values?
True
Let g be (1 - -27)*(-2)/(-6)*(-1296)/96. Is -137 > g?
False
Let o(d) = 6*d**2 + 16*d - 9. Let m be o(6). Suppose r + r - m = -3*j, -2*j = -2*r + 278. Let p = -92 + r. Do p and 51 have different values?
True
Suppose -n + 0*n = 5*o + 36, 4*o - n = -27. Let h be (-1660)/112 + (-4)/o. Let t = 14 + h. Which is bigger: 0.25 or t?
0.25
Suppose -4*v = -5*l - 11, 43*l = 4*v + 40*l - 13. Suppose 5 - 11 = -3*g. Suppose 3*s + 4 = d + g, 18 = -2*s + v*d. Which is bigger: -1/18 or s?
s
Let s = -6 + 6. Suppose u + 0*u - 1 = s. Let k be 5/((-5)/6)*(-67)/(-1675). Does u = k?
False
Let j be 2792/(-934) - ((-2)/6 - 472/177). Is -0.1 less than j?
True
Suppose 3*a - 110 = -299. Let x be (-3)/(-21) + (1 - -8)/a. Is x less than 3/541?
True
Suppose 4*m - 18 = -2*q, -6*m + 21 = -q - 2. Suppose 5*z - q = -3*j, -2*z + 3*j - 11 = -3. Which is smaller: 2/641 or z?
z
Let h = -10908.73 + 10909. Is h equal to -2/5?
False
Let v be (36/(-15) - (-2 - 0))/(56/40). Which is smaller: v or 17389?
v
Let t(v) = -5*v + 54