0259 not equal to f?
True
Let r = -17 - -12. Let g = 21 - 18. Let t be g + -6 + (-46)/(-14). Is t greater than r?
True
Let y = 28321/7655 - -1/3062. Let k(i) = 10*i + 44. Let t be k(-4). Which is smaller: y or t?
y
Let v be 30/(-14)*(-2)/18. Let f be (-1)/5*(-532 - -532). Which is greater: f or v?
v
Suppose 4*k = -4*b + 4 + 4, -2*k - 20 = -4*b. Let c = 8.19 + -0.19. Let l = c - 11. Is l less than k?
True
Let v be -1 - -3*2*(-545)/(-10). Let u = v - 326. Which is smaller: u or -2/117?
-2/117
Suppose 159*x = 156*x - 3*t + 1539, -3*t - 991 = -2*x. Is 492 less than or equal to x?
True
Suppose -75*m = -60*m - 113190. Let u = 324457/43 - m. Is u greater than or equal to 0?
False
Let k be -6 + -4 - (-48 + -801). Which is smaller: k or 840?
k
Let n(f) = 17*f**2 + 504*f + 318. Let j be n(-29). Let u = 157397/7 - 22399. Let b = u + -4225/49. Which is bigger: j or b?
b
Let z = 7989 - 12138. Are z and -4147 non-equal?
True
Suppose -2*f + 253 = -3*m, 3*f = 10*m - 142 + 494. Which is smaller: f or -14?
-14
Let q = -2/779 + 33509/4674. Let g = 79/11 - q. Suppose -8*i = 37 - 29. Which is greater: i or g?
g
Let l = -14989.4 - -15019. Which is greater: l or 0.49?
l
Suppose 150 = 3*j + 2*j. Let z = 326508 + -326506. Is j > z?
True
Let n = -201/4 - -50. Let s be (-76750)/1000 + (-2)/8. Is s equal to n?
False
Suppose 12 = 4*w, 0*y - 5*w = -5*y - 10. Let i be 2 - (-56)/(-20) - 9/(-5). Let q be 1/(-4)*i/(-27)*-8. Which is smaller: y or q?
q
Suppose 8*x - 3*f + 3899 = 0, f + 316 - 1291 = 2*x. Suppose 4*g - 5*d = -1957, -3*g + 0*d = -d + 1465. Is g <= x?
True
Let l be 47627/(-388) - -2*(-6)/(-16). Let d = -131 - l. Is -9 equal to d?
True
Let v = 351 + -203. Suppose -5*n = p + p + v, 5*n = -3*p - 152. Let d = 13.95 + -14.95. Is n at least d?
False
Suppose 5*p = 2*p - 16*p - 3515. Is -172 greater than p?
True
Let v be 18/63 - 8*6/21. Let p be (18 + -6)*(-1)/v. Let z be ((-31)/(-2))/1*(8 - p). Is z not equal to 30?
True
Suppose -z = 3*q + 6, -6*z + z = -q - 2. Are -13/85 and z equal?
False
Let x be (10 + 441/(-45))/((-9154)/575). Are x and 0 equal?
False
Let v = 5828 + -5382. Which is bigger: v or 893/2?
893/2
Let u(m) = -6*m + 16. Let c be u(2). Let k be (c/3 - 2) + (-322)/(-420). Are 3 and k equal?
False
Let y = -1434 + 1434.17. Let w = 37 + -82. Let n be (-10)/w - 2/(-72). Are y and n non-equal?
True
Let v(m) = -4*m**3 - 138*m**2 + 69*m - 33. Let g be v(-35). Which is bigger: g or 94/83?
g
Let r be 3 + (-5)/((-225)/8995). Let m = r + -12044/63. Is 11 at most as big as m?
True
Let j(q) = 114*q + 1938. Let c be j(-17). Which is smaller: c or 248?
c
Suppose -2*d - 2*c = -8730, 27*c = -2*d + 24*c + 8731. Which is bigger: d or 4365?
4365
Let z(l) = -3*l**3 - 38*l**2 - 21*l + 52. Let h be z(-12). Which is smaller: 402/25 or h?
h
Suppose 2*v = 2*j - 16, -v + 12 = 3*j + 2*v. Suppose 11*z = j*z - 215. Let p = -466/11 - z. Does p = 0?
False
Let g = -22 + 17. Let h be 178*g/910 - (-2 - -1). Let o = 7 + -6. Is o equal to h?
False
Suppose 4*f + f - 30 = 0. Let b = -0.11 - 0.25. Let s = -0.04 + b. Which is smaller: s or f?
s
Suppose 5*n - 40 = n + 5*w, 5*n - 2*w = 33. Suppose n*p = -2*m + 11, 14 = 2*p + 4*m - 0. Let g = 62009/237 - 785/3. Is g >= p?
False
Let c = -85 - -43. Suppose -51*a = -10323 + 10170. Let t be (a/(-30))/((-3)/c). Is -2 at least as big as t?
False
Suppose -j - 443 = 5*h, 16*h = -5*j + 14*h - 2192. Let i = 1364/3 + j. Is 16 smaller than i?
True
Let c = -231671/71 - -3263. Is c < 0?
False
Let m(o) = -533*o - 23096. Let y be m(-43). Suppose 4*h - 13 + 711 = -2*i, -5*i - 170 = h. Which is smaller: y or h?
y
Suppose 30*k = 30, 22*z + 24 = 25*z - 3*k. Is 331/34 less than or equal to z?
False
Let i be 24/(-60)*(1 + -191). Let f(v) = 2*v**3 - 129*v**2 - 54*v - 645. Let r be f(65). Which is smaller: r or i?
r
Let y(s) = -s**2 + 7*s + 12. Let l be y(9). Let t be 5/(1 - (-8)/l). Let z be -1 + (-7 + 0)*2. Is z at least as big as t?
True
Let m = -0.96 + 1. Let g be (0/3 - 0)/((-7)/(-21)*-3). Is g at most as big as m?
True
Let i be (0 + (-1)/(-1))*1. Let a = -46.56 - -46. Let r = 0.44 - a. Is r at most as big as i?
True
Let k be (-4)/(-16)*2*2. Let q be (30/(-2))/(-3) + -1 - k. Suppose -2*n - 31 = q*n - z, -3*n = z + 17. Is -10 less than n?
True
Let t = 23.93 + -23. Let h = 1.799 - 1.799. Which is bigger: t or h?
t
Let w be (18/(-72))/(277/(-108)). Which is bigger: w or -1?
w
Let l = 329194/68774769 - 10771641699971/1986215328720. Let u = l - 11/17328. Let x = -62/15 - u. Is x not equal to 2?
True
Let k = -13457 + 53817/4. Let n be (-2)/((1 + 0)/(-3)). Let m be (3/(-6))/(1/n). Which is smaller: m or k?
m
Let v = -21 - -15. Let b(o) = -o**3 - 6*o**2 - 8*o - 6. Let f be b(v). Let r = f + 54. Is 95 at least as big as r?
False
Let z = -2.032 + -0.118. Let h = z + 118.15. Let r = -116 + h. Which is smaller: r or -28?
-28
Let k(p) = 19*p + 212. Let c be k(-11). Suppose 4*v - 7*n = -9*n + 116, -c*v + 4*n + 87 = 0. Which is greater: 30 or v?
30
Let k = 78 - -60. Let u = -3750 + 3889. Are k and u unequal?
True
Let c be 4/(-22) - (-3038)/(-1078). Let j be 4 + -1 - c/(48/(-44)). Which is bigger: j or 555/4?
555/4
Let v(t) be the first derivative of 671*t**2/2 + t - 17. Let m be v(1). Let i = m + -7402/11. Is i at least -1?
True
Suppose -2*r + 164 = 5*a, 0 = 12*r - 14*r + 4. Suppose 4154 = g - a*g. Is g greater than -134?
False
Let l = -7622.59 + 7623. Do l and 218 have different values?
True
Let x = -15.67 + 15.67. Let f = -15881/18 - -882. Which is smaller: x or f?
f
Let m be 40/(-75)*66/(-22). Which is bigger: -4 or m?
m
Let n(s) = -46*s**3 - s**2 - s + 1. Let u be n(1). Let x = -60 - u. Let f = 2234/7 + -11597/35. Which is smaller: x or f?
x
Let n be 2/(-10) + 188331/(-2145). Is n <= -72?
True
Let d(h) = 4*h**2 - 33*h - 142. Let w be d(13). Is 107 greater than w?
True
Let h be 3/15 + 2468/10. Let t = 244 - h. Do -2/27 and t have the same value?
False
Suppose -2*m - 27 = m. Let k be 4/(-3) + 2 + 2/m. Suppose 5*o - 92 + 96 = -4*u, -2*o = -u - 1. Are k and u nonequal?
True
Suppose 5*m - 2*o - 544 = -1664, -5*o = 5*m + 1155. Let s = 1128/5 + m. Is s smaller than 1.9?
True
Let l = -104 + 105. Is l != 499?
True
Let o = -1632 + 1709. Which is bigger: -1/4 or o?
o
Let k = -21361 + 22071. Do 711 and k have the same value?
False
Let z(i) = -i**2 + i + 4. Let t be z(3). Let p = 17572/3 + -5885. Is p smaller than t?
True
Let l = 26 + -32. Let d be 1*l/(6/1). Is 5/41 greater than or equal to d?
True
Suppose -d + z - 4 = 17, -5*z = 4*d + 102. Let o(p) = -12*p - 8. Let q be o(-1). Is q greater than d?
True
Let i = 2.16 - 0.16. Let h = -652 - -651.94. Which is smaller: h or i?
h
Let a = -23121 - -577882/25. Is -6 at most as big as a?
True
Let y = -7.76 + 482.76. Let n = 521.1 - y. Let v = n - 46. Is v bigger than -1/7?
True
Suppose -5*m - 143 = -z + 186, z = -5*m - 331. Let o be (m - -28)/(4/6). Which is smaller: -113/2 or o?
o
Suppose -18*u + 22*u - 4 = 0. Let m be (5 - 9) + (1 - ((-2910)/(-63))/(-10)). Do u and m have different values?
True
Let u = 8247 - 22192. Is u equal to -13946?
False
Suppose 3*q + 1015 = 78*q - 1085. Which is greater: q or 98?
98
Let w(z) = 2*z**2 - 3*z - 63. Let m be w(-5). Let g be (-1)/(m/(-39))*1980/(-135). Do -287 and g have the same value?
False
Let f = -13229.955 - -13202. Let m = 186 - 185.955. Let j = m - f. Which is bigger: -2 or j?
j
Let m(w) = w**3 + 40*w**2 + 9*w - 163. Let x be m(-43). Which is smaller: -6096 or x?
x
Suppose -2*m - 74 = -4*r + r, -37 = m - 2*r. Let a = -42 - m. Let c be (a - -6)/(3/(-3)). Which is smaller: c or -8/9?
c
Let c(y) = 15*y**2 - 11*y + 21. Let x be c(-7). Let g be (1/x)/(2/(-6)). Is g greater than 1?
False
Let i be (-8620)/2150 - (-7 + 3). Let o(n) = 3*n**2 + 10*n + 8. Let l be o(-1). Which is smaller: i or l?
i
Let u be 88 + (7/(-7))/((-5)/(-20)). Suppose -97*m - 11492 = -u*m. Which is smaller: -883 or m?
m
Let k = 0.17 - -175.83. Let d = 175 - k. Which is smaller: -0.224 or d?
d
Let v(n) = -338*n - 720. Let z be v(-6). Is z at most as big as 1310?
True
Suppose 0 = 3*i - 5*z + 12, -5*z = -2*i - 34 + 16. Suppose 2 + 2 = 2*c. Suppose 1 = 3*s - 2*k - 13, 2*s - 8 = c*k. Is s equal to i?
True
Suppose f = 6*f - 5. Let r(m) = -16*m**3 + 6*m**2 + 5*m + 3. Let x be r(-3). Let z be (-44)/11 + x/120. Which is bigger: z or f?
f
Suppose 0 =