 10139 + -9295. Which is bigger: c or 2534/3?
2534/3
Let i be (27/(-135))/(18/(-770)). Which is smaller: i or -37?
-37
Let s be (-2 - -161)/(8 + 1 + -10). Is s > -163?
True
Let t be (271005/290)/((-3)/(-6)). Which is smaller: t or 1871?
t
Let b = -193006 - -193003. Let g = 78 + 0. Are g and b equal?
False
Suppose n + 5*j - 436 = 0, 0 = -2*n + 5*j + 407 + 450. Let m = n - 200. Are m and 232 non-equal?
True
Let x be 48/18 + -3 - 50478/63. Which is greater: x or -803?
x
Let b be -11 - (-11 + -7 + 6). Suppose -2*c - 3*a + 6 = -4*c, -3*a = 0. Let l be 9 - c/(5 + -2). Do b and l have different values?
True
Suppose 0 = -5*l + 300 - 90. Let k = 6852 - 6852.01. Is l bigger than k?
True
Let p be 174/(-15) + (-2)/5. Let a(g) = g**3 + 13*g**2 + 21*g - 11. Let h be a(-11). Is h >= p?
True
Let r(k) = 581*k + 239. Let l be r(-1). Suppose 0 = -y - 2, -2*x + 4*y = 3*y + 680. Is l greater than x?
False
Let s be (-36)/(-10)*-6 + (-64)/160. Let j = s - -24. Let x be (-1)/4 + 3/36 - j. Is 0 at least x?
True
Let z = 127 - -21. Let l = -150 + z. Let a be -1*1*(-1 + 3). Is a >= l?
True
Suppose 0*f - 54 = f. Let o be (12 - 15)*(-770)/(-42). Is f smaller than o?
False
Suppose -8*l + 4*l = -2*a - 94, 3*a = 4*l - 147. Let z be 0 - (1700/32 - 0). Let t = a - z. Which is bigger: t or 1.1?
1.1
Let z = 59 - -6. Let q = z + -108. Let t = q - -43. Are t and -5/4 unequal?
True
Let o = 1677.9 - 1693. Which is bigger: o or 9?
9
Let b be (1*11018/(-70))/(4/(-10)). Which is smaller: b or 394?
b
Let f be 8595/(-135) - 9*-2. Which is bigger: 1.9 or f?
1.9
Let i(h) = -h**2 - 6*h - 5. Let y be i(-4). Suppose 5*f + 3*p = -2*p - 15, 0 = -y*f + p + 11. Let d = -4.6727 - -4.3927. Are f and d unequal?
True
Suppose -2*g = -2*a + 3*g + 5, -3*a + 10 = -5*g. Let m = 36457 + -36456.92. Is m greater than or equal to a?
False
Let s = -2848 + 2846. Which is smaller: 1187 or s?
s
Suppose 19 + 22 = 5*u - 3*x, 7*x = 3*u - 9. Which is bigger: u or -147?
u
Suppose 5*v - 5 = 5*n, 306*v - 310*v + 5*n + 4 = 0. Is v less than or equal to -1/37765?
False
Let i be ((-186)/12)/(5/(-130)). Let u = 514 - i. Which is greater: u or -1?
u
Let m = 2707.9 + -2708. Which is bigger: m or 5708?
5708
Let o(d) = -2*d**3 - 7*d**2 + 8*d - 3. Let b be o(-4). Let i = 111 - b. Is i at most 130?
True
Let v be (-1)/2 - (-11)/2. Let c be (2 + -22463)*21/(-396)*-4. Let x = c - -4769. Is x <= v?
True
Let l = 30/18023 - -500707/13192836. Is l not equal to 1?
True
Suppose 4*s - 3*g = -14, -5*s + 5*g = 23 - 8. Let q(i) = i**3 + 3*i**2 - 10*i. Let j be q(s). Let c be -4 - ((-438)/111 - j). Which is smaller: -1 or c?
-1
Let d = -324 + 364. Let q be 1 + (-74)/d + (-120)/(-96). Does 52 = q?
False
Let j = 12 - 12.099. Let s = j - 2.851. Let x = 3 + s. Is x at least as big as -1?
True
Let u = 1198 + -1179. Let c = -37293/88 - -4850/11. Let m = u - c. Is m bigger than 1/3?
True
Suppose -2*z = -3*z + 29. Suppose -12*y - 348 = -408. Suppose 0 = 5*p + y*h - 165, -4*p - h + 124 = h. Is p greater than or equal to z?
True
Let r(x) = 2*x**2 + 18*x + 1. Let c be r(-9). Let m be (5 + -7 + c)*0. Is m at least 1/234?
False
Suppose z + 0*z - 2*n = 6270, 5*z + 5*n = 31305. Let k be 20/6*(z/10)/(-6). Let o be k/22 - (-24)/(-132). Which is greater: -15 or o?
-15
Let l(x) = 8*x**3 + 47*x**2 + 351*x - 49. Let b be l(-9). Is b at least as big as -5232?
False
Let c be 4/((-4)/(-2)) + -3. Suppose p + 2*u = 4*u + 4, -4*u = -3*p + 2. Let m be p/(-1 + 4 + c). Are m and -14/5 nonequal?
True
Let n(g) = 20*g**2 - g - 1. Let k = -576 - -575. Let b be n(k). Which is smaller: 32 or b?
b
Let u be (-2)/356*41911 + 13/26. Let b = 235 + u. Are b and 0 equal?
False
Let x(f) = 26*f + 75. Let r be x(-3). Suppose -4 = -q - a - 3, 4*a - 25 = 3*q. Is q < r?
False
Let k be (2/12)/((-21)/(-1008)*-8). Which is greater: 6/971 or k?
6/971
Let r = -88 - -94. Suppose 4*v = 10*v - r. Suppose n - 2*n = -v. Which is bigger: n or 1/38?
n
Let f = -11 + -5. Let x = f + 20. Let u = x - 5. Is -43 bigger than u?
False
Let u = 24645 + -32123. Which is greater: u or -7479?
u
Let n(r) = -13*r - 25. Let l be n(-1). Let j be ((-2)/(l/9))/(11/4). Suppose -6*d = -3*d. Is j greater than d?
True
Let r = 0.9945 + -7.9945. Suppose -2*d + 6*k - 2*k = 8, 24 = 3*d + 3*k. Suppose -d = o + o. Which is greater: o or r?
o
Let f be 1/((-9 - 1)/(-10)). Is f >= 3/1547?
True
Let f be 0/(4/(-24)*-3*4). Suppose f = -6*w - 622 + 94. Is w <= -88?
True
Suppose 3*v + 4*i = -792, 1653 = -4*v - 5*i + 596. Is -266 at most v?
False
Let a = 2/3 - 8/21. Let m = -9.86 - 0.14. Let j = -19 + m. Is a less than j?
False
Let u be 2/3 + 192/9. Let o(t) = 2*t**2 + 18*t - 16. Let i be o(-10). Suppose 4*b - 3*a - 25 = 2*b, 4*b + i*a = 100. Do u and b have different values?
True
Suppose 2299 = -13*z - 3758 - 79. Which is bigger: z or -473?
z
Let z = 62 - 62.3495. Let h = 0.0495 + z. Which is bigger: 75 or h?
75
Suppose -p - 34 + 39 = 0. Suppose 0 = p*c + 141 + 109. Which is bigger: c or -51?
c
Let k(d) = 6*d - 74. Let w(n) = -2*n + 25. Let l(j) = -2*k(j) - 7*w(j). Let s be l(12). Let i be s/(-42)*80/8. Which is smaller: 0 or i?
0
Let o = -273 + 487. Let v = o - 214.09. Is 0.2 less than v?
False
Let t = 42.08 - 42.894. Which is smaller: t or 0?
t
Let w = -0.04677 + 58.04677. Which is smaller: 5/2 or w?
5/2
Let q be (-275)/25 - (2100/(-58) - -7). Which is bigger: q or -1?
q
Suppose -3 = 3*z + 3*i, 2*z - 122*i + 123*i = 3. Let u(d) = -3*d - 3 - 1 - d**2 - 4*d. Let w be u(-5). Which is smaller: w or z?
z
Let t = 4339 - 4343. Which is greater: t or -67?
t
Let u be ((-3)/(63/6))/(24/168). Which is smaller: 2/569 or u?
u
Suppose -2*f + 4 = -0. Let c be 4/(-4)*2/f*1. Which is bigger: 13/4 or c?
13/4
Let x be 4352/980 + -5 + 3/(-15). Let y = 4842/12985 - x. Is y bigger than 0?
True
Let h(f) = -7*f + 1. Let n be h(-5). Let m be (-124)/(-24) - (-1 - 42/(-36)). Suppose m*p = p + n. Are 6 and p nonequal?
True
Suppose y = -2*y. Let c be ((-25)/(-1750))/(6/(-49)). Which is greater: y or c?
y
Suppose 3*v = -3*a + v + 28, 2*a + 2*v - 22 = 0. Let l = a + -8. Is l equal to -2?
True
Let p = 11/10 + -3/5. Let n be (10/(-20))/(11090/5544 + -2). Let y be 3/((n/12)/(-11)). Do p and y have the same value?
False
Let b(s) = -9*s + 88. Let m be b(36). Let l = m - -237. Which is greater: -3/7 or l?
l
Suppose 42*b - 35*b = -5*g - 3640, -3*b = -5*g + 1510. Suppose 5*y + 1548 = 2*y. Are b and y equal?
False
Suppose -4*i + 4532 = 3*p, 0 = -3*p - 3*i + 2*i + 4526. Let b = 60323/40 - p. Which is smaller: b or -1?
-1
Suppose 16 = -3*h + 115. Let v be (-183)/h + 6/((-36)/(-30)). Which is bigger: v or -1?
v
Let x = -8.99 - 15.01. Is x at least as big as 58?
False
Let p be -1 - ((-264)/27)/2. Let u be 8052/2074 + (-1 - 57/(-51)). Which is smaller: p or u?
p
Let b be (-322922)/(-13)*((-259)/(-63) + -4). Suppose -782 = f + 3*l - 3548, 2*f - 4*l - 5512 = 0. Let h = b - f. Which is smaller: h or 0?
0
Suppose 0*i - 10 = -5*i, i = -3*v + 5. Suppose -7 = -g + v. Suppose -7*p + g*p = 0. Which is bigger: 4/7 or p?
4/7
Suppose -c + 10 = 3*h, 0*h + 22 = 3*h + 4*c. Let l be (70/25 - h)*40. Let p = -31 + l. Which is greater: 8 or p?
8
Let w be 4/10 - (-393)/(-870). Suppose 0 = -22*o + o + 420. Suppose 4*h = 2*h - 4*u - o, h + 20 = -4*u. Which is bigger: w or h?
h
Let f = 48 - 31. Let w = 13 - f. Let r be (62/w)/1 + (-6)/(-4). Which is smaller: r or -3/2?
r
Let q be 3960 + (5 - 4/1 - -2). Let z be ((-110)/(-2))/11 + q/(-792). Is 0 at most as big as z?
False
Let b(o) = -o**2 + 4*o + 3. Let u be b(3). Let a(m) = -7*m + 52. Let h be a(6). Let c be 15/(-100) - (-4)/h. Which is greater: u or c?
u
Let m(x) = 6*x - 1. Let b be m(-1). Let d(o) = 941 - 1704 + 13*o + 875. Let f be d(-9). Is f less than or equal to b?
False
Let r = -4376 - -881. Is -3495 at least as big as r?
True
Suppose 2*t = -h - 150 - 312, -4*t + 5*h - 924 = 0. Suppose -g + 258 - 489 = 0. Is g >= t?
True
Suppose -4*b = 16, -1424 = -4*m + 5*b - 2*b. Let t = m - 88. Which is smaller: t or 266?
t
Let x = 748 - 936. Let w = 313 + -312. Which is greater: w or x?
w
Suppose 5*t + 11*b = 10*b + 3641, -5*b = 2*t - 1484. Which is smaller: t or 0?
0
Suppose 168*n + 11*n = -4875 + 31725. Is n greater than 229?
False
Let q = 1665 + -13323/8. Let j be (14/4)/(-7)*-3. Is q equal to j?
False
Let m = 92913093 - 15145243450/163. Let t = -2511 -