s smaller: 1/556 or w?
1/556
Let f be 84/(-16) - ((-6)/(-8))/(-3). Let h be -12*(-2 - f/4). Suppose 1 = -2*k + 5*m - h, 8 = -3*k + 4*m. Which is smaller: -2/35 or k?
-2/35
Let o be 3/((-6)/7) + (-3962631)/(-1131914). Are 1 and o non-equal?
True
Let b = 7 - 6. Let c be (160/2100)/((-6)/(-335)). Let p = -30/7 + c. Which is smaller: p or b?
p
Suppose 22*n = 143*n + n - 634278. Is 5199 <= n?
True
Let f be -6 + 3 + 7 + -5. Let v be f/6 + 185/(-222). Let n be ((-4)/26)/(-1*2). Is v at least n?
False
Let v = -410 - -411.9. Which is greater: -6 or v?
v
Suppose 347*k - 3785 = -37791. Which is greater: -99 or k?
k
Let b = 16/11 - 1242/869. Let i = -64 + 64. Let m be (10/(-14) + 2/(-7))*i. Is m less than or equal to b?
True
Let r(o) = -o**3 + 6*o**2 - 4*o - 4. Let z be r(5). Let y be 28/(-88)*(-2)/(-3). Is z <= y?
False
Suppose 0 = -g - f - 0*f + 1444, -5*g + 7240 = -5*f. Do 1447 and g have different values?
True
Let b(n) = n**3 + n**2 + 17*n + 61. Let a be b(-3). Let z be (56/a - 484) + (-1 - -2). Which is greater: -489 or z?
-489
Suppose -2*n + 32 + 30 = 0. Let b be 6948/208 - (-110)/(-715) - 3. Is b smaller than n?
True
Suppose -118*j - 127*j + 190 = -247*j. Which is smaller: -97 or j?
-97
Let f be 76*(2 - (-28)/(-8)). Let d be f/(-106) + (7 - 8). Is 0 greater than or equal to d?
False
Let z be ((-6)/(-4))/(2*3/72). Let x be 1/z*-4 + (-411)/(-27). Is 2/11 >= x?
False
Let k(s) = -10*s**3 + 35*s**2 - 107*s + 31. Let h(j) = -7*j**3 + 23*j**2 - 71*j + 21. Let z(m) = 7*h(m) - 5*k(m). Let b be z(11). Which is smaller: b or 49?
b
Let q(d) = -26*d**2 - 143*d + 275. Let i be q(2). Is i at least -343/3?
False
Suppose -3 - 9 = -3*w + j, -2*w + 18 = -4*j. Let t be (7 + -4)*(3 + 1 - w). Suppose t = -v + 2*v. Is 0 greater than v?
False
Suppose -271*p - 129 - 66 = 76. Is -5/436 > p?
True
Suppose 4*h = k - 2, 0 = -4*k + 5*h - 2*h - 5. Let n be -2 + (-72)/(-38) - 43275/8550. Is k greater than n?
True
Let m(t) be the third derivative of -t**6/60 + t**5/4 + t**4/6 + 5*t**3/6 - 79*t**2. Let w be m(7). Do 82 and w have different values?
False
Let g = -80528 - -8133256/101. Which is greater: g or -2?
g
Let u(l) = -l**2 - l + 15. Suppose 3*q = -3, 10*q + 18 = -5*r + 12*q. Let z be u(r). Which is greater: z or 11/4?
z
Suppose 0 = -n + 3*n - 5*w + 12, 4*n + 4 = 5*w. Suppose 5*t = 5*r + 10, -3 + 14 = t - n*r. Let v = -933085/7 - -133298. Is v >= t?
True
Let l = 29 - 81. Let t = -50 - l. Is -0.06 bigger than t?
False
Let o = -73 - -38. Let v = o + 18. Let r = v + 16. Is -1 equal to r?
True
Suppose -17*h - 9121 = -2*s - 18*h, -4*h = 3*s - 13674. Is s at least as big as 4562?
True
Let k be (-90)/(-108) + (-2)/(4 - 0). Let u = -38.064 - -0.064. Let r = u - -34. Do k and r have different values?
True
Let y = -2205 + 5013. Let m be 3 + (-7 - y/(-704)). Do -1 and m have the same value?
False
Let t(h) = -h + 6. Let o be t(2). Let s(f) = -16*f - 16. Let r be s(o). Let u = r - -63. Is u >= -4?
False
Let i(l) = 9*l + 87. Let a be i(-10). Let h be (11/2 + a)*112/35. Which is smaller: 10 or h?
h
Let s be 2*(-5 + (-3324)/8 + 2 + -1). Is -837 greater than or equal to s?
True
Let b = -0.2969 - -45.2969. Which is smaller: b or 22?
22
Let q be 5 + 8 + (12 - -14). Which is bigger: 37 or q?
q
Let l(z) = -z**3 + 15*z**2 - 18*z - 42. Let q be l(15). Let o = q - -312. Are 1/332 and o equal?
False
Let y(s) = 3*s**2 + 8*s - 8. Let x(j) = j**3 - 2*j**2. Let g be x(0). Suppose g*b + b = 5*v - 2, 2*v - 2*b = -4. Let m be y(v). Which is bigger: 2 or m?
m
Let o(r) = -2*r**2 + 2*r - 22. Let s be o(7). Let y = s + 112. Is y < 6?
False
Suppose -3*k = 2*v + 291, -7*k = -4*v - 5*k - 542. Let r = v - 30. Is r smaller than -168?
False
Suppose 734 = -5*u - 251. Let s = u - -133. Let x be -4 - (0 - s/(-4)). Are 11 and x equal?
False
Suppose 2*k - 6 = -0. Suppose -4*x + k*u = 48, x + 4*x + u + 79 = 0. Let a = 16355 + -16371. Is x > a?
True
Let b = -1096 - -780. Let v = -317 - b. Which is bigger: -0.71 or v?
-0.71
Let a = 1.92511 - 1.8765. Which is greater: -1/2 or a?
a
Suppose -156 = 11*f + 2*f. Suppose 0 = 14*o - 18*o + 12. Let z = -17 + o. Which is smaller: z or f?
z
Let q(x) = x**2 - 8*x + 5. Let v be q(7). Suppose 158 = -3048*l + 3045*l - 5*c, 3*l = -c - 190. Is v greater than or equal to l?
True
Let v = 60 - 61. Let h be (17/(-51))/(v/3). Is -2/505 greater than h?
False
Let s = -5500.102 - -5500. Is 0.22 at least s?
True
Let j be (227 - 212) + 8*47. Are 372 and j unequal?
True
Let v = 3 + -2.86. Let m = -74 - -37. Let y = m - -40. Which is smaller: y or v?
v
Let m(t) = 2*t**2 - 20. Let y be m(-13). Suppose 3*o + 12 = -y. Do o and -111 have different values?
True
Let n(i) = -93*i**2 + 2046*i + 1. Let f be n(22). Which is greater: f or -1/15621?
f
Let m be (-10)/(-1420)*(-93 + 1). Is m smaller than 0?
True
Let j be ((-6828)/(-18))/((-70)/105). Which is smaller: j or -570?
-570
Let t be 1*8/(-5 + -3). Let f(p) = p**2 + 3*p - 2. Let h be f(-5). Let a be -7 - (h*-1 + 4). Which is greater: a or t?
t
Let n = -24 + 19. Let q be (16 - 20)*(-2)/n. Do q and 3/5 have different values?
True
Let l be 24*5/14 - 10. Suppose 0 = -0*q - 7*q. Are l and q unequal?
True
Let m = 77761/16086 - 2/2681. Let f = 6 - -6. Suppose 5*u - 2*u - f = 0. Which is greater: u or m?
m
Suppose g - 8*x - 77 = -10*x, 0 = -5*g + x + 440. Let m = -86 + g. Is 2/49 less than or equal to m?
True
Let f be 18/144 - (-6333)/(-50088). Which is smaller: f or 1?
f
Suppose 0 = -162*s - 371637 - 322047. Which is smaller: -4283 or s?
-4283
Suppose 12*g = 916 + 2180. Let a = g - 90. Suppose -c - 1 = 0, s + 2*c = -4*s + a. Is 33 < s?
True
Let o = 18.685 + -18.335. Is 117 at least as big as o?
True
Let h be 4/(-14) - 10534/77. Let l = 137 + h. Let y = -65 - -65. Is y at least as big as l?
True
Suppose -1348 = 13*a - 15*a. Is a at most 675?
True
Suppose 2*t + 30 = 4*g, t = 2*g + g - 20. Suppose 48 = g*s + 7*s. Let n be ((-10)/2)/(1 - 3). Do s and n have the same value?
False
Suppose 2*f - 2*h + 1726 = 0, -11*h = -6*h - 15. Which is smaller: -859 or f?
f
Let w be (3/7)/(111*(-45)/54). Does 0 = w?
False
Let l = 1393 - 1349. Let k = -60 + 101. Suppose l*w = k*w - 51. Is w at least as big as -18?
True
Let l(i) = i**2 + i - 28. Let x be l(0). Suppose 683*p - 687*p = 32. Let j(z) = z**3 + 8*z**2 + 5*z + 11. Let a be j(p). Which is bigger: a or x?
x
Let i(r) = r**2 + 15*r + 15. Let q be i(-9). Let d = 115 + q. Suppose -2*f = 2*p + d, -p + 5*p - 144 = 4*f. Does f = -37?
True
Let a be -13 - -1 - 828/(-50). Which is smaller: a or 2?
2
Suppose -16 = 9*z - 11*z. Suppose 3*h - 3*c = -30, z*c = 5*c - 3. Which is smaller: -9 or h?
h
Suppose 0 = -6*c - 285 - 921. Let n = c + 2009/10. Let m be -2*2*2/(-8). Do n and m have the same value?
False
Let p be (46599540/(-860472))/65 + 15/18. Is p at least 1?
False
Suppose 0 = -3*q + 5*n + 410, -583 = -3*q + n - 153. Let p = q + -146. Which is greater: p or 4/11?
4/11
Let r = -8028 + 72250/9. Let i be -1*(2 - 0 - -1). Let a be 0 + 0 + i + 2. Is r greater than or equal to a?
True
Let t = -668 + 262. Let m = 453 + t. Which is smaller: 50 or m?
m
Let w(d) = 24*d - 429. Let p be w(18). Which is greater: 269 or p?
269
Let u(j) = j**3 - 14*j**2 + 35*j + 12. Suppose 126 = -171*k + 185*k. Let l be u(k). Is -78 at least l?
True
Let b = 10045 + -8854. Is b less than 0.2?
False
Let p = 28 - 24. Suppose -5*z - p*q = -3*z - 84, -2*z - 3*q = -81. Let l be z/(-56)*(-28)/(-32). Which is bigger: l or -1?
l
Let i be (-759)/(-4950) + 1/(-6). Let a = 191/2550 - i. Are 0 and a nonequal?
True
Suppose -2*o + 15053 + 5993 = -o. Is 0 greater than o?
False
Let b = 134 + -468. Let s = -335 - b. Which is smaller: -6/77 or s?
s
Let s = 25.09 + -25. Let d = 0.41 + s. Let t = d + 1.5. Are -2/15 and t nonequal?
True
Suppose 4 = -2*u + 3*u. Let i = -184 - -293. Suppose i = 9*r + 82. Which is bigger: u or r?
u
Let z = 94 - 97. Let t be (z/(-36))/((-6)/(-24)). Suppose -20 = 5*b - 5*n - 0, 0 = -5*b + 2*n - 5. Which is greater: t or b?
b
Let d = -168 - -169.03. Let r = 14283.97 + -14217. Let g = r + d. Is g != 0.1?
True
Let t = 0.024 + 1.976. Let q = 11.2 + -11. Let k = 1.2 - q. Which is smaller: t or k?
k
Let h = 100.112 - 100. Let p = -0.212 + h. Which is smaller: p or -1/3?
-1/3
Let v = -5561 - -5569. Which is smaller: v or 362/39?
v
Suppose -2*d + 7*d - 4*d = 0. Suppose