 -3*u - r. Suppose -5*f - 165 + u = 0. Is f < -28?
False
Let s be 58/(-2) + -8 + 3. Let r = 89 + s. Is r > 56?
False
Suppose 4*z + 4120 = -4*k, z = 9*k - 14*k - 5150. Do -1028 and k have the same value?
False
Let p be (-12189)/(-805) + (-1050)/(-12075). Which is bigger: 16 or p?
16
Let i = -4503 - -193634/43. Which is bigger: i or -1?
i
Let u(t) = -2*t + 7. Let g be u(2). Suppose 0 = 2*d - 5*f + 2 - 3, -2*f = g*d - 30. Is d at least 7?
True
Suppose -26*j = -27*j + 24. Suppose -2*r + j = 5*c, 8*r - 4*r = -2*c. Suppose 33 - 9 = -c*y. Which is smaller: -2 or y?
y
Let a = -294 + 300.38. Let c = a - 58.18. Let r = c + 5.8. Is r less than 2?
True
Let s be -3 - (6/2*2 + 2). Let y = -497924/46105 + -2/9221. Which is smaller: s or y?
s
Let n be (-2)/(-8) - (-14 + 10/40). Let f be 4/n - 33/385. Let m = 23.033 + -0.033. Is f bigger than m?
False
Let s = 8167 - 346. Is s bigger than 7820?
True
Let z = 4486 + -4551.2. Which is bigger: z or -15?
-15
Let c(u) = 2*u**2 - 16*u - 17. Let v be c(9). Let w be ((-42)/56)/(v/(16/(-6))). Suppose 4*s - 5*j - 7 = s, 0 = 4*s + 3*j - 48. Is s smaller than w?
False
Suppose -7*h = -2*h + 25. Let z be (-4)/(-20)*(-18655)/728. Which is smaller: z or h?
z
Suppose 3*o - 4537 = -i, 0*i + 2*i + 1503 = o. Suppose -4*u - 1102 = -x + 4*x, -4*x - o = -3*u. Which is greater: 1 or x?
1
Let k = -18.622 + 11.622. Is k at most as big as 0.159?
True
Let y(w) = 3*w**2 - 10*w. Let c be y(7). Let z be 416/(-384)*-12 + 64. Are c and z equal?
True
Suppose 229 = -4*y + 5*w, -4*w + 2*w = y + 54. Let r = 51 + y. Let i be 4/((-4)/r) - (1 + 3). Is i > -2?
True
Let l be (-1808)/192 + 1 + -1. Suppose 0 = -3*v + v - 20. Let h = v - l. Which is smaller: h or 0?
h
Let m be 3*(((-60)/6 - -13) + -79*2). Which is smaller: m or -17?
m
Let v = 237 - 232. Suppose 211 = 2*b - 5*r - 33, 640 = v*b - 5*r. Which is greater: 533/4 or b?
533/4
Let h = 2068/5 - 412. Let q(i) = i**2 - i - 2. Let z be q(1). Let k = z + h. Is k > 1.9?
False
Let m = -14/1929 - -32716/1849911. Is m != 1?
True
Suppose 0 = -2*b - 4*b + 12. Suppose -2 = -b*y + 6. Suppose -j + 13 = -y*s + 52, 2*j + 5*s + 78 = 0. Which is bigger: -38 or j?
-38
Suppose -3*o + 5 = -q, 8*o - 2*q = 10*o + 2. Is 1/7799 equal to o?
False
Suppose 2*r + 22 = 2*g, g + 55 = 6*g + 4*r. Suppose g*x - 158 = 139. Let w = 18 - x. Are w and -9 equal?
True
Suppose 3*x = i + 8, 2*x + 20 = -3*i + 7*x. Let j be i/7*(-7)/2. Let p be (-168)/(-98) - 2/(-7). Is p at most as big as j?
True
Let t = 6715.8 + -6053. Let q = t - 608. Let a = q + -55. Does 34 = a?
False
Let s = -797 - -314. Let j = s + 1478/3. Which is smaller: j or 10?
j
Let p be -3 - (-3)/(6/10). Suppose -p*k = 9 - 15. Suppose -2*m - k*n = 5, m - 3*n + 15 = -2*m. Which is bigger: m or -1?
-1
Let v = 6910 + -7745. Do -4178/5 and v have the same value?
False
Let n = 89 + -48. Suppose 4*h + 55 - 4 = w, -5*h - w - 57 = 0. Let c = h + n. Is 31 at most c?
False
Let r be ((-1)/(-1))/(3/(-75)). Let y = 8163 - 57318/7. Which is greater: y or r?
r
Let w be 3/2 - 3/(12/4). Let a = -37.26 - -37. Let n = a + -21.74. Which is smaller: n or w?
n
Let k(h) = 221*h - 15029. Let c be k(68). Which is smaller: -2/19837 or c?
c
Let c = -43.8 + -459.2. Let n = -358 - c. Which is smaller: n or 0?
0
Let v = 954 + -1785. Which is greater: 0.1 or v?
0.1
Suppose -740*j = -1097*j + 3927. Is j >= 583/58?
True
Let c(j) = -225*j**2 - 557*j + 5. Let u be c(-4). Is u at most -1364?
True
Let k = -68.77 - -68.57. Suppose -5*m - 3*a - 226 = 0, 64 = -2*m - 5*a - 34. Are k and m non-equal?
True
Let n = 3 - -6. Suppose 50 = n*i + 14. Suppose 18 = -i*q + 14. Which is greater: 2/7 or q?
2/7
Let d(c) = -14*c + 180. Let n be d(12). Let b be n/(-42) + 0 + (-641)/(-63). Which is greater: 10 or b?
10
Let c be (-6 - ((-24)/(-25) - 21/3))/2. Let v(l) = l - 5. Let s be v(5). Is c smaller than s?
False
Let x be (-2)/6 + 26/(-3). Let l(c) = -12*c**2 + 30*c - 10. Let b be l(5). Let a = b - -151. Is a at least as big as x?
True
Let s be (-24)/(-4)*1 - 2. Suppose 0*k + g + 34 = s*k, -4*k + 42 = 3*g. Let n be k/(-45) + 12/10. Which is bigger: 2 or n?
2
Let f(q) = -q**2 + 3*q - 4. Let d be f(7). Let m = 1151 - 1116. Let h = m + d. Which is smaller: 4 or h?
h
Let v = -319 + 324. Suppose w = -v*k - 15, -3*k - w + 4*w = 27. Is k equal to 7?
False
Let x = 91 + -87. Suppose -5*q + x - 2 = -3*w, 2*w + 3*q = 5. Let v be (4/(-77))/(1*-2). Is w at least v?
True
Let u = 73 - 331. Let y = -282 - u. Let d be ((-88)/12)/(1/3). Is y greater than d?
False
Let q = 12.1 + -5.3. Let o = q - 6.6. Let k = 2.52 + 0.08. Which is greater: k or o?
k
Let i be (-96)/40*52*10/(-6). Suppose -108 - 89 = -o + 2*z, 4*o = 5*z + 803. Does o = i?
False
Let p(r) be the first derivative of 29*r**2/2 + 293*r + 119. Let b be p(7). Is b != 497?
True
Let a(w) = 17*w**2 - 7*w + 87. Let f be a(9). Let s be -9 - -4 - f/(-279). Suppose 3*j + 0*j = 3. Which is smaller: s or j?
s
Let q(b) = -7*b + 57. Let t be q(8). Suppose j + 2*v - 2 = -t, 3*j - v = -11. Let g be j*(118/(-40) - -3). Which is greater: 1 or g?
1
Suppose -5*u + 68*h + 10 = 63*h, u - 5*h - 18 = 0. Let q be ((-32)/18)/((-14)/(-12)). Are q and u unequal?
True
Let h = -6107 + 4934455/808. Is h less than or equal to -2/11?
False
Suppose -3*y - 17 = -8. Let m be y/3 + -3 + 1. Let d be (-4)/31 + (-10 - -7) - m. Is -1 at most as big as d?
True
Let r be 1*(22 + -2)*(6 - 5). Let o be (-40)/(-12)*(144/r)/(-3). Which is smaller: -9 or o?
-9
Suppose -d = 20 - 12, -2*d = h + 4598. Which is bigger: h or -4583?
h
Let s be ((-12)/5)/(1 + (-22)/20). Suppose 2*t - 120 = -2*q, -t - 2*q + 0 + 62 = 0. Let o be s/t + 4*2/(-20). Is o greater than 0?
True
Suppose 13*g = 9*g - 268. Let s = 58 + g. Let x = -31.2 + 31. Is s > x?
False
Let s be 15/10 - (-20)/(-8). Let w be -37 - -35 - (-3 - -1). Which is smaller: w or s?
s
Let c = -4362 - -4757. Which is smaller: c or 7?
7
Let v be (-3)/(12/(-4)) - 1344/1332. Does v = -8/3?
False
Let i(h) = 10*h**3 - 4*h**2 + 13*h + 19. Let q be i(-6). Does q = -2363?
True
Let m(n) = n**2 + 13*n + 39. Let a be m(-6). Let b be 7 - (a - (-486)/49). Suppose -2*t = 2*t. Is b > t?
True
Suppose 0 = 5*x - 9*v + 8*v + 1774, -5*v - 1396 = 4*x. Does -354 = x?
True
Let l be 25536/34 + 32/(-544). Which is greater: l or 5248/7?
l
Suppose 11*a - 8*a + 27 = 0. Let z be (-2 - 8)/((-1)/a). Let s = 443/5 + z. Which is smaller: -1 or s?
s
Let p be ((-2)/(-3))/((-91)/105 + 1). Let r be -1 - p*(-5)/5 - 4. Which is bigger: -12/17 or r?
r
Let b = -14.8 + -44.2. Let u = 1064607 + -1064606.8. Which is smaller: u or b?
b
Let k = -14768 + 14650. Which is smaller: k or -83?
k
Let o = 71517/20 - 19758/5. Is -377 greater than o?
False
Let d be (9 + 33)*(-1)/(-2). Let s be (-6)/(-42) + (-6)/d. Is -0.4 smaller than s?
True
Let a be (-184)/(-485) + (-6)/15. Let m = 156233/9 + -17359. Which is smaller: a or m?
a
Let h be -1*17/(68/24). Let i = 3 + -5. Let j = i - 2. Which is smaller: j or h?
h
Let o = 319218 + -8958214736/28063. Which is smaller: o or 0?
o
Let k be 2/(-8) + 97/180. Let y be 3/(-2 - 13) - (-2484)/2070. Is y < k?
False
Suppose 16*h + 533 = 29*h. Suppose -11 = -26*u + h. Which is smaller: u or 24/13?
24/13
Let d = -371.17 + 373. Let y = d + -0.03. Let a be -8 + (-25)/((-200)/48). Which is smaller: a or y?
a
Let m(t) be the first derivative of t**3/3 - 4*t**2 - 11*t + 50. Let n be ((-14)/3 - -3)*-6. Let v be m(n). Which is greater: v or 12?
12
Let z = 30613/2 - 14911. Let k = -394 + z. Is k < 2/9?
False
Let k be 141/24*(-16 + 4)*2/(-3). Which is smaller: 193/4 or k?
k
Let o = 4.07 + -3.07. Is 0.3172 at most o?
True
Let a = -16 + 11. Let k be (-1)/(-10)*-854 - 2/(-5). Let i = 77 + k. Which is smaller: i or a?
i
Let d = -954 - -1005.32. Let a = -2.68 - d. Is 2/3 at most as big as a?
False
Let u(j) be the third derivative of j**4/24 + 5*j**3/6 + j**2. Let o be u(-6). Let x = 1834 + -185236/101. Are o and x unequal?
True
Suppose 4*z - 3*s = -30, 5*z - 14*s = -10*s - 39. Is z less than -165/52?
False
Suppose 0 = 14*v + 726 - 726. Which is bigger: v or 152/185?
152/185
Suppose 0 = -6*g - g - 6*g + 1313. Is g less than or equal to -3.2?
False
Let u = 7423/6 - -4437/2. Which is bigger: 3457 or u?
3457
Suppose 39 = -51*j + 90*j. Which is bigger: -2/7225 or j?
j
Let m(n) = n**2 - 6*n + 278. Let b be m(0). Let q = b + -187. Wh