= 355?
False
Let u be (-210)/((-4)/4 - -2). Let g = u - -321. Suppose 4*h - g = 5*c, h = -4*h - 4*c + 108. Which is bigger: 25 or h?
25
Suppose 12*r - 50154 = 25*r. Let c = r + 11849/3. Is c at least as big as 92?
False
Let q be 1117944/(-3960) + 1/(-11). Is q equal to -283?
False
Suppose -2*u + 0*k + 8 = -5*k, -10 = -5*k. Let c be 2/u + 300/(-378). Let q be 7 + -3 + 4 + -8. Is q bigger than c?
True
Let g = 125 + -23. Let x = g + -66. Let d = -35.93 + x. Is -0.1 less than d?
True
Let r = 45976.9 + -45977. Which is smaller: -20.023 or r?
-20.023
Suppose 15*k - 3902 - 23788 = 0. Is k != 1848?
True
Let m = 0.3 + -1.3. Let t = -2 - m. Let d be (1/8*-1)/((-494)/5016*-33). Which is bigger: d or t?
d
Let d = -170 + 248. Suppose -d*x + 24 = -86*x. Which is bigger: x or -23/12?
-23/12
Let h be 4/10*(-4)/2008. Let d = 186 + -186. Is d greater than or equal to h?
True
Let s = 174 - -25. Let w = s - 172. Is 25 < w?
True
Suppose -v + 5 = v - n, -5*n - 1 = 2*v. Suppose -r + g = v, g - 8 - 2 = 3*r. Let l be (r/(-10))/(38/(-10)). Is 1 less than l?
False
Let n be 7 - 364/65 - (-4)/(-10). Which is greater: 18/275 or n?
n
Let l be (-87)/(-316) - (-1)/(-4). Suppose 350 = 12*a + 98. Suppose 7 = -3*k - 5, b + a = -5*k. Do b and l have different values?
True
Let s(y) = 3*y**2 + 1482*y - 8918. Let w be s(6). Which is smaller: -171 or w?
-171
Let s = 225808/1113 - 1420/7. Let o = -1063773 - -5243337152/4929. Let n = s + o. Is -1 greater than n?
False
Let k be 50/(-230)*(2 - 132/35). Let z = k - -1/23. Let p = 21 - 20. Is p greater than z?
True
Let o be ((-3)/9 - (-1073)/(-435))/((-1)/10). Which is greater: -0.23 or o?
o
Let n = -0.65 + 102.65. Let i = -4 - n. Let p = i + 106.07. Which is bigger: p or 0.3?
0.3
Let f(k) = -104*k - 2599. Let n be f(-25). Is -10/47 bigger than n?
False
Let k = 2715 - 2751. Which is greater: k or -8?
-8
Let b = -63533/3405 + -9/1135. Which is smaller: b or -18?
b
Let n be 1 + 2/2 + -2. Let h = 5749256 + -178246710/31. Let c = 638 + h. Are c and n non-equal?
True
Let j be (-7982)/((-18)/(0 + -2)). Let l = j + 890. Do 0.1 and l have the same value?
False
Let q = -81 + 218. Suppose -13*b + 149 = -q. Let f be (2/b)/(3*2/4). Which is smaller: 0 or f?
0
Suppose -t = -4*g - 0*t + 83, -3*t = -3*g + 60. Let y be 259/g - (-4)/6. Suppose 2*i = v - 3, 3*v - 4*i - y = 8*v. Is v at least as big as 2/31?
False
Let n be 23933/11798 + -2 - (-9 + (-5698)/(-629)). Which is smaller: 0 or n?
n
Let s(k) = 2*k**2 - 62*k - 189. Let n(v) = 3*v**2 - 93*v - 283. Let y(h) = 5*n(h) - 8*s(h). Let a be y(34). Which is smaller: -4 or a?
a
Suppose 4*t - 34 = 22. Suppose -t*v + v = -182. Let c be 49/(-3) + 42/v. Do -13 and c have the same value?
False
Let p(k) = k**3 - 2*k**2 + 4*k - 4. Let i be p(2). Suppose 38 = -2*x + 3*o + 5, -i*o = -x - 9. Let b be (-3)/x*(300/(-8))/5. Which is bigger: 0 or b?
0
Let p = -18/373 + 836/1865. Which is smaller: p or -0.96?
-0.96
Let f(k) = -k**2 - 3*k + 6. Let h be f(-4). Suppose -3*a - 5*w = -149, h*a - w - 111 = -2*w. Suppose 2*q = i + 43 + 75, 8 = -4*i. Is a smaller than q?
False
Suppose 22*g = 19*g + 1242. Let b = g - 397. Which is smaller: b or 20?
b
Let f be 12 - (54432/(-60))/(-18). Let p(n) = -7*n + 38. Let x be p(11). Is x at most as big as f?
True
Suppose 0 = -l + 4*l + 6. Suppose -4*w = 2*t - 2*w - 354, -w = -t + 181. Let h be 6/(-16) - (t/(-72) + 3). Is l >= h?
False
Let j be (((-52)/(-16))/13)/(3/24). Suppose f - 2*w = 2, -14*f + 11*f - j*w = 34. Which is smaller: f or 0.05?
f
Let j = -8544/1771 - 160/161. Is j smaller than -7?
False
Let t = -283/5 + 754/15. Let n be (-55)/(-3) + 4/(-12). Suppose 0 = -2*k - k - n. Which is smaller: k or t?
t
Let d be (14/(-77) - 0) + ((-398080)/(-792) - -4). Which is smaller: 505 or d?
505
Let f be (-7 - -15 - (-5)/(-1)) + 553. Let t = f + -502. Which is smaller: 1 or t?
1
Let d = -11.027 + -3.973. Which is smaller: 5.4 or d?
d
Let q = -6816 + 6815. Which is smaller: q or -1/2078?
q
Let g be (-4)/(4/((-28)/12 - 3/(-9))). Are 227 and g nonequal?
True
Let a = -7.73 + 4.2. Let b = -104 - -104.53. Let w = a + b. Which is bigger: w or 1?
1
Let l = 27 + -8. Let p = -0.44 + 0.37. Let n = p + 3.07. Do l and n have different values?
True
Let z be 35/4 - (-1)/(-4). Let r = 1091/20 - 274/5. Is z > r?
True
Suppose 3*o = 4*o + 2, 0 = -3*a - 3*o - 1542. Let s = a - -521. Let w(y) = y**3 + 5*y**2 + 5. Let h be w(-5). Is s less than h?
False
Suppose -3*b = -5*b + 4. Suppose 4*h - 50 = b*h. Let u = 24 - h. Is u > -43?
True
Let s be 22616/33*(-48)/64. Which is greater: s or -6664/13?
-6664/13
Let y be 4/41*3/126. Let f(p) = p**3 - 6*p**2 - 13*p + 41. Let x be f(7). Are y and x nonequal?
True
Suppose 5*x - 32*p - 12338 = -31*p, 3*p = x - 2476. Which is smaller: 2469 or x?
x
Let t(o) = 11*o**3 + 18*o**2 + 30*o - 107. Let r be t(7). Is 4759 at most as big as r?
False
Let b be (-10)/(-4) + -2 + (-99)/(-18). Let d = -198 - -205. Is b smaller than d?
True
Let w = -0.56 - -0.662. Let z = -9.902 + w. Let c = z - -10.33. Which is greater: c or -1?
c
Let i = -0.21585 - -0.21585. Is i less than 862?
True
Suppose 3*v + 4*o - 79 = 0, 12*v = -2*o - 67 + 327. Let m(b) = -4*b - 5. Let j be m(-6). Which is smaller: j or v?
j
Let q = -621 - -620. Is q smaller than 5/993?
True
Let u = 71297462 - 540363463098/7579. Let p be (6*2/159)/26. Let v = p - u. Which is smaller: 0 or v?
v
Let z = -2005 - -2020. Is z <= -0.1?
False
Suppose 0*g - 1296 = 8*g. Let n be (-2 - 8545/g)*(-8)/1. Let j = n - -406. Which is bigger: j or -1?
j
Suppose 5*w - 20 + 0 = -5*i, -9 = -4*i + 3*w. Let k be 1/(30/8423) - i/(-9). Let l = 280 - k. Is l less than or equal to -1?
True
Suppose -u + 1994 = 3*j + 2*j, -5*u + 394 = j. Suppose -j = -3*l - 4*l. Suppose -4*g + 3*h + l = 0, 0 = 3*h + 2*h + 15. Is 12 at least as big as g?
True
Let a(w) = w**3 + 12*w**2 - 14*w - 4. Let t be a(-13). Let s be (-2)/(6/t) + 5. Suppose 2*o + 3*x = 10, 2*o - 5*x = -4*x + 2. Are s and o non-equal?
False
Let y(k) = 2*k - 12. Let d be y(8). Suppose d*h - 53 = -3*i, -2*h + 2*i + 16 = -0. Suppose 2*x - 25 = -3*p, -x - 2*p + 552 = 539. Is x != h?
False
Let b be (20 - (-4)/4) + -249. Which is bigger: -238 or b?
b
Suppose -5*i - 3*c = 179, 3*i - 5*c = -16 - 71. Let r(p) = -p**3 - 13*p**2 - p - 12. Let n be r(-13). Let q be i/(-2) + -2 + n. Are 14 and q non-equal?
True
Suppose -93 = f + 3*v, 286*v - 285*v = -f - 85. Which is bigger: -9 or f?
-9
Let a be 1 + (-2)/14 + (-1104)/(-84) + -13. Is 2/2947 < a?
True
Suppose q = -3*r + 8*r - 5, 4*r - 4 = -3*q. Suppose -2*j + 2*s + 6 = q, -4*j + 21 + 1 = s. Suppose -3 = -j*c + 17. Which is smaller: 6 or c?
c
Let x(v) = v**3 + 9*v**2 + 2734*v + 21804. Let f be x(-8). Let a(o) = -o**2 - o + 4. Suppose -12 = 8*b - 4*b. Let l be a(b). Which is bigger: f or l?
l
Let m be (4*1)/(2/(-2)). Let s(x) = -4*x - 6. Let w be s(m). Let c(k) = 1302*k - 234358. Let v be c(180). Is w < v?
False
Suppose -3 = -4*a - u, 3*u = -12*a + 7*a + 16. Which is greater: a or -5/93?
-5/93
Let l be (-8081)/7 + 3 + 125/(-35). Let d be 5/(-42)*132/l. Suppose 4*u + 0*u = 0. Which is smaller: d or u?
u
Suppose -3*h = -f - 8, h + 3*f - 8 = 2*h. Suppose 4*o - h*i = -48, 2*o + 2*i = 3*i - 21. Let d be o + 6 - (-1 + 0 - 0). Which is smaller: d or -8?
-8
Let k = -29324 + 29784. Are k and 460 equal?
True
Let b = -265 + 264.9262. Let r = b - -296.0738. Is r < 0.1?
False
Suppose -20*v + 4 = -26*v - 2. Is 807 greater than or equal to v?
True
Let f be 2 - -6 - (-28)/(-6 - -2). Which is greater: f or -3/73?
f
Suppose -8*z - 9 + 25 = 0. Let k be (34/(-60)*z)/((-2)/24). Let u(v) = 3*v**2 + v. Let t be u(2). Which is smaller: t or k?
k
Let z = -1607 + 49815/31. Which is bigger: 15 or z?
15
Let d(n) = -n**3 + 13*n**2 + 2*n + 19. Let z be d(16). Let j = z - -665. Are j and -5 nonequal?
True
Let m(k) be the third derivative of -k**4/8 - k**3 - 2*k**2. Let i be m(-4). Let l(x) = x**3 + 8*x**2 - 3*x - 15. Let o be l(-8). Which is greater: i or o?
o
Let o(h) = 6*h**2 - 34*h - 410. Let y be o(21). Which is smaller: y or 1529?
y
Let j be 45/(-21) - (3 + -5). Suppose 2*r - 3*t + 9 = 5*r, 3*r + t = 3. Does r = j?
False
Let t be 22/(-549)*426/(-568). Which is smaller: t or 0?
0
Let c = -13/20 - -47/5. Suppose 0 = 3*r - 0*s - 4*s - 18, 2*r - 26 = -2*s. Which is bigger: r or c?
r
Let c = 13872 + -13859. Ar