-58*p = -46*p - 144. Suppose 28*a + p = 26*a. Which is smaller: a or -9?
-9
Let z = -27 + 23.8. Let d = 18.2 + z. Let y = 15 - d. Is 8 < y?
False
Let d = 195.9116 - -0.0884. Let x = d - 196.03. Which is smaller: -0.036 or x?
-0.036
Suppose 0 = -6*n + 667 - 175. Suppose y + 163 = t + 83, t - 2*y - n = 0. Let a = 77 + 3. Which is smaller: t or a?
t
Let p be (-2 - 1) + 9 + 158. Let s be 6/(-15) - (4 - p/35). Is s at most as big as -38?
False
Suppose 6*j = -5*c + 2*j - 750, 4*j = 0. Is c at most -156?
False
Suppose -2*u - 3*j + 3 = 0, 55*u + 2*j = 60*u + 2. Which is smaller: u or -2/4847?
-2/4847
Let k be (9 + 273/(-52))*2384/6. Which is greater: 1486 or k?
k
Let h(c) = 13*c - 80. Let t = 251 + -245. Let b be h(t). Let v(d) = -d**2 - d - 3. Let p be v(-3). Which is smaller: b or p?
p
Let b(p) = 27*p**2 - 7*p + 5. Let d be b(-12). Let q be 14/28 + (-1423941)/358. Let t = d + q. Is 0 < t?
True
Suppose s + 3*i + i - 8 = 0, 4*s + 5*i - 21 = 0. Let v be ((-6)/s)/(-1*6/72). Suppose 0 = -v*h + 19*h + 19. Are h and -19 equal?
True
Let o = -2/113013 - 903182/52098993. Is o > 1?
False
Let j be ((-50)/10 + -2 - -11) + (-45258)/11314. Which is smaller: j or 4?
j
Let s be ((-38)/(-76))/((-2)/12) + 1282/16. Are 76 and s non-equal?
True
Let m(q) = 4*q**3 - 4*q**2 - 4. Let h be m(3). Let a be (-2*52/16 + -2)*-8. Is h >= a?
True
Let q = -9668.17 - -9669. Is q at most as big as -31?
False
Suppose -12 = 4*n, 2095*j = 2100*j + 6*n + 28. Let s be (-2)/8*620/70. Which is greater: j or s?
j
Let k be 3458/(-13) - (15 - 17). Is k at least -259?
False
Suppose -18*u - 43921 = -11161. Is -1823 at most u?
True
Suppose -369 = -20*s + 471. Let y be -3*35/s*(-4)/(-5). Which is smaller: -8/3 or y?
-8/3
Let s be 302/(-18) + 34/9 + -4. Are s and -4 unequal?
True
Let j = 0.0186 - -2.1014. Let n = 3.12 - j. Let r be (-2)/5 + (-123)/(-345). Is r <= n?
True
Suppose -4*x + 13 + 1 = -5*d, 6 = -3*d. Let l(j) = 7*j - 5. Let p be l(x). Suppose 0 = -4*u - 2*z, 3*u - z + 3 = -p. Do u and 1/26 have different values?
True
Let g = -3.564 - -3.718. Which is bigger: g or -6/11?
g
Let i = -50 + 60. Let y be (-5)/((-75)/i) - (-10)/(-6). Let t = y + -46. Is -48 less than or equal to t?
True
Let s be 4 - (-1)/(2/6). Suppose -28 = s*x - 0. Is x smaller than 1?
True
Let n = -8135 + 9815. Which is greater: 1683 or n?
1683
Let a(k) = k**2 - 4*k - 43. Let g(w) = -w**2 + 5*w + 44. Let x(f) = 5*a(f) + 4*g(f). Let v be x(0). Let q = -53 - v. Which is greater: q or -12?
-12
Suppose -459 = -2*d - 3*d + 4*m, -4*m + 301 = 3*d. Let s be d + 0 + 3 - (-9 - -9). Is 98 smaller than s?
False
Suppose 123*f + 11*f = -22780. Is f bigger than -1025/6?
True
Let x be ((-1392)/64)/((-9)/48). Let z = x + -116. Which is greater: z or 1/60?
1/60
Let h = 51 + -562/11. Suppose -935*w = -928*w + 7. Which is smaller: h or w?
w
Let f = 1.42 + -0.02. Let p = -1267 + 1280. Which is bigger: f or p?
p
Suppose 0 = 3*j - j. Let i = 61/29105 - -214415071/698520. Let a = i - 307. Which is smaller: j or a?
a
Suppose y + 4 - 6 = 0. Suppose y*d = z + 1 - 0, -z - 2*d - 17 = 0. Let t be 1/z + (-9)/(-81). Does t = -8/9?
False
Let l = -4465 - -4376. Is -91 less than l?
True
Let t = -1993 - -7961/4. Is -3.9 at least as big as t?
False
Suppose -4*s - 4*m = -m + 19, 3*m = -5*s - 26. Let p be 0 + (-8)/(24/(-9)). Suppose 16 = -p*y - 2*l, 0 = -3*y + 4*l - 3*l - 19. Which is smaller: y or s?
s
Let m = 0.9283 - 4.4283. Is m < -206?
False
Let m = 0.87 - 4.57. Let k = 25.3 - m. Let c = -28.9 + k. Is -30 at least as big as c?
False
Let d(q) = -q**2 - 42*q - 50. Let w be d(-41). Let p(g) = 3*g + 3. Let j be p(6). Let y be (j/w - 0) + (-4)/6. Is y at least -3/2?
False
Suppose 0 = 5*w - 8*z + 10*z + 2536, 4*z = -4*w - 2036. Let h = w - -591. Is h < 85?
False
Suppose 4*j = -70 - 50. Let t = 27 + j. Let n be 2/10 + -2*(-40)/(-25). Is t bigger than n?
False
Suppose 4*c - 2*b + 260 = 0, 50*c + 2*b = 53*c + 197. Is c less than -891/14?
False
Let c be 1037/51 - ((-4)/6)/(-2). Suppose 5*s + c = 10*s. Suppose r = -j - s*r - 22, -j - 4*r - 20 = 0. Is -9 > j?
True
Let k = 50/69 + -1409/897. Suppose 4*v = t, 0 = -2*v + t - 0*t + 2. Which is smaller: k or v?
v
Let r = 788/13 - 66889/1105. Let t = r + -15/17. Which is bigger: t or -1?
t
Let m = 29868 - 29880. Which is greater: m or -493/42?
-493/42
Let c = 58618834/1591 - 36844. Which is smaller: -1 or c?
-1
Suppose 3 = -21*f + 18*f + 2*j, 0 = -5*j + 15. Are f and 5/186 nonequal?
True
Let s = 207837/61 + -3407. Suppose -b - f = -4, -24 = 6*b - 2*b - 4*f. Which is smaller: b or s?
b
Let k(g) = 2*g - 43. Let x be k(8). Let u = -3 - x. Suppose 3*d + u = 2*v, 4*d = -d. Which is bigger: 7 or v?
v
Let m(s) = 3*s**2 + s. Let o be m(-1). Let k = 60470 - 60455. Is k < o?
False
Let m be (2/(-4))/(11 - 115/10). Is m >= 5/849?
True
Let y(r) be the third derivative of -r**7/1260 + r**6/40 + 11*r**5/30 - r**2. Let l(i) be the third derivative of y(i). Let a be l(5). Is a less than 2?
True
Let i be 12/(-8)*(3 - (-14)/(-6)). Let x be i/(-296)*((-36)/(-4) - 11). Are x and 1 nonequal?
True
Let a = -660 - -397.5. Let f = 263 + a. Which is greater: f or 10?
10
Let j = -1570 - -1736.75. Let s = -167 + j. Do s and -9 have different values?
True
Let l = -1575134160895967833238746547001/9270259030 - -169912637370605148370. Let t = 3/2266567 + l. Let x = -2/409 - t. Which is smaller: x or 1?
x
Let x be (-2)/((-3 + (-56)/(-8))/((-76)/(-142))). Which is smaller: 1 or x?
x
Suppose 215 = -11*g - 108 + 125. Is -742/39 greater than or equal to g?
False
Suppose -5*c + 69 = -12*d, -375*c = -4*d - 373*c - 22. Suppose 4 = 5*g - 3*g. Let t be g/4 + (-298)/36. Is t less than or equal to d?
True
Let y be (-40)/220 - (-22910)/32472. Let o = -25/36 + y. Let i = o + 237/1148. Is i at most -1?
False
Suppose 0 = 2*g - 4*z - z - 53, 4*g - 88 = 4*z. Suppose -15*a + g*a + 8 = 0. Let x be a + ((-84)/32 - -3) + 2. Which is smaller: -2/3 or x?
-2/3
Let o(b) = -b**2 - 80*b - 453. Let y be o(-6). Let x be ((-3)/2)/((-2)/4). Suppose 4*c + 33 = x*q - 2*q, -1 = 3*c + 4*q. Which is greater: y or c?
c
Let r = 3607 - 4745. Which is greater: r or -1137?
-1137
Let g = -24 + -36. Let l be g/26 + 0 + 2. Let u be -1*4/14*70/90. Which is greater: u or l?
u
Suppose -4*w - m - 83 = 2*m, -w - 2 = -3*m. Let h be 46/3 - 10/(-15). Let y = h + w. Are y and -4/17 equal?
False
Let b = -555 - -539. Let s(p) = 13*p + 124. Let q be s(b). Which is smaller: -86 or q?
-86
Let y be (-6)/(-4)*(-450)/2970. Suppose -5*r - 18 = -23. Which is smaller: r or y?
y
Let y be 10/(-45) + 89433/405. Let n = y + -220. Is n greater than 91?
False
Let t = 320 + -319.9. Let g = 1/3757 - 567340/123981. Let v = g + 14/3. Is t greater than v?
True
Suppose -18*r + 23*r = 15. Let i be 1 + 3 - 31*2. Let h = i - -64. Which is smaller: h or r?
r
Let o(c) = c**3 - 3*c**2 - 24*c. Let x be o(0). Which is greater: x or 1/197?
1/197
Let f(m) = -m - 1. Let c(p) = 3*p**2 + 30*p + 13. Let v(a) = -c(a) - 5*f(a). Let d be v(-8). Which is smaller: d or 2/33?
d
Suppose -353*i - 22 = -331*i. Is i at least as big as -18/29?
False
Let a = 0.0347 - 88.9547. Let d = a - -89. Which is smaller: d or 2/15?
d
Let j = 56 - 48. Let q be j/6*(-30)/(-80). Is q at least 11/2?
False
Let s(u) = 8 + 27*u - 3*u**2 - 16*u - 5*u**2 - 56 + u**2 - u**3. Let a be s(-9). Which is smaller: 6 or a?
6
Let l(t) = -t**2 + 6*t + 10. Let j be l(7). Let r be 1*(0 - j - -3)*1. Let v = 1/537 - 1255/1074. Are v and r nonequal?
True
Let w(q) = 4*q**3 + 36*q**2 + 4*q + 40. Let z be w(6). Which is smaller: z or 2220?
2220
Let l be (-3)/(-2)*-6 - -2. Is l less than or equal to -70/11?
True
Suppose 3*m - 1921 = 5*c, 5*m - 5*c - 2920 = 285. Are 640 and m non-equal?
True
Let s(p) = -p**3 + 6*p**2 + 6*p + 9. Let m be s(7). Suppose 11 + 11 = -m*f. Let y = f - -7. Which is smaller: y or -6?
-6
Let n be -13 + 39830/5684 - -6. Is n bigger than -1?
True
Let s be (4/6)/(-7*44/2808). Let c = s + 48/11. Is c >= -2?
True
Let s be -8*7/(-14) - (12935/5 - 6). Is -2577 equal to s?
True
Let t = 155789 - 93161797/598. Which is bigger: -1 or t?
t
Let b be (80 + -83)*(-1)/(-228). Which is smaller: b or -1?
-1
Let k = -785 + 789. Suppose k*n = -2*c - 80, -5*n + n = -4*c + 56. Which is bigger: n or -12?
-12
Let u(k) = 8*k - 59. Suppose -3*s = -5*s + 4*p + 24, 3*p + 15 = s. Let t be u(s). Suppo