
-1437
Suppose -5*t = m - 60, -13*t = -8*t - 10. Suppose -16*b + 66 = m. Is -1/1223 <= b?
True
Let s(x) = x**2 - 2*x + 4. Let b be s(0). Suppose -16*a - b*m + 16 = -14*a, -29 = -3*a - 5*m. Which is smaller: 124/7 or a?
124/7
Suppose -4*l = -6*p + 2*p + 1212, 0 = -p - 3. Let h = 305 + l. Which is smaller: -3/271 or h?
h
Suppose -9*w - 3*w = 19*w. Is -19/156 <= w?
True
Let p be ((-4195)/(-20) - 6 - 2)/(3/(-18)). Which is smaller: p or -1212?
-1212
Let d(s) = 5*s**2 - 45*s + 79. Let w be d(21). Let r = 13417/10 - w. Is 3 > r?
True
Suppose 5*h = 2*m + 32, -2*h + 5*m - 31 = -48. Let t(k) = -k**3 + 4*k**2 - 2*k + 24. Let y be t(h). Which is bigger: -57 or y?
-57
Let y = 3067 - 3076. Which is smaller: -5 or y?
y
Let y(l) = l**3 + 9*l**2 - 4*l - 23. Let k(v) = 2*v**3 + 17*v**2 - 9*v - 44. Let a(m) = -2*k(m) + 5*y(m). Let f be a(-9). Is f smaller than 154?
True
Let d be 11*3/(-2 + 5). Suppose -21 - d = 4*s. Let t = -9 - s. Which is smaller: t or -2/21?
t
Let l = -144 + -72. Let o = l - -217. Is o <= -12?
False
Let b be (-15)/2*(14/(-3) + 4). Let v = 41.3 - 43. Is v at most b?
True
Let l = -30664 - -30649. Is -1050/71 equal to l?
False
Let z(t) = -t**2 + 97*t - 736. Let p be z(84). Which is bigger: 346 or p?
p
Let s = 8.3 - 2.2. Let n = 6 - s. Let k = 2440 - 2408. Which is bigger: k or n?
k
Let n(t) = -3*t + 12. Let j be n(6). Let d be (445/270)/1 - j/(-4). Which is smaller: -1 or d?
-1
Let p = 5476 - 5477. Which is smaller: p or 1/11316?
p
Let q = -2.14 + 2. Let d be ((-12)/(-8))/((-1)/((-5)/(-30))). Is q at least d?
True
Let l = -1253.8 + 1381. Let w = 125 - l. Suppose 2*x - 6 = -5*v, -3*v + 3*x - 9 = -0*v. Is v at least w?
True
Let y be (6/32)/((17199/(-28))/63). Suppose -2*m = 4*d - 2 - 0, -4*d = -2*m + 10. Is y != d?
True
Let o be 28/13 - 6 - (-130)/(-845). Which is smaller: o or 2142?
o
Let b be (-2139)/(-2115) + -3 + (228 - 226). Is b greater than -1?
True
Let d be 1 + 780/2 - 0. Let r = 386791 - 386400. Is d bigger than r?
False
Suppose 5*z - 3*j + 24 = 0, 65*z - 66*z + 5*j = 40. Which is bigger: 2/19961 or z?
2/19961
Let c be (81 + -93)*(1/5)/((-11)/(-55)). Do -410/31 and c have the same value?
False
Let c(r) = -2*r - 40. Let m be c(-23). Suppose m - 216 = 7*i. Let q be (4/54)/(i/18). Which is smaller: 1 or q?
q
Let l = 59/21 - 1697/609. Is l bigger than -6?
True
Suppose 5*q + 5*a = -5, 2*q + 151 = -5*a + 170. Let f = 4 - 2. Let c be 7/4 + f/(-8). Which is smaller: q or c?
q
Let x = 18.1 + -17.938. Let z = x + -0.062. Let i = -44 + 175/4. Is z at least as big as i?
True
Let a = 22134322/165 - 134148. Is -1 != a?
True
Let c = -253 - -255. Let o(v) = -11*v + 4. Let a be o(c). Which is greater: -16 or a?
-16
Let t be 875/(-9) + (-1)/(-3). Which is greater: -98 or t?
t
Let c(u) = u**3 - 13*u**2 - 12*u - 34. Let q be c(14). Let i be -1 - -5*q/(-18). Let j = -2238 - -29136/13. Which is smaller: i or j?
i
Let u = -5224 - -42643511/8163. Which is smaller: 0 or u?
u
Let z be (-190)/245 - (-12)/21. Suppose 2*t = -57*t - 3 + 3. Which is greater: t or z?
t
Let d(p) = -p**2 + p + 5. Let l be d(0). Suppose -l*f - 4 = -3*v + 28, 4*f + 36 = 5*v. Suppose -2*s = s - 4*j + 13, -43 = 5*s + v*j. Are -8 and s nonequal?
True
Let r(i) = 10*i**2 + 2*i. Let s be r(4). Suppose 4339 = 153*b - 21671. Which is bigger: b or s?
b
Let m = -1.819 + 2.62. Let d = -1.101 + m. Which is smaller: -4 or d?
-4
Let g = 499 + -497.898. Let r = -0.102 + g. Is 134 greater than or equal to r?
True
Let x be 8*(104/(-572))/(12/(-33)). Let z = 7 - 11. Let u be (0 - -4)*(-5)/z. Is u smaller than x?
False
Suppose 2*z + 270 = 5*x - 164, 5*x - z - 442 = 0. Is x less than 727/8?
True
Suppose -2*v = -4*g + 20, -5*g + 177 = -4*v + 152. Do v and 2/2271 have different values?
True
Let d be (-2 + (-2383)/(-1193))*(-11)/66. Which is smaller: -1 or d?
-1
Let c = -36 + -15. Let h = 56 + c. Suppose h*j = j - 56. Which is greater: -13 or j?
-13
Let f = 1858/11 + -169. Let c = 89.4 + -87.4. Is f != c?
True
Let n(w) = -w**3 + 3*w**2 + 27*w - 94. Let k be n(8). Which is smaller: k or -206?
-206
Let c = -1810 + 66960/37. Is -0.1 smaller than c?
False
Let b(y) = 4673*y + 3. Let h be b(0). Let t = -8 + 5. Let m be t/(-2)*(-32)/(-28). Which is smaller: h or m?
m
Suppose -78 = -11*k - 12. Let p(t) = -2*t + 15. Let v be p(k). Suppose 0*o + z = o + v, -5*o + z = -1. Do 1/3 and o have the same value?
False
Suppose -5*w - 76 = -3*o, -3*w + 84 = -583*o + 586*o. Which is bigger: o or -52?
o
Let s = -36/451 - -2446/41943. Suppose q = -q + 4. Let c = -1 + q. Are s and c non-equal?
True
Let d be (-4 + 1)/(589/(-62)). Which is bigger: d or 288?
288
Suppose 0 = 9*j + 7*j - 6080. Suppose -j + 44 = -21*u. Which is smaller: 14 or u?
14
Suppose 23*a = -8*a - 14*a - 2115. Is 351 greater than or equal to a?
True
Let j = -90 - -86.8. Let u = j + 2.2. Let g = -0.4 - 1. Is g bigger than u?
False
Let y(i) = 175*i - 4200. Let a be y(24). Is 70/323 equal to a?
False
Let f = 1265/9 + -6337/45. Which is greater: -319 or f?
f
Let j(l) be the second derivative of l**3/3 - 22*l. Let h be j(0). Suppose 2*t - 3*i + 55 = h, -3*i + 6*i = -5*t - 85. Is t greater than or equal to -21?
True
Let u be 966/15 + 1*(-6)/15. Suppose -u*x + 10 = -63*x. Suppose 20*i - 19*i = 4. Which is greater: x or i?
x
Let q(l) = -7*l + 5 + l**2 + 0*l + 16. Let g be q(10). Suppose -2*c + 19 = -4*n - g, -3*c + 2*n = -85. Which is greater: 23 or c?
c
Let c = 13567.02 - 13785. Let r = -218 - c. Which is smaller: 2/9 or r?
r
Let f = 4108 + -4171. Is -62 equal to f?
False
Let i = 11.1 - 14.5. Which is bigger: -0.4 or i?
-0.4
Let l = -11069 + 11149. Is l equal to 2/5?
False
Suppose -2*l + 73 - 133 = -42. Let k be ((-67)/(-9) - 1)*(-39)/26. Is l smaller than k?
False
Let l = -0.276 + 0.476. Let w = -22 - -25.5. Let o = w - 2.3. Does o = l?
False
Let b(x) = x**3 + 22*x**2 - 35*x - 1187. Let i be b(-21). Which is greater: i or -191/16?
i
Let y be (-4)/24*24/38 + (-103884)/76. Is -1359 less than or equal to y?
False
Let m be (-58972)/(-16422) + (-2)/3 - (-9)/21. Which is smaller: 3 or m?
3
Suppose 0 = 2*l + 2*u - 10, 16*l - 3*u + 7 = 11*l. Let d be 9/9*l*2/6. Let h = -5.2 + -21.8. Which is smaller: d or h?
h
Let b = 10.5523 + -12.5523. Let k(y) = y + 1. Let u be k(-2). Let d be (-36)/21 + 3 + u. Which is greater: b or d?
d
Let j = 46.534 + -46.8. Let s = j - -0.366. Which is greater: 35/6 or s?
35/6
Let n(g) = -g - 26. Let q be n(-25). Which is smaller: -125/56 or q?
-125/56
Let a(v) = v**2 - 57*v - 244. Let s be a(-4). Which is smaller: 12/557 or s?
s
Suppose 48 + 242 = 5*k - 3*v, 0 = 2*k - 3*v - 116. Suppose -k*b = -54*b - 68. Suppose -10*z = 7 - b. Is -40 at least z?
False
Let z = 170174/3 - 56244. Let l = 8174/17 - z. Is -1 != l?
True
Suppose 3*m + 6 = 3*t, -3*m - m - 16 = -2*t. Let s be 4/m*(-51)/34. Which is smaller: s or 1/30?
1/30
Let h = -4809 + 4809. Is 11/65 not equal to h?
True
Let k(d) = d**2 + 21*d - 25. Let g be k(-22). Let w = g - -3. Let f = 4517/210 + -43/2. Is f at most w?
False
Suppose -2*k + 24*b = 19*b - 37, -2*b + 46 = 3*k. Suppose -4*r = -2*v + 3*v - 11, 3*v = -5*r + 12. Which is smaller: r or k?
r
Suppose -r + 4 = -5*s + 114, 2*s + 2*r - 56 = 0. Let x be (-6*(-1)/8)/((-3)/24). Let j be x*(5 - 16 - -7). Is s >= j?
False
Suppose 12*a - 8*a = 16. Suppose -3*q + l + 10 = -124, a*l - 154 = -3*q. Which is greater: q or 50?
50
Suppose 3*n = -2*n - 380. Let k(s) = 16*s**2 + 255*s + 360. Let f be k(-14). Is n less than f?
True
Let d be ((-52)/(-130)*(-6)/(-4))/(64/20). Is d at least 0.024?
True
Let t = 20974 - 20880. Which is smaller: t or 125?
t
Suppose 5*m + 2 - 192 = 0. Suppose -39*g + 4*a = -m*g - 5, -3*a - 4 = -g. Let k = 0.1 - 0.1. Is g at most k?
False
Let n = -18 - -20. Let g be (2 + (-10)/(-4))/(-3)*n. Let q be (-2)/g*(-72)/(-30). Is q bigger than 2?
False
Let z = 931596/1505 + -619. Is z != 0?
True
Let m be 0 + -1 + 2/3. Let b = -171189 + 171185. Is m bigger than b?
True
Let i(y) = -y. Let v be i(-2). Let b be 12*(v + (-9)/6). Let u be (-2 - -2) + ((-8)/b)/(-2). Are -53 and u equal?
False
Let o(i) = -156*i + 21825. Let s be o(140). Suppose y + 5*d = 734, -6*y + 3*d = -y - 3726. Let v = 2911/4 - y. Which is smaller: v or s?
v
Let b = -35 + 34.15. Let s = 0.507 + 0.043. Let o = b + s. Which is bigger: o or 3/4?
3/4
Let b be (135 - 138)*(0 - ((-1527)/76