- 50 = 2*g + 2*i. Which is smaller: n or g?
n
Let g = -133732/117 + 13984/9. Let p = -411 + g. Suppose 0 = 3*x + 3. Which is greater: x or p?
p
Let q be (2 - 3)*4/16. Which is smaller: q or -0.073?
q
Let f be 1/1*(4 - -4 - 8). Let l be -5*3/(-30)*f. Let u = -227/2 + 3409/30. Is u bigger than l?
True
Let z(m) = -m**3. Let s be z(-2). Suppose 0*g = 2*g - s. Suppose -3*a + g = a, 7 = -3*f - 2*a. Which is smaller: -7/3 or f?
f
Suppose -35*l = -29*l + 738. Is l less than -124?
False
Suppose 4*w = -4*t + 12, -2*t + 6 - 16 = -2*w. Suppose -5*g - 67 = w*r, 0*r = 3*r + 3*g + 51. Which is bigger: -19 or r?
r
Suppose 5*q = -2*h + 20, 3*q - 2*q = -h + 4. Let n be ((-32)/(-360))/(q/10). Let m = -9 + 9. Is n > m?
True
Let r be ((-44)/20 - -1)*-5. Suppose -4*v - m + 2 = 0, -10 = -4*v - 3*m + r*m. Is -4 less than or equal to v?
True
Let i be (-3)/(-12) + 6023/(-380). Is i bigger than -17?
True
Let o = 13.8 - 12.4. Let n = o - 1.3. Is -0.15 greater than n?
False
Let p = 3.8 - 2. Let q = p - 2. Let o = -0.1596 - -0.0596. Is q < o?
True
Let r(v) = 2*v**2 + 15*v - 17. Let h be r(9). Let n be (-2)/(-7) + 32/h. Which is greater: 4/3 or n?
4/3
Let k = -16 - -23. Let c be 6/21 + (-44)/k. Suppose o + 4 = v, -o = -3*o + 5*v - 8. Which is smaller: o or c?
c
Let d(u) = u - 51. Let i be d(33). Let p = 15 + -32. Is p greater than i?
True
Suppose 2*w = -0*w - 74. Let g = -25 - w. Let f be (-4)/3*g/(-40). Is -1/3 greater than or equal to f?
False
Let z be ((-1)/2)/(1/10). Let c = z - -2. Let u be 4/(-28) + 106/(-42). Which is smaller: u or c?
c
Let l be 4*3/(-32) - (-230)/16. Is l smaller than 25?
True
Let q be (9 + -5)*(1 + 6). Let a be (4/16)/(q/(-16)). Suppose -4*c - 8 = 2*m + 3*m, -5*m - 2*c = 4. Which is bigger: a or m?
m
Let d = -795 - -795. Let m = 71/44 + -26/11. Which is smaller: d or m?
m
Let m(c) = -c**2 + 12*c + 60. Let r be m(15). Which is bigger: r or 14?
r
Suppose -2*b + 6*b = 0. Let d be (-28 - -22) + (-64)/(-10). Is b greater than d?
False
Suppose 5*k = -0*k. Let z(u) = u**3 - u + 2. Let q be z(k). Let a be 0/(q - -2 - 2). Is -1 equal to a?
False
Suppose -8 = 4*i + 4*v, 5*i + 3*v + 10 + 2 = 0. Let l be (-4)/i - 2/(-3). Let d be (75/36 - l) + 0. Which is greater: d or -1?
d
Let r = -9 - -6. Let i = 111 - 108. Let v(j) = -2*j**2 + 5*j + 3. Let t be v(i). Is t at most as big as r?
False
Let v = -1128 + 1123. Which is greater: v or 0.02?
0.02
Let s(p) = p**3 - p**2 + 1. Let o = 35 - 36. Let q be s(o). Let j be (-3)/(-35) - (-2)/(-7). Which is smaller: q or j?
q
Let y = -8 - -36. Suppose -y = 6*k - 10*k. Let t = -13 + k. Which is bigger: t or -5?
-5
Let v be (-8)/8 - ((-4)/(-3))/(-4). Which is bigger: -28 or v?
v
Suppose 0*r + 4*r - 4*q = 0, 5*r = 3*q + 4. Is r smaller than 105?
True
Let q be 1/((-1)/(-20)) - 0. Let f = -13 + q. Let u be 6 + (0 + -1 - -4). Which is smaller: f or u?
f
Let v = -7383/4 + 1846. Which is bigger: v or 497?
497
Let a(j) = j**2 - j + 1. Let z(c) = 3*c**2 - 4*c - 9. Let d(m) = -2*a(m) + z(m). Let r be d(6). Is r greater than or equal to 13?
True
Let k = -13 - -15. Suppose 4*x - 3*g + k*g = -25, -36 = 3*x + 5*g. Let n(d) = 7*d**3 + 1. Let i be n(-1). Which is smaller: i or x?
x
Suppose 4 = -2*b + 2*o, 0*o + 6 = -3*o. Suppose -4*a - 50 - 10 = 0. Let k = -17 - a. Which is bigger: b or k?
k
Let c(p) = -p**3 - 2*p**2 - 3*p - 28. Let z be c(0). Which is smaller: z or -31?
-31
Let a = -1075/3 + 357. Let h(i) = 2*i + 2. Let n be h(-2). Let f be 2/(-3) - n/(-6). Which is smaller: a or f?
a
Let g be 6 - (7 - (-90)/(-78)). Let q = 4 - 3. Which is bigger: q or g?
q
Let n(h) = 2*h**2 - 6*h + 5. Let f be n(3). Suppose 3*x = -2*y - 8, -4*y + 31 - 3 = -f*x. Let d be ((-276)/(-15))/x + 3. Is -2 less than d?
True
Let u = -33.59 + -4.41. Is -1 smaller than u?
False
Let n = -257987/105 - -2457. Let z be 6/70*476/(-63). Let s = z + n. Which is bigger: s or -1.2?
s
Let x = -0.4 + 0.3. Let c = -13 + 23. Let z = -2 + c. Is z at least as big as x?
True
Let y(b) = 3*b - 29. Let a be y(4). Which is smaller: -140/9 or a?
a
Let o(a) = -a**2 - 8*a + 9. Let k be o(-9). Is 4/55 greater than k?
True
Let i = -32/1159 + -14160/158783. Which is greater: -1 or i?
i
Let h(o) = o**2 - 12*o - 68. Let k be h(29). Which is smaller: 426 or k?
k
Suppose -2*l + r = -4*r + 19, -5*l + 10 = -r. Let v = l - 2. Do v and 2 have different values?
True
Let c(j) = j**3 - 7*j**2 + 8*j - 3. Let r be c(5). Let d be 0/2 + -13 - -2. Let x = d - r. Is x bigger than 2?
False
Let m be 1*(2 + -4) + 1. Let x be ((-12)/8)/(m/2). Let t = x - 5. Which is bigger: -5/3 or t?
-5/3
Let v(s) = -s**3 - 7*s**2 - 6*s - 2. Let l be v(-6). Suppose -9*n = -10*n - 35. Let u be (-31)/n - l/(-7). Is u smaller than 1?
True
Let r = 0.75 - 34.75. Let l = r + 33.88. Is -1/4 smaller than l?
True
Let c = 45032/5 - 9000. Let t = 17 - 12. Is c greater than t?
True
Let d = 0.149 + 131.851. Which is bigger: 0.3 or d?
d
Let x = -11 - -15. Suppose 2*n + 0*i = 5*i + 52, 5*n - x*i = 113. Suppose -b + 2*b - n = 2*v, -3*b = -5*v - 55. Are -9 and v nonequal?
True
Suppose 5*o - 2*o = 5*q - 33, -2*q + 22 = o. Suppose q = -2*t - 3*u, -2 = -5*t - 4*u - 14. Which is greater: -3/20 or t?
t
Let d(z) = 2*z**2 + 58*z + 90. Let a be d(-28). Is a <= 100/3?
False
Let m = -48.32 - -0.32. Let u = -47 - m. Are 0.06 and u unequal?
True
Let q(o) = -3*o**3 - 19*o**2 - 13*o - 18. Let i(k) = -k**3 - 6*k**2 - 4*k - 6. Let p(a) = 11*i(a) - 4*q(a). Let l be p(-9). Let d be (18/15)/(2/l). Is -0.1 < d?
True
Let t be (-30)/((-21)/9 - -3). Which is bigger: t or -1?
-1
Let l(a) = -2*a**2 + 7*a - 5. Let w be l(5). Suppose 3*i + 21 = -5*c - 80, 3*c + 53 = 2*i. Which is bigger: w or c?
c
Suppose 0 = -13*g + 12*g. Suppose 3*p = 9, -p = c - g*p - 12. Let y = 14 + -5. Is c less than y?
False
Let q be (-3)/1 + -1 + 32 + -20. Suppose -2*l = 2*d - 28, l - 5*d = -0 + 2. Let f = l - q. Is 4 at most f?
True
Suppose 0 = 4*a + 22 + 6. Let n(z) = -z - 10. Let q be n(a). Let p be (-26)/(-10) - 138/(-345). Is p equal to q?
False
Let n be 1555/210 + 4 + (-65)/15. Which is smaller: 7 or n?
7
Let j = 12 + -20. Let u be 5/(150/j)*-5. Let z = -2564 - -2565. Which is smaller: u or z?
z
Let u be 2*(-9)/6*-2. Let v = -61/22 - -80/11. Do u and v have different values?
True
Suppose -2*r = y - r - 1, -y + 5*r - 23 = 0. Let b be (y/2153)/(3/2). Let a = b + 19387/10765. Do a and 3 have different values?
True
Let y = -141 - -17201/122. Is 0 at least as big as y?
True
Let u be (-30)/(-25)*20/6. Let p = 27 + -19. Is p less than or equal to u?
False
Let m be 306/10 + ((-39)/5)/13. Is 35 not equal to m?
True
Let z be (3*2)/(6 - (-90)/(-20)). Let i = -1 - -12. Let a be i - 8 - (1 + -1). Which is bigger: a or z?
z
Let y be (-3)/(-15) + -4 - 3/15. Let p = 1046/7 + -9680/63. Is p not equal to y?
True
Let f be (4/6)/(4/30). Suppose f*c - 14*c + 9 = 0. Is 2/25 at most c?
True
Suppose 0 = -15*d + 30*d - 1110. Which is smaller: 76 or d?
d
Let d be 286/(-242) + 2/11. Let q be (-2)/10 + (-88)/10. Let z be (1/(-5))/((-3)/q). Which is bigger: z or d?
z
Let g = -17.507 + 6.507. Suppose 2*i + 0 = 2*q + 8, -9 = 2*q - 3*i. Let b be 0/(-1) - 2/q. Which is smaller: g or b?
g
Let z = -3.73 - -3.9. Let n = z + -0.17. Are 3 and n nonequal?
True
Let o = 6213107/763 - 8143. Is 1 greater than or equal to o?
True
Let d be (1 - 0) + 3/4. Let a(z) = z**2 - 14. Suppose v - 16 = -12. Let o be a(v). Which is greater: o or d?
o
Let n = -7431/8 - -927. Let m = -133/24 - n. Do m and -3 have different values?
True
Let t = 13 + -9. Let a be -6 + t + 6 + 5. Let w = -10 + a. Do w and -1 have the same value?
True
Let s = -65 + 36. Let v = s + 29. Is v not equal to 3?
True
Let n = -12 - -7. Let y = -15.1 + 13.1. Is n > y?
False
Let j(z) = z**3 + 8*z**2 + 13*z + 6. Let x be j(-1). Let v = -20210/19 - -1064. Which is smaller: x or v?
x
Let g = -7.1 - -7. Let k be (6 - 0)*3/(-6). Let z be ((-4)/(-10))/(k/(-30)). Is g > z?
False
Let j = 33 - 31.9. Let n = -0.1 + j. Does 12/11 = n?
False
Let n = -12397/18 + 689. Which is smaller: -1 or n?
-1
Let b be 0 + (-72)/10 + -1. Let q = 3176 - 3183. Which is greater: q or b?
q
Let m = 291 - 292. Which is greater: -4/27 or m?
-4/27
Let s = 0.2 - 0.3. Suppose 5*v = -4*y + v + 24, 0 = -y + 2*v - 6. Suppose -y*n = -7 - 15. Is s smaller than n?
True
Suppose -3*j = -2*l + 3192, 6*j - 8003 = -5*l + 2*