 = -3*g - 3*s. Is 64 < g?
True
Let j(m) = 3*m**2 + 4*m + 5. Let i be ((5 + -2)*(-24)/(-18))/(-2). Let o be j(i). Are o and 12 unequal?
True
Let n = -125877 - -6545919/52. Which is greater: n or 5?
n
Let y = -75994/5133 + 1100/59. Which is smaller: 3 or y?
3
Let m = 5355 - 4170. Is 1 less than or equal to m?
True
Let l be 2 - (528/(-134))/(-2). Let h be -2*4/((-4)/(-5)) + -503 + 512. Which is greater: h or l?
l
Let n(k) = k**3 - 2*k**2 - 7*k - 1. Let a be n(5). Let m = -10492 + 10531. Is a at most as big as m?
True
Let c = -35.35 + 35. Let o = c + -8.65. Let k = 1764 - 1761. Is o > k?
False
Suppose -6*b + 48 + 114 = 0. Let l be -32 + b + 2/((-42)/(-1209)). Does l = 52?
False
Let o(l) = 2*l**2 + 14*l + 22. Let p be o(-5). Suppose 7*d - p*d - 10 = 0. Which is smaller: d or 14/11?
14/11
Let f = 4.129 + -4.229. Are f and -2/5167 equal?
False
Let l be ((-42080)/(-150))/((-1)/(-3)). Let q = l + -836. Is -2/9 > q?
False
Let u = -29483 + 25613. Which is smaller: u or -3871?
-3871
Suppose 158 = 2*b + 3*s, 4*b - 314 = 2*s - 30. Is 68 not equal to b?
True
Suppose -3166*i + 3194*i + 28 = 0. Is i bigger than 8/1759?
False
Let u = 6 + 2. Let c = -148.8 - -30.8. Let k = c + 118.2. Which is greater: u or k?
u
Let l = -3327/43 + 75308/387. Which is smaller: 117 or l?
117
Suppose 33*c = 2022 - 1989. Is c smaller than 5/163?
False
Suppose -4*a = -4*g - 16, 3*g = 4*a - 7 - 9. Is -37/28 not equal to g?
True
Let r be -3*(-4)/138 + 26598/414. Is r smaller than 63?
False
Let p = 33496 + -36843. Is -3348 > p?
False
Let h = -34244 - -23168. Is -11077 >= h?
False
Suppose 2*x + 8 = -2*x. Let r(p) = 2*p**2 - 4. Let i be r(x). Suppose 4*b - 39 + 11 = -i*t, t - b = -3. Is 6/5 greater than or equal to t?
False
Let n be (-27)/(-18)*80/2. Let y = 33 - n. Let l be 1/y*12/50. Do l and 0 have the same value?
False
Suppose 0 = 5*y - 25, 2*u + 45 = 7*u + y. Let j(d) = -11*d + 10*d**2 + u*d + 2*d + 3*d**3 - 2*d**3 - 10. Let r be j(-10). Is r at least as big as -7/5?
True
Let j = -38.049 - -0.049. Let g = 70 + j. Which is smaller: -0.1 or g?
-0.1
Let u be 19 - (3 + (-24)/6). Suppose 0*l + 30 = 2*l. Which is greater: u or l?
u
Suppose -140 = -14*o - 0*o. Let l be 1 + (o + -9)*1*2. Is l greater than -1/6?
True
Let a = -7942.8 + 7944. Let s(z) = z**3 - 4*z**2 + z - 4. Let q be s(4). Which is greater: a or q?
a
Suppose 0 = -5*a - 3*t + 1254 + 708, 0 = -a - 2*t + 398. Let p = 392 - a. Which is smaller: p or 7/8?
7/8
Let v = 56 + -46. Suppose 2*a + v + 4 = 0. Let l = -1851/35 - -324/7. Is a != l?
True
Let y(m) = -m + 19. Let t be y(15). Suppose 9 = -3*g, -w + 2*g + 78 - t = 0. Let h = 67 - w. Does 1 = h?
False
Let q = 379 + -349. Suppose q*d = 52*d + 66. Let r = 0.1 - -0.9. Is r less than or equal to d?
False
Let l(p) = p**2 - 19*p - 39. Let j = -32 + 53. Suppose 14*i - 13*i - j = 0. Let z be l(i). Is -2 less than z?
True
Suppose 0 = -3*k + 5*o - 29870, k - 3*o - 9966 = 2*k. Let z be -2*((-5004)/k - 2/4). Do -1 and z have the same value?
False
Suppose -2*o = 266 - 280. Which is greater: 166/27 or o?
o
Let g be 2/(-16) - (3325/56)/5. Which is greater: -22 or g?
g
Let i(l) = l**2 - 13*l - 8. Let d be i(8). Let h = -33.9 - -33.558. Let j = -0.242 - h. Is j <= d?
False
Let c be 270/48 - -5 - 2. Let p = c - 27/4. Which is smaller: 3 or p?
p
Let i = 269 - 93. Let m be ((-1)/(-4))/(i/896). Does m = -1?
False
Let i = -403 + 198. Let r = i - -204.9. Is -77 != r?
True
Let y be 352784/(-9724) - 3/66*4. Is -36 greater than y?
True
Let i be (14 + -14)/(1 + 1). Suppose -4*z + 86 = 2*o, i = 2*z - 6*z - 16. Let p be (-238)/6 + (-17)/o. Which is smaller: -39 or p?
p
Suppose p + p = 2*u + 12, -4*p + 24 = 4*u. Let s be -9*(-2 + 10/p). Suppose 0 = 2*l + a + 12, -s*l - 1 - 12 = -a. Is l > -7/2?
False
Let v be -22*((-4)/14)/(-1). Let q = -4877 - -4872. Are q and v equal?
False
Let a be (-2)/6 - 2/(-6). Let d = 137794738 + -15846193618/115. Let l = d - 1750. Are l and a non-equal?
True
Let i(s) = -30*s**2 + 365*s - 3398. Let l be i(9). Which is smaller: l or -2540?
l
Let x be (-2)/50*-20 - 29/5. Is x greater than or equal to 8?
False
Let x(o) = 9*o**2 - 199*o + 193. Let c be x(21). Are -33.5 and c unequal?
True
Suppose -o = -4*o + 3528. Let v = 12922/11 - o. Let i be 2*1/8 - (-49)/(-196). Are i and v nonequal?
True
Let k(h) = -6*h - 1263. Let x be k(-35). Does -1052 = x?
False
Let j = -26217 + 1337077/51. Is 2/5 > j?
True
Let t(o) = 2*o - 9. Let k be t(3). Let f(q) = -14*q - 26. Let r be f(k). Which is bigger: -1 or r?
r
Let h = -14891/68 + 867/4. Let d = 26823343/51 + -525924. Let y = d + h. Which is smaller: 23 or y?
y
Suppose -3*g + 3*f = -1005, -5*f - 348 + 2043 = 5*g. Which is greater: 4 or g?
g
Let q(l) = -l**2 - 11*l + 24. Suppose -3*c + 59 = -5*m, -2*c + 44 = -4*m + 2*c. Let p be q(m). Let t be p/8 + 175/(-100). Which is greater: t or -1?
-1
Let g be (2 - (-303)/(-111)) + -135 + 131. Is -6 <= g?
True
Let x = 227636 + -356665. Let t = x - -776059/6. Let i = -316 + t. Which is greater: i or -3?
i
Let d be ((-28)/385)/((174/(-30) - -6)*-6). Let w be (-1 - 0/1)*-1. Which is smaller: d or w?
d
Let c = -1983952/11 + 180512. Are c and 154 equal?
False
Let d(u) = -24*u - 4 + 28 + 11*u + 18*u. Let t be d(-7). Let v = -54 + 55. Which is bigger: v or t?
v
Let d be (-42 - -41)/(4/10 - (-7)/(-5)). Which is bigger: d or 24/421?
d
Let b(s) = 4*s**3 + 31*s**2 + 44*s + 16. Let x be b(-7). Which is smaller: -1009/7 or x?
x
Let v = 2102 - 44152/21. Let r be 235/(-141) + 2/3. Is r > v?
False
Let z = -166/29 - -635/116. Let q be 2/6 + (-23)/(-12). Which is smaller: q or z?
z
Suppose 17*f + f + 20332 + 3770 = 0. Is -1337 bigger than f?
True
Let b be ((-405)/6)/(-15)*(-1524)/(-18). Which is greater: -2 or b?
b
Let i = -0.0255 + -101.9745. Let p = i - -100.3. Is p less than or equal to -0.5?
True
Let f = 532.4 + -534.4. Which is greater: f or 8301?
8301
Let p be 227/(-448) - 0 - 12/(-28). Which is greater: p or 1?
1
Let b = -2563 + 2523. Which is smaller: b or 4.6?
b
Let b = 3288 - 2977. Which is smaller: 309 or b?
309
Suppose -3*m + 3*a = -18, -26 = -4*m + 5*a - 2. Let b be (32/48)/(4/m). Is b equal to 4/19?
False
Suppose 229 = 3*z - y, 4*z + y - 316 = 5*y. Suppose 62*d + 458 = 68*d + 2*q, 4*d - 4*q = 284. Is z at most d?
True
Let v be ((-887190)/28620 + 31)*(-1 + (-17)/(-3)). Does 0 = v?
False
Let y = 687 + -655. Let l be (-15)/20 - (-1656)/y. Is 51 >= l?
True
Let s = -94.92 - -1.92. Let u = -326 + 385. Let o = u + s. Is o >= -1/2?
False
Let h(i) = i**2 + 26*i - 263. Let m be h(-56). Which is smaller: m or 1415?
1415
Let d = 144 - 104. Let w = d + -41. Is 53 less than or equal to w?
False
Let w = -15439 + 571312/37. Let i = w - 2165/407. Let s = i + -1/22. Is -5 at least s?
False
Let k = 53 + -29. Suppose 5*j - j = -g + k, 3*g = 5*j - 47. Suppose -j*p - 22 = -9*p. Is 11 not equal to p?
False
Let y(q) = 2*q**2 + 37*q - 91. Let s be y(9). Which is bigger: s or 406?
406
Let s(x) = -23*x + 209. Let f be s(4). Is 120 > f?
True
Let q = -0.192 + -0.019. Let f = q - -0.311. Is f greater than -1?
True
Let o = -13042 - -13042.73. Is o at most as big as 17?
True
Let k(i) be the first derivative of -i**3/3 + i**2 + 6*i + 31. Suppose -2*v - 12 = v. Let f be k(v). Is -18 <= f?
True
Let g be 4*100/(-16)*1. Suppose -34*i + 39*i = 1100. Let k be (-1)/4 + g/i. Is k less than 1?
True
Let m be (1524/(-254))/(764/(-6)*18/(-8)). Which is smaller: 21 or m?
m
Let l = 3922.164 - 3922. Let m = -0.12 + 0.184. Let c = l - m. Which is smaller: -6 or c?
-6
Suppose 3132 = -41*z - 2234 + 1389. Is -40 less than z?
False
Let q be ((-114)/152)/((-1)/8). Let l be 2*(11/2 + q). Which is bigger: 3 or l?
l
Let c be (20/30)/(138/135). Let l = c - 7/46. Let y be ((-1)/7*6)/2. Is l less than y?
False
Let d = -60542/108317 - -2/2519. Which is greater: d or 1?
1
Let k be 60 + 1 - (-77 - -65). Let o(d) = 5*d**2 - 4*d + 9. Let x be o(4). Is k equal to x?
True
Suppose 0 = -2*q + 4*a - 6, 2*q + 2*a + 1 = 19. Let m = 5 + q. Let k be m/40*4*1. Are -1/3 and k nonequal?
True
Let p be ((-2)/(-4))/((-1)/12). Let h = p + 7. Let x = -267/220 + 5/4. Which is smaller: h or x?
x
Suppose 16*h - 45*h - 7093 = 1346. Are h and -0.09 unequal?
True
Let n(d) = -3*d**2 - 3*d + 11. Let k be n(-7). Let h = -95 - k. Suppose -2*c = 4*o - h, 11 + 12 = 5*o + 2*c. Is o smaller than 12/5?
False
