 = 265*x. Let d = -162 + x. Which is bigger: 1 or d?
1
Let o(b) = b**2 + 9*b - 735. Let w be o(23). Is -7/1033 > w?
False
Let g be 772/(-3)*(8 + 980/(-112)). Is 205 < g?
False
Let l = 92.81 - 6.81. Let v = -78 + l. Which is bigger: 54 or v?
54
Let u be (2 - -2 - 162/39) + 200880/1306565. Is 0 greater than u?
True
Let x(c) = c**2 + c - 4. Let k be x(-6). Let g = 4477/174 - 11/174. Let u = g - k. Which is bigger: 0 or u?
0
Let s = -21.352 + -0.148. Let r = -21.9 - s. Let f = -0.05 + 3.05. Is f < r?
False
Let v(g) = -52*g - 11. Let h be v(6). Let y = -229 - h. Let u = 87 - y. Is u not equal to -10?
True
Suppose 120*l + 5*r = 117*l - 6569, -2*l = 2*r + 4374. Which is smaller: -2184 or l?
-2184
Let i = 664928333/225430 + -1/45086. Let l = 2965 - i. Is 15 < l?
True
Suppose -5*w - 3*l = -7435, -5*w + 3071 + 4364 = 2*l. Is 1488 smaller than w?
False
Suppose 5*g - 11 = -76. Let w = 26103/2 + -73661/6. Let n = w + -789. Which is smaller: g or n?
n
Let c be (-19)/174 + 2/48*4. Let t be (-30)/(-90)*3*1. Which is smaller: c or t?
c
Let s = -6995/279 + 17/93. Let m = 4919/198 + s. Which is greater: -0.02 or m?
-0.02
Let b(g) = -g**3 - 2*g**2. Let k be b(-2). Let x be 19*((-5)/((-35)/14))/2. Suppose k = q - 5*h + x, -h + 22 = -q + h. Is 0 greater than q?
True
Let z = 256556 - 1585772630/6181. Which is bigger: 0 or z?
z
Suppose -258 = 105*v - 107*v + 2*o, 30 = -5*o. Which is bigger: 127 or v?
127
Suppose 20*b + 8991 = -7*b. Let i = 332 + b. Which is bigger: 3/16 or i?
3/16
Let g be -2 + 1/1 + -150. Let j(r) = r**3 + 48*r**2 - 548*r - 2147. Let m be j(-57). Which is greater: m or g?
g
Let c be (-12)/48 + 180/336. Which is smaller: 368 or c?
c
Let l = 7984 - 7983. Let f = -8.2 - -1.2. Is l at most f?
False
Let y = 4985 + -4986. Which is smaller: -3427 or y?
-3427
Let j be (-5 - 495/11)*1552/(-20). Is 3880 greater than j?
False
Let g = -34 - -25. Let r be (-12)/g*(2 - -1). Suppose 5*k - q + 199 = 0, -3*q - 2*q + 176 = -r*k. Which is bigger: -40 or k?
k
Let c be (3 + -58 - 1/1) + 1. Let i = c + 59. Suppose i*g - g - 120 = 0. Does 39 = g?
False
Suppose -824*u + 829*u = 4*j + 732, -j = 3*u - 446. Which is smaller: 1030/7 or u?
1030/7
Suppose -b - 1 = -2*p + 4, 0 = -4*b + 4*p - 4. Let k be b/5 + (-14)/15. Let a be 46/174 + -8 + (-5850)/(-725). Which is greater: a or k?
a
Suppose -4*p = -4*f - 27 + 135, 5*f - 135 = -p. Suppose 2*m = -2*t - t - 51, -t - 3*m = 10. Let j = f + t. Which is smaller: j or 5?
5
Suppose 0 = 3*g + 3, -6 = 3*m + 4*g - g. Suppose -3*v = -4*f + 22 + 2, 4*f = -5*v - 72. Let d be (-2)/v*2/10. Which is smaller: d or m?
m
Suppose -12*h - 22*h = 34. Let c be (-2)/(-4)*16/(-1172). Does h = c?
False
Let o = -61 + 129. Suppose -w - 4*z + 68 = -3*z, 4*z = 3*w - 204. Is o smaller than w?
False
Let m be 5438/18*(2 + 398/(-4)). Let g = 29335 + m. Let y = -124 - g. Are y and -4 equal?
False
Suppose 0*j + 14 = 2*j. Suppose x - 2*x = -3*k + j, -2*k - 30 = 2*x. Let z = -147021 + 147017. Which is smaller: z or x?
x
Let t = -1/142 - -233/2840. Let l be -1225 - 0/(-1)*2/4. Let i = l + 1225. Are t and i nonequal?
True
Suppose -5*z - 4*v + 2*v - 141 = 0, -3*z + 5*v - 97 = 0. Let d(w) = 2*w**3 + 3*w**2. Let i be d(-5). Let f be 105/i + (-147)/5. Is f greater than or equal to z?
False
Let x = -250 + 82. Let r = x + 194. Let p = 17 + 7. Which is greater: r or p?
r
Let b be 14/(-8) + 15/20. Let u = -52029/110 - -473. Which is smaller: u or b?
b
Let f = 136223/18 - 7567. Which is smaller: f or 1?
f
Suppose -27*i = -24*i - 15. Let z(w) = -w**2 + 20*w - 57. Let s be z(i). Is 22 > s?
True
Suppose 5*o - 4 = 6. Let b be (-2 - -4)*-178*o/(-8). Let l = -101 + b. Is l at least 0.1?
False
Let d = 20.8718 + 0.0282. Let x = -0.1 - d. Let v = x - -20. Do 1 and v have the same value?
False
Let v be 1*(-2)/1 - -3. Let p be -29*v - 4/(-4). Let m be p/10 + (-3)/15 - -15. Which is greater: -1 or m?
m
Let q be (6 - (-2 - -1)) + -1*(-50 + -1). Is q at most 107?
True
Let w = -2783 - -2731. Suppose 5 + 11 = 2*t. Let k be ((-39)/w)/((-117)/t). Which is smaller: 0.3 or k?
k
Let y = -33 + 30. Let t = y - -8. Suppose 3*c - 4*c + 2*z = -t, 4*z - 3 = c. Which is smaller: 12 or c?
12
Let s(h) = -h**3 - 8*h**2 + 29*h + 20. Suppose -2*u - u + 4*a = 46, -5*u - 58 = -2*a. Let x be s(u). Is x less than -70?
False
Suppose 22*v - 52 = 36. Suppose 4*z = s - 40, 3*z - z - v*s = -20. Which is bigger: -8 or z?
-8
Let v = 1895 - 1954. Let t = 60 - 119. Are v and t non-equal?
False
Let j = 6 - 2. Let p(r) = -r**2 + 5*r - 4. Let g be p(j). Let h = 2295304/117 - 19618. Which is smaller: g or h?
h
Suppose -5*r = -2*h - 13, 14*h = h - 52. Which is greater: -4/1101 or r?
r
Suppose 5*u - 2550 = -170. Is u less than or equal to 484?
True
Let d(a) = a**3 + 6*a**2 - 4*a - 14. Let s be d(-8). Let m be ((-20)/s)/(0 + (-2)/19). Which is bigger: m or -1?
-1
Suppose 33*n - 856 - 134 = 0. Let w = n + -31. Which is bigger: w or -1/6?
-1/6
Let b(n) = -n**3 - 45*n**2 - 75*n - 1363. Let y be b(-44). Which is greater: y or -16/251?
y
Let m be (-3 + 639)/(-2) + 5 + -1. Let i = m + 947/3. Is 2 <= i?
False
Let o(h) = -20*h + 72. Let b(x) = 80*x - 283. Let y(p) = -2*b(p) - 9*o(p). Let f be y(4). Let i = 246 - 1481/6. Are f and i equal?
False
Suppose -2*k = -2*d - 5*k + 1, d + 3*k + 1 = 0. Suppose -g = -i + 3*g - 30, 0 = -d*g. Which is greater: -29 or i?
-29
Let t be (-5)/(-98)*144/18960. Is t bigger than 0?
True
Let p be 22645/(-3)*(-285)/475. Is p less than 0?
False
Let b = -388 + 771. Let l = 438 - b. Let n = 99 + -43. Which is smaller: n or l?
l
Let j(o) = -o**3 - 8*o**2 - 18*o - 15. Let d be j(-5). Let l be (-1)/1 + 1 + (-3)/561. Which is smaller: l or d?
l
Let v be ((-4)/24)/((-48)/(-9)). Let u(f) be the first derivative of f**2 + 23*f - 9. Let h be u(-11). Is h less than or equal to v?
False
Suppose 3*r + 39 = 3*f, f + 3*f - 5*r - 57 = 0. Let n be 20 - -20*(-3 + 1)/4. Which is bigger: n or f?
n
Let v be 1 + (2 - -1) + -1. Suppose 6*i - i + 322 = v*y, 0 = -5*i - 4*y - 329. Let j be 52/i*(-10)/(-4). Is -2 < j?
False
Let u = 23 - 45. Let g be (-678)/u - (-12)/66. Suppose 151 = 5*m - x, -4*m + 11 + 111 = -2*x. Which is smaller: m or g?
m
Suppose -33*z + 26*z = 7. Let j be ((z - -2)*-1)/((-47)/(-1363)). Which is smaller: -15 or j?
j
Let n = -61/2 + 31. Let v = -16.0499 + 19.0499. Is n greater than or equal to v?
False
Let u(g) = -g - 1. Let w be u(-4). Let v be (-105808)/(-289) - ((-18)/51)/(-3). Suppose -9*r - v = -w*r. Is -60 at most r?
False
Let w = 4389.04 + -4597. Let n = w + 208. Are n and -13 nonequal?
True
Suppose -p + 3*w = -4*p, -4*p = -5*w - 18. Let u be -50 + (p - -4) + 8/2. Is -40 > u?
False
Let c(y) = -3*y**2 - 37*y - 34. Let n be c(-11). Let w = 6.87 - -0.13. Is n bigger than w?
True
Let j be (-259463)/(-1656) + 32/72. Which is greater: 157 or j?
j
Suppose -16*f + 34710 - 2054 = 0. Are f and 2039 equal?
False
Let u = -50 - -99. Suppose -u = 15*q + 56. Is -4 at most as big as q?
False
Suppose -242 = -5*d - 5*k + 19953, 0 = d + 3*k - 4047. Which is bigger: d or 4034?
d
Let f be 15/220*2205/27. Is 5 smaller than f?
True
Let x be (-1)/(-10)*2 + (-14)/(-5). Suppose -x*y = -4*t - 2*y - 72, 0 = 5*t - 2*y + 87. Which is greater: -160/9 or t?
-160/9
Let l = -21046 - -21045. Suppose -5*p + 14 = 2*h, h = 3*h + 3*p - 6. Is h at least as big as l?
False
Let t = -2/12993 - -1104461/363804. Let a = t + 3/28. Let m(f) = f**2 - 3*f + 4. Let o be m(3). Is o at least a?
True
Let o = -5/103 - -241/721. Let x = 0.4 + -0.5. Which is bigger: o or x?
o
Let x = -1256 - -1253. Is 1/179 not equal to x?
True
Suppose 2*n = -n + 3. Let l = -275 + 185. Let c be 54/l + n*4/(-10). Is 3/32 at least as big as c?
True
Let t = -82 + 91. Suppose t*o + 2 = -16. Let p be 2 + -1 - (-1)/(o/18). Which is smaller: p or -6?
p
Suppose 0 = -154*g + 173*g - 19. Is -4/315 at least as big as g?
False
Let i = 152 + -146. Let h be 22/(4 + (-157)/i) - -1. Which is smaller: -1 or h?
-1
Let y = 4089 + -4178. Let q = 16 + -16.1. Are q and y nonequal?
True
Let j be (-1 - (1 - -3)) + 24/6. Let k be j/(-3) + 406/(-1281). Is -1 at most k?
True
Suppose 44 = 2*f - 0*h + 3*h, -h + 23 = f. Let r be 8/(40/f) + -4. Are r and 9/13 equal?
False
Suppose -6*u = 30 - 12. Let c(q) = -q**2 - 15*q - 25. Let l be c(-12). Suppose 4*h = -l - 9. Which is bigger: h or u?
u
Let n(m) = -3*m + 