/(2/(-50)). Is s at most as big as t?
False
Suppose 0 = 3*l - 2*a - 332, -l = -2*l + 3*a + 120. Suppose 2*t = 6*t - l. Suppose -t = -8*k + 13. Is -2 != k?
True
Let g(y) = 27*y**3 - 4*y**2 + 8*y - 5. Let s be g(3). Suppose -17*r = -21*r - s. Is r greater than or equal to -178?
True
Let x be (-100)/(-15)*(-3)/2. Let p be (-16)/20 - 28/x. Let r = 463/801 - 2/89. Is p greater than r?
True
Let a = -4364 - -8086. Which is bigger: 3723 or a?
3723
Suppose 0*d - 4 = -d. Suppose -1271 - 349 - 1045 = -65*r. Are d and r non-equal?
True
Let l = -112 + 75. Let z = 18.4 + -14.23. Let f = z + -4.17. Which is bigger: l or f?
f
Let y = 45158/17 - 1413490524/532117. Is y bigger than 0?
True
Suppose 2*t - n = 9, 3*n = 24 - 9. Suppose 0 = -0*u + 3*u - 12, 4*m - 4*u = -8. Suppose -6*r + 36 = -2*r + 4*f, 5*r - 36 = -m*f. Is t at least r?
True
Let c(o) = o**2 - 6*o + 12. Let i be c(5). Suppose -17 = -t + 5*x, i*x - 2 = 5*x. Suppose -2*g + g + t = 0. Which is smaller: g or 23?
g
Let l(o) = o**3 - 12*o**2 + 6*o + 64. Let m be l(11). Suppose -m*g + 3*z = -4*g + 22, -4 = 4*z. Is -48/11 less than g?
False
Suppose -76 = 4*d + 4. Let m be (-6)/(-15) + d/25. Suppose -4*j - 22 = -2*n, -n + 4*j = -0*n - 17. Which is bigger: m or n?
n
Let t = 1223/68 + -310/17. Which is greater: t or -2273?
t
Let r be (((-162)/(-1215))/(4/(-372)))/(16/10). Which is smaller: 3 or r?
r
Suppose -33*r + 37*r + 5*v - 69 = 0, r - 13 = 3*v. Suppose 14*s - r*s + 4*j + 338 = 0, -649 = -4*s - j. Is 162 less than s?
True
Suppose -5*b - 10*b = 161207 + 60253. Does -14764 = b?
True
Let h(q) = 4*q + 35. Let f be h(-9). Let c be 178 - 208 - ((1 - 5) + f). Which is smaller: -2 or c?
c
Let z = -9 - -11. Suppose 6*q - z*q - 20 = 0. Let w be 6 + (-2)/(-6)*0. Are w and q non-equal?
True
Suppose -4*u - 26 = -j, 37 = 2*j + 5*u - 15. Do j and -0.3 have the same value?
False
Suppose -10*r + 11*r - v - 12094 = 0, -5*r + 60440 = 5*v. Which is bigger: 12092 or r?
12092
Let p(r) = -3*r**3 + 3*r**2 + 2*r + 1. Let a be p(-1). Suppose 0 = 5*m + 5*l - 205, 8*l - 189 = -a*m + 11*l. Is m >= 41?
False
Suppose -38*n - 375 = 5. Is n <= -1/3?
True
Suppose 1001 = v + 265. Let t = -33859/46 + v. Which is bigger: t or -1?
t
Let z = 677 + 4240. Is 4916 less than z?
True
Let t = -43.1 - 2.9. Let r = -127 - -87. Let d = t - r. Which is smaller: d or 1?
d
Suppose 17*i - 891 - 61 = 0. Which is greater: i or 28?
i
Suppose 69*q + 3223 + 917 = 0. Let y be (255/(-20))/((-2)/8). Let a = q + y. Is -7 at most a?
False
Suppose h + 30 - 33 = 0. Suppose 3*u - 5*y - 13 = -53, h*u + 2*y + 5 = 0. Let i = 1 + u. Is -8/3 smaller than i?
False
Suppose 0 = -f + 4*o + 24 + 12, -f + 26 = -2*o. Let a be (-2)/(-12) + (-110)/(-60). Let b be (5 - a)/((-18)/4). Is f < b?
False
Let p be ((-84 - -82)*5/2)/(-1928). Are p and 1 unequal?
True
Let s be ((-9792)/72)/(((-12)/(-9))/(-2)). Which is smaller: 0 or s?
0
Suppose -823 = -5*z + j, -2 = -4*j + 3*j. Suppose t + u = 40, u = 4*t + 4*u - z. Is 44 > t?
False
Let k be (-187883840)/64*(-2)/(-1234). Let p = k + 4758. Is p >= 0?
True
Let z = -89 - -109. Suppose -z*x = -39 - 101. Suppose 5 = x*t + 12. Is t < 1/37?
True
Let u be 1/(325/498)*340/51. Let r = 27/65 - u. Is -10 >= r?
False
Let h be (82/4)/(1*6/(-12)). Suppose -2*t + 6*t - 312 = 0. Suppose -4*q + 2*g - 166 = 3*g, 0 = 2*q - 2*g + t. Is h > q?
False
Suppose 4*f = w + 8644 + 4108, 2*w + f + 25486 = 0. Let y be ((-4)/18)/(-1) - (-3156)/w. Are -1 and y non-equal?
True
Let n = 0.3017 - 0.4017. Is 0.43 at least n?
True
Let f = -75 - 28. Let o = 174 + f. Does 70 = o?
False
Let n be 2124/1770 - (653/(-60) - 1/4). Which is greater: 0.36 or n?
n
Let w = 15754 - 15809. Let l = 0.3 - 0.2. Is l at most as big as w?
False
Let u = 48 + -33. Let p = -7768 + 7781. Which is greater: u or p?
u
Let n = 2959 - 2959.09. Is n != 155?
True
Let j = -37837913/90 - -841147/2. Let a = -789/5 + j. Which is smaller: a or -5?
a
Let y(g) = -264*g**2 + 13*g - 149. Let z be y(10). Is z less than or equal to -26419?
True
Let z(u) = 22*u**2 + 22*u - 22. Let q be z(-12). Let w = q - 37384/13. Is 5 at least w?
False
Suppose -o = g - 24, -o + g + 21 = 5*g. Let k(q) = 4*q - 90. Let m be k(o). Are 7 and m equal?
False
Let a(c) = -58*c + 604. Let n be a(12). Is -90 less than or equal to n?
False
Let f be 14198/11408 + (-2 - 1*(-10)/8). Which is greater: 0 or f?
f
Let g(w) = -2*w**2 + w + 2. Let h be g(-1). Let x be h*((-4)/(-14) - 5/(-7)). Let m be (-10 + 2)*2/22. Is m less than or equal to x?
False
Let b = 1071.4 - 1071. Do b and -200 have different values?
True
Let o be (-2)/3*(19/2 - 5). Suppose -5*m + 1 = i + 6, -4*m + i - 4 = 0. Which is smaller: o or m?
o
Suppose -32 = k - 3*d, 12*d = -2*k + 8*d - 34. Which is smaller: -462/19 or k?
-462/19
Let m be 26783/(-266)*(-92)/(-138). Let q = m - -470/7. Which is bigger: 1 or q?
1
Suppose 3*g - 6 = -y - g, -y + g = -1. Suppose -4*u = y*c - 194, 9 = -4*c - 11. Suppose 0 = -3*w + 3*h - u, 2*h = -w + 7*h - 29. Which is smaller: -11 or w?
w
Suppose -217*t + 142334 = 54883. Which is bigger: 395 or t?
t
Let j(x) = -x**2 + 7*x + 8. Let o be j(-4). Let p = o - -46. Let u be (-58)/p - (-5)/(-25). Which is smaller: -2/3 or u?
u
Suppose 3*x - 2*u + 368 = 5*x, 3*x - u - 540 = 0. Suppose 2*j - 360 = -4*a, 3*a + 147 + 220 = 2*j. Which is smaller: j or x?
x
Suppose -420 = -2*i - 3*f, 3*i - 465 = 3*f + 195. Which is smaller: 215 or i?
215
Suppose 0 = -4*y - y + 140. Suppose -2*o - q = -5*q + 74, 40 = -o + 3*q. Let x = o + y. Which is smaller: -18/5 or x?
-18/5
Let b = 0 + 3. Let a = -755 - -770. Suppose a*o - b = 14*o. Which is smaller: 10 or o?
o
Suppose 38 = 3*w + 2*h + 16, 3*w = 4*h - 8. Let g be (-69)/(-2)*w/6. Suppose 0 = 35*j + 8 - 813. Are g and j unequal?
False
Suppose 0 = -4*b - 5*y + 9 - 0, -2 = -3*b + y. Suppose -2 = d + 3*u, -u - 3*u = 3*d + b. Let l be 65/(-39) + (-31)/(-24). Which is smaller: d or l?
l
Suppose 12 = 4*k - 48. Let h = -313/2 - -158. Does k = h?
False
Suppose 287*u - 459232 = 61*u. Which is smaller: 2034 or u?
u
Let o = 620959896 + -710998784828/1145. Let q = o + -1293/5. Is 1 >= q?
True
Let i = 5983 - 6173.8. Do -1 and i have the same value?
False
Let x = 22413 - 15377. Is -1 > x?
False
Let h be (-2)/(8/(-495)) - (-5)/20. Suppose 127 = -3*m + h. Is m at most -192?
False
Let n = 3.428 + -3.228. Let j = 553 - 13817/25. Which is smaller: j or n?
n
Let i(g) = -7*g**2 - 4*g - 19. Suppose u = -2*d + 3, -8*u + 10*u + 5*d = 11. Let b be i(u). Are b and -333 non-equal?
True
Let v = 201 + -220. Let y(o) = -o**3 - 18*o**2 + 18*o - 19. Let l be y(v). Do 2/73 and l have different values?
True
Let i = 856 + -27355/32. Is i < -1/3?
False
Let f(g) = g**3 + 3*g**2 - 2*g. Let z(t) = 2*t**3 + t**2 - t. Let q(p) = f(p) - 2*z(p). Let l be q(1). Is 1 smaller than l?
False
Let u = 1762 - 1762. Which is greater: u or 92?
92
Let b = -0.07779 + -484.92221. Is b not equal to 0?
True
Suppose g + 3*g - 36 = z, -5*z + 12 = 4*g. Suppose -36 = 4*l + g. Which is smaller: l or -13?
-13
Let l be (-1 - 0) + (-54)/(-33). Suppose -4*u = 5*v + 19, -78*u = -2*v - 82*u - 22. Which is smaller: v or l?
l
Suppose 12 = 3*h - 12. Let j(d) = 64*d**2 - 4672*d - 4. Let b be j(73). Which is smaller: h or b?
b
Let s be (((-78)/(-11028))/(-13))/((-90)/(-36)). Which is bigger: s or 0?
0
Let h = -551 - -521.9. Let p = 19.1 + h. Are -4 and p nonequal?
True
Let u be 3*-1 - (-2)/(4/14). Suppose 4*a + 49 = 4*j + 137, 5*a = u*j + 108. Which is smaller: a or 3?
3
Suppose 177*p + 1385 + 1270 = 0. Which is smaller: -6 or p?
p
Let l be -2 - -6 - (1 + (-20)/12). Let k(y) = y + 3. Let p be k(0). Suppose p*b + 0*b - 15 = 0. Is l <= b?
True
Let s be 17/(-3)*9*2/3. Let v(t) = -t**3 - 32*t**2 + 67*t - 32. Let m be v(s). Let c(z) = -3*z - 1. Let k be c(-1). Is m equal to k?
True
Let y be (1 - 35/15)/(-2). Let g = -2395 + 2244. Which is bigger: y or g?
y
Let a(m) = 3 - 5 + 5 + 4*m. Let q be a(-1). Let y = 502/5 - 2011/20. Which is smaller: y or q?
q
Suppose -15*h + 992 = -47*h. Is h less than or equal to -19?
True
Suppose -14 = -x - 5*k, 0 = -2*x + 3*k - 45 + 8. Suppose -46*u + 2*d = -45*u - 382, 5*u - 1898 = 4*d. Let v = -390 + u. Which is bigger: x or v?
x
Let a be (133*(-1 - (0 - 2)))/1. Suppose 12 = -4*s, -5*y + 0*s + a = 4*s. Let j be ((-73544)/240)/y - (-1)/6. Which is bigger: j or -11?
j
Let a be 70/10