h - 2*g - 6, 13 = 2*h - d*g - 4. Are -26/9 and h unequal?
True
Suppose -888 - 494 = -10*d - 272. Is d <= 1?
False
Suppose -2005 + 682 = -7*z. Let o be (-6)/(-10)*((-840)/z)/4. Let d = -33 + -50. Do d and o have the same value?
False
Let r = 60 - -22. Let g = -5964 - -23857/4. Is r at least as big as g?
True
Suppose -41*j = 41912 + 10445. Is j > -1284?
True
Let s be ((-1)/(-6))/(64/(-12) + 5)*1. Are s and 1305 equal?
False
Let i = -26647/26 + 1025. Let g(f) = -8 - 8 + f**3 + 34 - 3*f - 6*f**2. Let l be g(6). Is l at least i?
False
Let f be (27 + -8)*(-11)/(-2)*(-1 + 9). Are f and 1 non-equal?
True
Let k = 348 + -393. Let f be (-2)/(-15) - 39/k. Let m be 6/94 - 0/(-1). Is m less than or equal to f?
True
Suppose -8 = -5*n + s, 100*n = 101*n - 18*s - 55. Let a = -514 + 37521/73. Which is smaller: n or a?
a
Suppose -y - 54 = -3*v, -1897*v = 2*y - 1892*v + 64. Let x(n) = 15*n - 3. Let r be x(3). Let z = y + r. Is z at least as big as 7/19?
False
Let u = 568 + -568. Suppose u = 92*c - 89*c + 9. Suppose b + 2*b + 9 = 0. Is c bigger than b?
False
Let m = -593.7 - -517. Let s = m - -35.7. Is s smaller than -1?
True
Let c be 1 + (-1 - -1) + -1. Let a be 25 + 2 + (-380725)/14065. Which is smaller: a or c?
a
Suppose -12*x + 13*x = -30. Let b be 1*(-185)/x - 2/12. Let s be b/4*(-12)/36. Which is smaller: s or -1?
-1
Let l be 7089/(-675)*18508/3822. Let j = -2/8775 + l. Which is smaller: -50 or j?
j
Suppose 0*m - 568 = 2*m - 5*h, 5*h - 847 = 3*m. Let t = -54 + m. Is -334 greater than t?
False
Let k = 44 + -3. Let f = 385920 + -385879. Is f smaller than k?
False
Let w = -157/11 - -2573/77. Suppose n = -0*n + 19. Which is smaller: w or n?
n
Let l = -34699.04 + 34699. Is l less than -19/14?
False
Let p be ((2 - 5) + 2)*-2. Let n be 28/22 + p + -2. Let a be 11/1 + 0 + 23 + -32. Is a less than or equal to n?
False
Let l be (37651/(-46))/((-2)/4)*(-3 + 2). Is -1637 < l?
False
Let y = 64 - 46. Let q = -17.9 - -18. Which is bigger: y or q?
y
Let i be (-108)/81 - (-25)/57. Let j = i + 149/570. Let h = j - -2777/4290. Which is smaller: h or 0?
0
Let u(a) = a**2 - 14*a + 13. Let i be (-6)/9 + 50/30. Let r be u(i). Suppose -4*b = 2*d - 12, 5*d = 11 - 1. Which is smaller: r or b?
r
Suppose 288*d - 21532 = 293*d + r, -d - 4*r - 4295 = 0. Is -4310 < d?
True
Let i = 1 - 1. Let x = -327/70 - -16817/3570. Which is smaller: x or i?
i
Let x be 7346*(-13 - (-115)/10). Is -11019 greater than or equal to x?
True
Let n be (19/((-8208)/64))/(-626). Which is smaller: 1 or n?
n
Let k be (7/(-49798))/(2*2/32). Let p = k + 42848/145837. Is 0 less than p?
True
Let o = 1279.2 - 1291.4. Which is greater: 0.061 or o?
0.061
Let k(x) be the first derivative of -59*x**2/2 - x - 6. Let y be k(-1). Let c = y + -37. Are 21 and c equal?
True
Suppose -58 = 23*k + 126. Let t be (-1)/(-2)*(k + 8)/(-15). Is t greater than -14/17?
True
Let p = -152.9244 + -0.0756. Let h = p + 154. Is 0.036 less than h?
True
Let i(s) = -s**3 - 9*s**2 + 34*s - 24. Let q be i(-12). Is -70/179 greater than q?
False
Let f be (8/12 - 2834/1599)*12/(-4). Which is bigger: 3 or f?
f
Let x be (60/9)/(528/3384). Which is bigger: 42 or x?
x
Let g(b) = 6*b**2 + 34*b + 4. Let a be g(-6). Let r(k) = -k**2 + 16*k + 3. Let j be r(a). Suppose -x + 5 = -7*m + 8*m, j*m - 7 = -x. Is 1/70 smaller than m?
True
Suppose -6*t = -y - 118, -t + 121 = 5*y + 618. Which is smaller: -98 or y?
y
Suppose -2*n + 3326 = a, a + 2222 + 2777 = 3*n. Let d be n/75*50/(-35). Is d > -32?
True
Let s = -4800 - -4373. Which is greater: s or -429?
s
Suppose -2*m - 232 = -0*m - 2*g, 0 = 5*m - 3*g + 588. Let b be m/90 - (-88)/3. Which is bigger: 27 or b?
b
Let w(d) = 15*d**2 - 3*d + 71. Let m be w(-11). Are 1919 and m equal?
True
Suppose 459*x - 234*x = 228*x. Which is bigger: -2/14127 or x?
x
Let l(i) be the third derivative of i**5/60 + 11*i**4/24 + i**3 - i**2. Let r be l(-9). Let b = 11 + r. Which is smaller: -0.04 or b?
b
Suppose 3*v = 3*o - 12, -7*v - 2 = -9*v. Which is bigger: -5 or o?
o
Let u be 990/1188*(-316)/85. Are -4 and u non-equal?
True
Let b be (-2)/14 + 0*1/6. Let y = 221 + -200. Which is smaller: y or b?
b
Let u = -41616 + 31667. Which is smaller: -9950 or u?
-9950
Let h(s) = s**3 + s**2 - 20*s + 3. Let c be h(-5). Suppose -c*z + 4*o + 81 = 11, -1 = o. Is z smaller than 13?
False
Suppose -3*y - 17 = -29. Suppose 5*c - 2*x + 9 = 63, y*c = 5*x + 33. Let q = 13 - c. Which is smaller: -42 or q?
-42
Suppose 0 = -3*d + 9*z - 10*z + 277, 5*z - 202 = -2*d. Let q = 56 - d. Is q at most as big as -34?
True
Let s(d) = -4*d**2 + 163*d + 179. Let q be s(42). Is q greater than -2?
False
Suppose 7*d - 5*d + g + 694 = 0, 0 = -3*d + 3*g - 1050. Let y = d - -51. Which is smaller: y or -296?
y
Let o = 272 - 183. Suppose 5*y - 5*v - 408 - 67 = 0, -v = 5. Which is smaller: o or y?
o
Let x = -122.08 - -2.08. Let s = -125.8 - x. Let c be 6/(-33) - 52/(-44). Which is smaller: s or c?
s
Let l be (-8322)/20 + 12/(-24). Let r = 413 + l. Suppose 5 = -4*w - 11. Is w at most r?
True
Let u be (44/(-99) - (-23)/(-9) - 1087)*1. Which is smaller: -1087 or u?
u
Let x(g) = 21 + 14 + 3*g**2 - 28*g - 1 + 1. Let q be x(8). Suppose 4*h = -5 + 17. Is q < h?
False
Let s(d) = -20*d - 606. Let p be s(-15). Is p smaller than -303?
True
Let y(d) = -3*d**2 + 4*d - 7. Let u be y(3). Let k = u + 17. Let f be (-1)/1 - k - 3. Which is bigger: -2/15 or f?
f
Let u = 25.6 - 26. Let c = -91 - -131. Let g = -35 + c. Is u bigger than g?
False
Let m be 2/(-22 - (-9 - -1)) - (-136)/1204. Do m and 0 have the same value?
False
Suppose -172*w + 40*w - 93*w = 261450. Which is bigger: -1161 or w?
-1161
Let l(t) be the third derivative of t**6/120 - 2*t**5/15 - t**4/24 + 35*t**3/6 + 73*t**2. Let m be l(7). Are -104/5 and m non-equal?
True
Let z = -2811916/163 + 17251. Which is bigger: -5 or z?
z
Suppose -32 = 8*p - 24*p. Suppose q - 2*q - 52 = -s, -p*q - 2*s = 96. Which is greater: -48 or q?
-48
Let r(p) = -115*p - 5514. Let c be r(-37). Which is smaller: c or -5041/4?
-5041/4
Suppose 0 = w + 2*r - 5*r - 19, -5*w - 5*r + 75 = 0. Let a = 1 - -9. Let x be (-126)/(-315) + -83*(-2)/a. Is w smaller than x?
True
Let v = 35 + -32. Suppose v*n = 277 + 101. Let t be (n/(-22) + -3)/2. Which is smaller: -3 or t?
t
Let q = -231.7 + 231.8. Is -4560 <= q?
True
Let n be (27/(-6))/((-3)/(-4)). Let z be (n + 7)/(9/219). Which is greater: z or 23?
z
Let h be (-154)/(-66) - 6/(-9) - 4338/1338. Does h = 1?
False
Let q = -4359 - -4358. Is 1/2398 greater than q?
True
Let a be ((-2)/5)/(3/(-5)) + 63230/(-94836). Which is greater: -1 or a?
a
Let q = 32121/6899540 + 2/32545. Which is smaller: -3 or q?
-3
Let l be (39 - 5)*(815/(-2))/5. Let h = -11186/5 - l. Let x = -538 + h. Which is smaller: -3 or x?
x
Let f = -0.001 + -313.999. Let n = f - -312. Which is greater: -53/4 or n?
n
Let z = 2746 - 1224. Which is bigger: 1526 or z?
1526
Suppose 6 = 5*y + 51. Let n = -57127/6234 - 3/1039. Which is greater: n or y?
y
Let d(v) = -5*v**2 + 2*v**2 + 7*v + 4*v**2 - 25. Suppose -3257*n = -3271*n - 140. Let l be d(n). Is l equal to 1/4?
False
Let b = -32/5327 - -5732332/79905. Which is smaller: b or 72?
b
Let d be (-3)/((-18)/2)*30/(-1269). Are d and -1 non-equal?
True
Suppose 335 + 0 = d. Suppose 0 = 22*k - 30*k + 2672. Which is smaller: k or d?
k
Let u = -51024 + 30136. Is u smaller than -20888?
False
Suppose -421*i + 418*i - 2*f + 97 = 0, 2*i - 68 = -2*f. Suppose 2*q - 5 = 1. Suppose 3*r - o = 94, 0 = -3*o - q - 9. Which is bigger: i or r?
r
Suppose 27 = -4*h - 5*a + 17, -3*a + 26 = -4*h. Let z be (28/h)/((-616)/140). Is z at least 1?
True
Let w(m) = 2*m**3 - 7*m**2 + m - 4. Let o be w(3). Let a be 409504/(-39798) + 2/(-27). Which is smaller: a or o?
a
Suppose -26*b = -19*b - 784. Let a = -48 - 64. Let q = a + b. Which is bigger: 2/97 or q?
2/97
Let f = -31 - -63. Let l = -31.4 + f. Let b = -0.07 - -0.27. Is b smaller than l?
True
Let t = 1734086/3141 - -2376/349. Which is smaller: t or 558?
558
Let o(t) = -t**3 + 20*t**2 + 42*t - 534. Let l be o(21). Is l > -115?
True
Let n(w) = -45*w - 49. Let i be n(4). Let v = 229 + i. Which is smaller: -16/3 or v?
-16/3
Let t be (0 - 7) + (-7 - (-11460)/820). Let h = -1.3 - -1. Which is bigger: t or h?
t
Let y = -48/101 - -649/303. Let b be (-2)/(-11) - 145/11. Let r = b + 10. Does y = r?
False
Let s = 2