at most -33?
True
Let h = -1264069/2596 - 1497/236. Is -494 greater than h?
False
Let h = -5 + 6. Let g be (0*h/(-2))/(-5 - -7). Suppose v - 2*a + g*a = -34, a + 68 = -2*v. Is -33 at least v?
True
Let c be ((-483)/324)/7 + (-50)/(-200). Let x = -2 + 2. Suppose -r - r = x. Is c <= r?
False
Suppose 0*t + 2224 = 3*t - 2*j, -764 = -t - 5*j. Suppose -t = 13*q - q. Let k = q + 37. Which is smaller: k or -23?
k
Let x = -35 + 40. Suppose 7 = -x*n + 2. Let g be (3/14)/(30/(-8)). Is g < n?
False
Let m(l) = -l**2 + 10*l + 16. Let y be m(5). Is y at most as big as 41?
True
Let l = 16843/2 + -8408. Suppose i - 3 = -0. Suppose -i*x = -x - 28. Is x greater than l?
True
Let q be 28756/(-5750) - (-75)/25*(-20)/(-12). Which is greater: -1 or q?
q
Suppose -5607 = -7*w - 0. Suppose 137*n = 128*n - w. Which is smaller: -90 or n?
-90
Let z = 0.234 + -0.157. Let k = 2028.923 - 2028. Let t = k + z. Which is greater: 10 or t?
10
Let t be 8 + 1/(-3)*0. Let a(d) = -53*d + 898. Let m(n) = -35*n + 598. Let v(i) = -5*a(i) + 8*m(i). Let w be v(20). Which is smaller: w or t?
w
Suppose -129*w - 52*w - 1274783 = 0. Which is greater: -7044 or w?
w
Let w = -18854 + 19283. Is w greater than -0.12?
True
Let r = 1/669850 - -555707557/2009550. Is 277 greater than or equal to r?
True
Let h = -18099278982077/11349 - -1594790642. Let m be (1 - 2) + 5232/5238. Let t = h + m. Are 0 and t nonequal?
True
Let v be 7*(-1 + -59 - 1). Let j be 2/(21 + (-17980)/856). Which is bigger: j or v?
v
Suppose -22*h + 5192 = -1848. Which is greater: h or 321?
321
Suppose 5*t + 0*t - 30 = 0. Suppose -t*k - 5*k = 77. Let l be (k - -4 - (-45)/47) + 2. Is l <= -2/3?
False
Let d = 1055 - 1055. Let k = -1 + 0. Let p = 4 - k. Are d and p unequal?
True
Let c = 1121.47 - 1121. Which is bigger: c or -0.84?
c
Let r = -18408/5 + 3682. Which is smaller: -143 or r?
-143
Let j = 131 - 219. Let z be (-6)/4*j/6. Is 19 greater than or equal to z?
False
Let q = -148.53 + 0.53. Let t = -284 - q. Which is smaller: t or 1?
t
Let w(t) = -40*t + 115. Let v be w(-21). Are v and 955 equal?
True
Let z = -36.052 - -36. Let w = -7.452 + 7.6. Let c = z - w. Which is bigger: -5 or c?
c
Let b = -28.31 - -28. Let o = 1135 + -1135.41. Let i = o - b. Which is bigger: -20 or i?
i
Let q(j) = 2. Let v be (-4)/((-2)/(5/5)). Let w(h) = 4*h - 38. Let l(y) = v*q(y) - w(y). Let a be l(27). Is -1 less than or equal to a?
False
Let b(r) be the first derivative of r**4/4 + 5*r**3 + 5*r**2/2 - 14*r + 1. Let l be b(-14). Suppose 8*v - 8 = -l. Do v and -13 have the same value?
True
Let i = -36 - -39. Suppose -k + 7 - i = 0. Suppose k = -4*r, 6 = 2*f - 3*f - 5*r. Which is smaller: f or 6?
f
Let k = 722567/238 - 3036. Suppose 0 = -33*t + 30448 - 30415. Is k smaller than t?
True
Let p = 17474 + -17476.3. Let q = -201/7 - -198/7. Is q < p?
False
Let b be ((-9)/135)/((-14)/(-6)). Let i = -227/595 - b. Which is smaller: -0.1 or i?
i
Let v be (-4)/10 - (-928)/(-5). Let p be 14/(-91) + v/(-26). Suppose -2*c + 11 = 5*k, 4 = 3*k + c - 2. Is p bigger than k?
True
Let j(x) = 36 + 8*x**2 - 6 + 14*x + 0*x**2 - 7*x**2. Let n be j(-8). Which is smaller: -19 or n?
-19
Let q(j) = 7*j**3 - 3*j**2 + 2*j - 1. Let v be q(1). Suppose 223 = v*z + 18. Suppose -4*x + 5*l = -148, -3*l + 0*l = x - 54. Do x and z have different values?
True
Let l = -9 - 5. Let a be (-4009)/12 - 4/(48/(-9)). Let o = a - -320. Is l != o?
True
Let k be 0 + 2/247 + 0. Let a be 2 + 28620/(-3952) + 3. Let i = a - k. Is i less than -3?
False
Let r be (36/(-20))/((-18)/60). Suppose -5*u = -z - 941, 0 = -r*u + u - 2*z + 953. Is u >= 191?
False
Let r be -32 + -3236 - 8/(-2). Let w be -2 + (r/(-284))/6. Is 0 < w?
False
Let f be ((-5070)/715)/((-7)/308). Let a = 353 - 41. Is a less than f?
False
Let w(l) = -l**3 + l**2 + 5*l + 1. Let f be w(-2). Let j(a) = a**2 + 6*a - 2. Let c be j(-7). Suppose 5 + 10 = c*s. Is f bigger than s?
False
Let s = 2664209/55 - 48443. Which is greater: -2 or s?
-2
Suppose -3264 = 1287*d - 1319*d. Which is bigger: 91 or d?
d
Let i = -117006/19 - -6159. Which is smaller: i or 9?
i
Let l = -3489 + 3486. Which is smaller: l or -102/29?
-102/29
Let p be (44/(-2849))/((40/(-4))/(-1)). Let c(m) = m**3 - m**2 - 2*m + 1. Let s be c(0). Is p at most as big as s?
True
Suppose 18*f - 19*f + 53 = -4*m, -f - 3*m = -60. Which is smaller: 83 or f?
f
Let s(l) = -l**3 + 4*l**2 + 11*l + 6. Let j be s(6). Suppose j = y - 2*a - 3*a + 19, 4*a - 12 = 4*y. Let i be (-14)/98*35/(-6). Is i < y?
True
Let r = 48.56 + -50.28. Which is smaller: r or 3?
r
Let x = 24 - -139. Suppose q = x - 166. Is -27 less than or equal to q?
True
Let b(z) = z**2 - 5*z - 4. Let m be b(6). Suppose -12*v = 6*v - 1044. Suppose 5*r = 3*h - 153, 0 = 2*r + m*h - 4*h + v. Is r >= -34?
True
Let m = -5877 - -5921. Is m greater than or equal to 61?
False
Let b(j) = 10*j + 5. Let d be b(-4). Let g = d - -38. Let u be g/(159/(-12) + -4). Is -1 bigger than u?
False
Suppose -3075 = 19*t + 22*t. Suppose 195 = -4*s - 93. Is s >= t?
True
Suppose 0 = 24*h + 4*h - 9016. Suppose 0 = 8*a + h + 214. Are a and -68 non-equal?
True
Let v be 15/18 + (-68061)/(-126). Which is smaller: 542 or v?
v
Let n be ((-12)/10)/(30/(-6100)). Let g be ((-20)/(-6))/(-5) - n/12. Let p be 6/(-4) - g/6. Which is smaller: p or 2/41?
2/41
Let d be 65205/207*7/3. Is d greater than 739?
False
Let v be ((-46053)/(-36))/(4/(-4)) + (-2)/(-8). Does v = 3/2?
False
Let t(g) = -g**3 - 18*g**2 - 29*g + 34. Let l be t(-13). Which is bigger: -0.1 or l?
-0.1
Let z = 1042.6 + -205.6. Let w = z - 833. Which is greater: w or 51?
51
Let q(h) = -h**2 - 46*h - 500. Suppose 170 = -13*c - 233. Let k be q(c). Let m(v) = 10*v + 4. Let j be m(-4). Which is smaller: j or k?
j
Suppose 52874 = 98*f - 116176. Is f at least as big as 1724?
True
Suppose -3*i + 879 = 3*j, 7*i = 4*j - 815 - 313. Is j != -3?
True
Let t = 125935552/23849 - 373/3407. Let d = -5271 + t. Is 3/7 > d?
False
Let z be (2337/(-42))/(-1) - ((-26)/4 - -6). Is z smaller than -0.1?
False
Let q = 207 - 34. Suppose -q + 1265 = -2*s. Let k = 2199/4 + s. Is 5 bigger than k?
True
Let m be 1/(-1 - -2) + (-42)/(-7). Suppose 0 = -m*h + 15*h. Which is bigger: h or -2/783?
h
Let f(l) = -3*l**3 + 7*l**2 + l + 3. Let v(r) = -3*r**3 + 6*r**2 + 2. Let z(s) = -2*f(s) + 3*v(s). Let i be z(1). Which is greater: -1/55 or i?
-1/55
Let p = 48 - 17. Suppose 2*g + 20 = 7*g. Suppose g*q = 5*q - 31. Are p and q equal?
True
Let i = 12365.4 - 12366. Which is bigger: i or 518?
518
Suppose 0 = -n - 2, -11*d + 7*d + 2*n = 28. Let c be d/(-6)*-1 - 32/(-6). Is 0.44 != c?
True
Let l be 32*3 + (-36)/(-12). Let m be (-160)/639 - (-22)/l. Which is smaller: -1 or m?
-1
Suppose 4*n - 1360 = -4*t, 3*t - 1012 = 4*n + n. Let a = t + -495. Let c be (9/a)/((-1)/4). Is c bigger than -1?
True
Suppose 59893 - 17053 = 17*h. Suppose 39*w + 6*w + h = 0. Which is greater: -54 or w?
-54
Suppose 4*x - v - 9 = 7, -20 = -5*x + 2*v. Let w be ((x/3 - -2) + -3)*-3. Let l = 6/25 + -41/275. Is l greater than w?
True
Suppose d - 422 = a + 1905, 3*a + 6978 = 4*d. Does a = -2331?
False
Let o(j) = 255*j**2 - 4*j + 2. Let p be o(1). Suppose 0 = 3*s + 3*y + 213, p = -13*s + 10*s + 5*y. Is s at most as big as -74?
True
Let w be -5 - ((-5)/2)/((-11)/(-88)). Let r be (-10)/w + 8288/(-42). Is -199 smaller than r?
True
Let g(p) = -p**3 + 52*p**2 + 225*p + 11. Let t be g(-4). Is 210/37 at least as big as t?
False
Let x be (2 + 15)*(3 + 1 + -1). Let w = x - 48. Suppose 4*p + 5*f = 121, 3*p - w*f = 7*p - 111. Is p bigger than 113/5?
True
Let t = 1/1044 + 347/1044. Which is bigger: t or -0.067?
t
Suppose 10695 = -7*k + 10702. Let t = -60 + -3. Let r be t/65 + (-2)/(-2). Is k >= r?
True
Let t(h) = -987*h + 3862. Let i be t(17). Which is smaller: i or -12916?
i
Let c(d) = d**3 - 10*d**2 - 47*d + 34. Let l be c(11). Which is smaller: -356 or l?
l
Let o(l) = 2*l**2 - 33*l - 294. Let r be o(0). Which is smaller: -296 or r?
-296
Suppose -62*j + 58 = -66. Is j less than 0.433?
False
Let z be -12 - (7 + -39) - 9. Does z = 27?
False
Let c be (-4)/2 + 18/21516*2468. Let q = 15877/16137 - 97/99. Let t = c - q. Which is smaller: t or 0.2?
t
Suppose -3*l = 2*l - 4*v, -4*l + v = 11. Let u(b) = -3*b**2 - 6*b - 4. Let i be u(l). Let a be 25/(1 + i/4). Is a less than or equal to -3?
True
Let u = 519 + -7792/15. Let f 