/m. Which is smaller: h or 1?
h
Suppose 0 = -a + 3*j + 13, -2*j + 4*j = 2*a - 14. Suppose -5*p = 3*y - 22, 5*p - 17 = -4*y + a. Let i be (-7)/1246*(-7 + 10 + -1). Is y at most as big as i?
True
Suppose 9*y + 68 = -22. Let u(p) = p**2 + 7*p + 4. Let c be u(-7). Suppose -2*w + 8 = 0, -2*m + c*w = -m + 24. Is m greater than or equal to y?
True
Let q = -64 - -459. Let y = q + -396. Let j = -1489/1394 - -33/34. Which is smaller: y or j?
y
Let a(p) = p**3 + 12*p**2 + 41*p + 31. Let h be a(-6). Which is greater: h or -19/219?
h
Let i be (52/(-26))/(717/(-12)). Which is bigger: -1 or i?
i
Suppose 15 = -4*y + 155. Let b be 3/5 + (329/y - 8). Let r be 4 - (3 + (-36)/(-16) - b). Is 2 at least as big as r?
True
Let o = -5653587314/17943713221 + 2/57820773. Let y = o + -2/2793. Which is smaller: y or -3/5?
-3/5
Let z be -1 + 15/10*8/(-3). Let p = z - -14. Suppose 2*o - 11 = -p. Is 1/76 != o?
True
Let f = -7749 - -2657909/343. Are f and 0 equal?
False
Let t(w) = -w**2 - 3*w - 3. Let u be t(-3). Let b = 279 - 169. Let v = -110 + b. Is v <= u?
False
Suppose 3*l = 5*m - 14, -l = -3*m + 3*l + 4. Suppose 5*i = -4*a + 21 + m, 4*a = i + 19. Let k be -4 + 6 + (-32)/26. Which is bigger: i or k?
i
Let w(n) = -n**3 + 8*n**2 - 2*n - 35. Let c be w(7). Let g be 6/(-13 + -5)*c. Is 1/154 < g?
False
Let k = 12373 - 61596/5. Which is bigger: k or 53?
k
Let l = 38 + -34. Suppose 0 = 4*w + l*i + 16, 2*w = w + 4*i + 16. Suppose 2*h + 12 = -w*h. Which is smaller: -13/2 or h?
-13/2
Let s(l) = 2 - 5 - 4*l + 5*l. Let j be s(1). Let i be (3/j)/((-1044)/48). Which is bigger: i or 0?
i
Let h(i) = -7*i**2 - 125*i - 450. Let l be h(-5). Which is smaller: l or 3/880?
l
Suppose 4*d - 3*k - 19 = 0, 3*d - d - 2*k = 8. Let u(h) = -15*h + 62. Let y be u(d). Is y less than -43?
False
Let m = -9.24 + 9. Let o = m + 0.19. Let x = 19/5 - 23/10. Is x smaller than o?
False
Let g be (30/4132*60/375)/(-40 + 38). Is 1 at least as big as g?
True
Suppose -p + 12 = 4*j, p + 12 = 4*j + 3*p. Let m(s) = -s**3 + 11*s**2 + 17*s - 33. Let i be m(12). Let x be (-60)/i + 7/(63/36). Which is smaller: x or j?
x
Let w = -11471 + 6670. Let h = w - -4796.923. Let u = -0.077 - h. Which is smaller: u or 3?
3
Suppose 3*m - 21 = -4*p - 0*p, 0 = -5*m + 4*p + 35. Suppose -m = 5*y + 63. Suppose -637*l + 636*l - 21 = n, 3*l = 3*n + 21. Is n < y?
False
Let x = 68 + -48. Let s = -18 + x. Which is smaller: -8 or s?
-8
Let j = -71 + 0. Suppose -5*p + f = -142, -34 = p - 2*p + 3*f. Suppose 14*m - 994 = p*m. Is m at most j?
True
Let c = -3.044 - -2.9. Let w = 77373/7 - 11053. Which is smaller: w or c?
c
Let d(t) = 101*t + 4. Suppose 3*l = 3*u - 6, -1 = -3*l + 4*u - 7. Let v be d(l). Is -198 smaller than v?
False
Let v = -436 - -438. Let g be (-1181)/664 - (-21)/7. Let r = g - 8/83. Which is bigger: v or r?
v
Let g = 9805 - 7807. Is g >= 1999?
False
Let s be (-20)/(1 + 5/(-15)). Let k be 4/(-6)*s - 2. Suppose -2*y + 3*j - 2*j - k = 0, 0 = 3*y - 3*j + 33. Which is greater: -10 or y?
y
Suppose -182 = -11*c - 234 - 267. Is c not equal to -35?
True
Let u be (2/(-138))/(5 + (-21063544)/4212708). Let a = 15261 - u. Is a at least -1?
False
Suppose -3*p + 4*n = 4472 - 253, -n = -4. Does p = -1401?
True
Let q = -0.54 - -0.37. Let p = 183.63 + -184. Let u = q - p. Are 5 and u non-equal?
True
Let d be -394 - ((-4)/(80/(-45)))/((-45)/(-120)). Is -395 at most d?
False
Suppose 2*t - 15 = 2*z + 1, -z = -5*t + 36. Let u be t*1/14*8. Which is smaller: -0.2 or u?
-0.2
Let h = 32 - 0. Suppose -640 = 137*o - 117*o. Let s = h + o. Are s and 5/11 unequal?
True
Let f = 1503 + -1010. Let c = f - 493.974. Let y = 0.026 - c. Is y greater than 0.01?
True
Suppose -3*k = 3*a - 69, k - 5*a = -4*k + 85. Let o be (-822)/(-5) - 4/k*-3. Let u = o - 97. Is u equal to 68?
True
Let s = 106277/230 + -4529/10. Which is greater: s or 9?
s
Suppose -315*d + 5*p - 333 = -317*d, -3*d - 2*p = -516. Is d greater than or equal to 172?
True
Let k(i) = -i**2 + 48*i + 633. Let a be k(59). Which is smaller: -579/37 or a?
a
Let f = -18.166 - 245.834. Is f <= 2?
True
Let r = 15604 + -15363. Which is bigger: 1695/7 or r?
1695/7
Let u = 507 + -504.84. Let i = 2.06 - u. Is -12 bigger than i?
False
Let u = -16707 - -15948. Is -6 bigger than u?
True
Let i = 4908 + -4907. Which is bigger: 29/41 or i?
i
Let c be ((-2)/(-2))/((-10)/6). Suppose 121 = -5*g + 2*p + 2*p, 5*p = -5. Let d be (-80)/g + 1 + -2 + -1. Is d > c?
True
Let a = -146 + 132. Let q be (-4)/((-5)/(-210)*12). Are a and q equal?
True
Let l = -2/6509 + -2551522/19527. Which is smaller: -2 or l?
l
Let d(w) = 2*w. Let k be d(5). Let z be ((-9)/3)/(-3)*(19 - (-162)/(-6)). Which is smaller: z or k?
z
Suppose 3*a = 226 - 544. Let i be -7 + -2 + (-924)/a. Is i less than -1?
False
Suppose 8 = 2*j, 4 = -4*x + 2*j + 3*j. Suppose -4*g = -16, 34 = -x*f + 4*g - 6. Let h = -13 + f. Which is greater: -18 or h?
-18
Let h(o) = -2*o + 7. Let j be h(3). Let w = -3710708987/429 - -8649684. Let u = w + -140/11. Which is greater: j or u?
j
Suppose 3*a - 29 = -5*v, 2*a - 3 = 3. Let o be (0/(-1))/(v - 2). Suppose 0*d + 20 = -4*d, -m + d + 4 = o. Which is smaller: 1/10 or m?
m
Suppose 80 = p + 90. Let j = -556 - -547. Which is smaller: p or j?
p
Let v(b) be the second derivative of -5*b**3/6 - 25*b**2/2 + 16*b. Let x(k) = -51*k - 249. Let y(w) = -21*v(w) + 2*x(w). Let q be y(-17). Is -24 bigger than q?
False
Let p be ((-22000)/(-2010))/11 + -1*1. Let r be 2 - 3*9/12. Is p greater than r?
True
Let v = -21366/11 - -1944. Let w(u) = u**2 + 14*u + 27. Let g(n) = 3*n - 26. Let y be g(8). Let o be w(y). Which is bigger: v or o?
o
Suppose c - 6*v - 10 = -2*v, 3*v = 4*c + 12. Let l = c - -4. Let h = -4538/2855 - 6/571. Which is greater: l or h?
h
Let w = 198.089 - 198. Let z = 13.4 - 13.4. Is w >= z?
True
Let q be 252042/(-595)*10/7. Which is smaller: q or -604?
q
Suppose 2*x = -x - 54. Let h be (-6)/(-550)*12/x. Do h and -1 have the same value?
False
Let p be (6/27)/(14/(-42)). Let c be (2196/54)/((-2)/(-3)). Let g = c - 86. Is p at most as big as g?
False
Let x be 10 + -1 - ((33 - -8) + -33). Which is bigger: x or 10/9189?
x
Let d be (-272)/68*1797/(-4). Are d and 1797 non-equal?
False
Let l(d) = 56 - 2 + 21*d - 5*d. Let j(i) = -8*i - 27. Let f(x) = 9*j(x) + 4*l(x). Let b be f(-8). Which is bigger: b or 36?
b
Let c be ((-16)/(-2) - 5)*2/3. Suppose -3*d + 9 = 2*f - 9, 4*f + 5*d = 32. Suppose c*g + f = 17. Is 2 less than or equal to g?
True
Let y be (14 + (-513)/38)/((-4318)/12). Which is greater: y or 0?
0
Suppose -3*n + 30 = -n + 5*c, 4*c + 45 = 3*n. Suppose 0 = 5*v + 5*p - 85, 49 = 5*v - 2*p - n. Let x(h) = 2*h**2 + 3*h + 2. Let w be x(-3). Are v and w equal?
False
Suppose 6*q + 180 = -3*q. Let d = 5 + q. Let s be (-2)/((-26)/d) + (12 - 11). Which is greater: -1 or s?
s
Suppose 5*d - v = -126 + 40, -2*v + 70 = -4*d. Are -461/29 and d nonequal?
True
Suppose 19*m - 2519 = 47049 - 4253. Which is smaller: 2384 or m?
2384
Let s = -1678 - -1677. Which is bigger: s or 0.38?
0.38
Suppose -62*n - 24*n + 330756 = 0. Is n bigger than 3845?
True
Suppose 2*y = -2*u + 1124, -y - 3*u = -0*y - 560. Is 560 less than y?
True
Let t be 15/17 + -1 - 18432/544. Let l(p) = -2*p**2 - 71*p - 36. Let b be l(t). Is b <= 64?
False
Suppose -19*s + 20*s - 5 = 0. Suppose 21 = -s*o + 2*o. Let p be (-140)/16 + 18/24. Which is greater: o or p?
o
Let v(n) = 2*n + 6. Let c be v(-2). Suppose 2*w + c*j = -46, 2*w + 56 = -0*w - 4*j. Let g be (-3)/6*4 - 39/w. Do g and -1/4 have the same value?
False
Let a(r) = r + 1. Let k be a(-2). Let s be 2 + (13 - (-3)/k). Let l(d) = 321*d - 3518. Let c be l(11). Which is bigger: c or s?
c
Let n = 6017/4305 - -2/861. Let h be (-159)/(-33) + 2/11. Let f be 0/(1 + 0/h). Is f equal to n?
False
Let v(w) = -2206*w + 11562. Let h be v(5). Which is bigger: h or 510?
h
Let t = 18839 + -19822. Is t greater than -983?
False
Let x = 3574 + -3228. Are 348 and x nonequal?
True
Let y be -2*12 + (-35)/(70/(-12)). Let s(p) = p**2 - 4*p - 20. Let r be s(y). Which is smaller: r or 375?
375
Let m(k) = 3*k**3 + 24*k**2 + 4*k + 24. Let w be m(-8). Let h = -7 - w. Are 2/329 and h unequal?
True
Suppose -343 = -5*j - m, -324 = -4*j + 2*m - 58. Suppose 4*x + j = 4*k - x, 0 = -2*k - 4*x + 34. Let t = 16 - k. Does -1 = t?
True
Let a = 2.1 + -0.1. Let v be -7 + 2/(-6)*15/(60/(-8))