et q = n - 70. Suppose 5*x + 0 = s - 2, x + s + 4 = q. Are x and -1/41 unequal?
True
Suppose -14*v - 494 = -18*v + 290. Which is bigger: v or 189?
v
Let s be 31112/(-128) + 3/48. Which is bigger: -241 or s?
-241
Let o = -167907 + 168015.031. Let d = 108 - o. Let x = -0.131 - d. Which is bigger: x or 10.9?
10.9
Let g = -124597/2130 - 4/1065. Is g bigger than -59?
True
Let l be -2*(-6 + 36/8). Suppose j = -l*v + 8, 1 = -4*v + 13. Which is greater: j or 3/91?
3/91
Let q be 1 + (0 - 3)*5. Suppose 2204*h - 2203*h = 25. Let i be q/36 - h/(-150). Which is bigger: i or -1/3?
i
Suppose 4*o - 12*o = 4*o. Suppose 6*j + 4*j - 140 = o. Is j <= 7?
False
Suppose 0 = -4*p - i + 13, -2*p - 18*i + 11 = -19*i. Which is smaller: 117/28 or p?
p
Let h be (4/1016)/((486/(-40))/(-27)). Is h bigger than 0?
True
Let s be (-13255)/(-9*(-4)/(-24)). Let m = 8745 - s. Which is smaller: -92 or m?
-92
Let z(r) = 5*r - 27 - 31 + 25. Let p be z(7). Are p and 3 non-equal?
True
Let m = -1211 - -1209. Is -50 less than or equal to m?
True
Let i be 44 + -4 + 0/2. Let m = -154 + 288. Suppose 2*t = -3*h + m, 0 = -h - 4*t - 34 + 92. Which is greater: h or i?
h
Let s = 539.1 - 513. Let c = 26.2 - s. Are c and -55/2 non-equal?
True
Let k be (1/(-6))/(2/(-272)). Let j = k - 482/21. Let c = -4.3032 + 3.5032. Is j > c?
True
Suppose 0*b = 5*f - 4*b + 506, 0 = -f + 2*b - 100. Which is bigger: f or -110?
f
Let c = -1671/28 - -4873/84. Suppose -3*w - 2*w - 5 = 0. Which is greater: w or c?
w
Let h be (-1)/(-4)*28/(-98). Is h bigger than -40?
True
Let z = -8189/7 - -376701/322. Which is smaller: z or 6?
z
Suppose 0*l + 4*s = 5*l - 120, -3*s + 5 = l. Suppose 0 = 5*n - 25 + l. Let g be (-1)/2*(-8)/26. Which is greater: g or n?
n
Let v = 214.6 + -214.49. Which is smaller: -0.182 or v?
-0.182
Let i(p) = -p + 13. Suppose -4*g = 4*c - 12, -5*c = -9*c - 5*g + 17. Let k be i(c). Suppose k*b - 13*b + 224 = 0. Does -112 = b?
True
Let k = -0.19834 - -42361.19834. Which is smaller: 0.1 or k?
0.1
Let o(u) = 182*u + 6189. Let l be o(-34). Let y be (-2)/(-8) + (-94)/(-72). Is y bigger than l?
True
Suppose 0 = -5*l + 5*a - 448 - 107, 0 = 4*l + 5*a + 480. Which is bigger: -121 or l?
l
Let i be (3/2)/(-3)*-38. Suppose -i = -2*y + 5. Let h = -953 + 968. Which is smaller: y or h?
y
Let o = -7/3 + 11/6. Let c = 1.27 - 312.27. Let p = -320 - c. Which is smaller: o or p?
p
Let x be (-2)/((-18)/21)*(128/(-224))/2. Which is smaller: 14588 or x?
x
Suppose -9 - 19 = 2*k. Let v(i) = -4*i**3 + 17*i - 3*i**3 - i**3 + 15*i**2 + 9*i**3 - 2. Let n be v(k). Is n > -44?
False
Let f be ((-20445)/464)/(-47) - (-6)/(-4). Which is greater: f or 1.4?
1.4
Let v(c) = c + 3. Suppose -1 - 7 = -4*r + 5*t, 5*t = 3*r - 6. Let a be v(r). Suppose 0 = -3*f - 0*f - 3*b + 3, -3*f = a*b - 7. Is 5/12 less than f?
False
Let b be (-348)/66*(-176)/128. Which is bigger: 12/43 or b?
b
Suppose -466*v = -539*v - 55261. Which is smaller: v or -756?
v
Let j be (10 - (-123408)/80)*5. Which is smaller: 7765 or j?
j
Let k(a) = a**3 + 6*a**2 - 3*a - 3. Let w be k(-3). Let z = -412 - -437. Suppose 0 = z*i - 39*i + 476. Which is smaller: w or i?
w
Let r = -89 + 160. Suppose -2*z = 2*i - 170, 5*z - 532 = 4*i - r. Is 89 equal to z?
True
Suppose -3*n = -4*a - 5, n = 5*a - n + 8. Let j be 2336/208 - (1 + 11). Which is bigger: j or a?
j
Let n be 3/(-1)*(20167/(-14))/(15/10). Is n at most as big as 2882?
True
Let a be 3/5 + 13/(-5). Let b be a/12 - (-14)/(-21). Let l = -1548.6 - -1549.4. Which is smaller: l or b?
b
Let x(n) = 2*n + 21. Let s = 52 - 42. Let o(z) = -z - 1. Let p be o(s). Let y be x(p). Do y and 6/17 have different values?
True
Let b = -4278936 + 2524570023/590. Let s = -5/118 + b. Is s greater than or equal to -0.1?
False
Let p = 3750 + -5119. Which is bigger: -1371 or p?
p
Let b(d) = 5*d**2 - d + 4. Let u be b(3). Suppose 0 = -2*a - 375*g + 378*g + 84, g = 2. Which is smaller: u or a?
a
Let a = -4838 + 4712. Is a smaller than -112?
True
Suppose 138 = 29*c + 109. Are c and 2/2419 non-equal?
True
Let k = -1042 - -552. Suppose -496 = b + 5*m, -b + 487 = -2*b + 4*m. Is k equal to b?
False
Let f = 60 + -41. Suppose -4*y - 32 = -4*p, y + 4*y = -2*p - f. Let u be y + 2 - -3 - 2/(-4). Is 0.21 greater than u?
False
Let q = 217.5017 + 0.4983. Which is smaller: 3 or q?
3
Suppose s - 2 = -2*o, 0 = -o + 3*o - 2*s - 8. Let f be -4*(o + (-2)/4). Is -5 less than or equal to f?
False
Let c = 37 - 28. Let b = 52 + -26. Let o be 162/39 - 4/b. Does c = o?
False
Let y be (0 + (9 + -2 + -6)/(-2))*-2. Is y < -1/378?
False
Let q = 6 - 4. Let g be (8/56*3)/((-6)/(-28)). Suppose 3*u + 22 = g*c, u + 4*c = -0*u - 26. Is u equal to q?
False
Suppose -484 = -13*s - 471. Is s less than or equal to 2635?
True
Let k(x) = 31*x + 438. Let j be k(-26). Which is smaller: j or -735/2?
j
Let d be (444/30*-5)/(2*-3). Which is smaller: d or 13?
d
Let r be 1/11 - ((-311)/(-6))/((-33)/(-6)). Which is smaller: r or 54?
r
Let m = -13661 - -13665. Are m and 279/59 equal?
False
Let j = 4504 + -3556. Is 949 smaller than j?
False
Let w(l) = -9 + 3*l + 14 + 0 - 43. Let s be w(10). Which is smaller: s or -11?
-11
Let s(o) = -o**2 + 57*o + 184. Let v be s(60). Suppose -2 - 22 = 4*q. Let w be 3*(-4)/(-24) - q/v. Are w and -0.2 non-equal?
True
Let a be (-221*(-4)/16)/(-2 + 54/24). Is 196 bigger than a?
False
Let l = 0.7 + -1.9. Let x = 1 + l. Let p be 6 + 5 + (-9)/36 + -9 + 1. Is x smaller than p?
True
Let z(r) = -23*r + 657. Let w be z(52). Which is bigger: -533 or w?
-533
Suppose 0 = 3*t - 40*n + 45*n + 5714, 7576 = -4*t + 4*n. Is t at least as big as -1898?
True
Let x be 5/2*4/(-740). Let s(j) = j**2 - 4*j + 26. Let c be s(14). Let f = -165 + c. Is f at least as big as x?
True
Let a be (-10*505/10)/1. Let g be (-2)/8 + a/(-20). Which is bigger: 105/4 or g?
105/4
Let x be (-102)/(-8) - 6/4. Suppose -23*s + 20038 = 19900. Is x at most s?
False
Let z = -0.8615 + -0.0005. Let a = z + -0.138. Is -67 bigger than a?
False
Let y = 507 - 269. Let d(i) = i**3 - 9*i**2 - 44*i + 134. Let t be d(13). Is y less than t?
False
Let y = 0.1586 + -28.1586. Is y greater than 11.3?
False
Let y = -32233 - -32232. Which is smaller: -84/355 or y?
y
Let c be 8 + -33*(-88)/(-288). Which is smaller: -5/9 or c?
c
Let o(x) = 14*x + 2. Let m(a) = -a**3 + 3*a**2 - 4*a + 3. Let u be m(2). Let y be o(u). Let d = 580 + -1181/2. Is d at most as big as y?
False
Let c = 109.05 - 109. Let l be (1 - 0/1)*2. Is c < l?
True
Let v(n) = -n**2 + 3*n**2 + 0*n + 3*n + n**3. Suppose 0 = 27*x - 26*x + 43*x + 176. Let t be v(x). Is t > -46?
True
Let f(x) = -167*x - 2023. Let b be f(-11). Is b smaller than -175?
True
Let n = 2 - -9. Let c = 4.09 - 185.09. Let z = 176 + c. Is n bigger than z?
True
Let n be (6/(-16))/(47374/20 - (-6)/(-30)). Which is greater: n or 0?
0
Let s = 3 - 1. Let w(l) = 3*l + 23. Let h be w(-7). Suppose -h*m + 2*o - 5*o + 17 = 0, 0 = 5*m - o. Which is smaller: s or m?
m
Let n(h) = 5*h**3 + 15*h**2 + 5*h - 8. Let y(m) = 11*m**3 + 30*m**2 + 10*m - 16. Let d(j) = -7*n(j) + 3*y(j). Let b be d(-7). Is 11 at most as big as b?
False
Let w = 29.72 + -29.703. Let s = 10 + -14. Let b = s + 3. Which is smaller: b or w?
b
Let z = -1.7111 - 3.2889. Let b be 2 - 1/(2/(-4)). Suppose 7*n + 6 = b*n. Are z and n equal?
False
Suppose 20*w = 14*w + 31*w + 3700. Are w and -159 equal?
False
Suppose -8*g - 127 = -7. Let s be ((-3)/g)/(1/5) + 0. Let i be (1/(-2) + s)*-2. Which is smaller: i or -11/6?
-11/6
Let d(m) = -m**2 - 2*m - 15. Let w = 62 - 62. Let y be d(w). Is y at least -136/9?
True
Let v = -48228 + 194041/4. Are 281 and v equal?
False
Let u = -3.1 + 1.1. Let j = -982056/37 - -26542. Which is smaller: j or u?
u
Let d(k) = 4*k + 29. Let q be d(-10). Suppose 0 = 4*w + 5*b + 11, 6*w - 3*b + 15 = 3*w. Let g be (-2)/3*(-58)/w. Which is greater: q or g?
g
Suppose 0 = -j - 3, -2*r - r + 36 = -4*j. Let p(f) = -f**3 + 9*f**2 - 18*f + 16. Let b be p(r). Which is smaller: -1/2 or b?
b
Let y = -3672 + 3654. Which is smaller: -95 or y?
-95
Let a be ((-1)/((-1)/15))/3. Let l be (-2)/35*a - (-6)/21. Let k be (4/2)/(1 - 16). Is l > k?
True
Suppose -4*j = 5*i - 1810, 14*i + 4*j = i + 4674. Is 357 at most i?
True
Let h be 2*((-275)/(-2))/5. Let t be 1*(-2)/20 - 577448/(-10480). Is t >= h?
True
Let s = 17957 + -18597. Which is greater: -7/3 or s?
-7/3
Let k 