a + g + 1146 = 0, 4*a - 341*g - 1508 = -343*g. Which is bigger: 367 or a?
a
Let q = -119 - -596/5. Let b = -7/10 + q. Let x = 2 + -5. Is x != b?
True
Let w(r) = -2*r**2 + 6*r + 228. Let b be w(-11). Suppose -3*y = -4*f + 254, 4*f + 246 + 124 = -5*y. Is y not equal to b?
True
Let n = 2.092 + -0.472. Let s = n - 0.62. Is s smaller than 1/245?
False
Suppose 3*s - 3*i - 123 = 0, -22*s + 24*s - 58 = -4*i. Suppose -4*n = -2*g - 156, g = -3*n + 3*g + 115. Is s bigger than n?
False
Suppose -o - 750 = -3*o. Suppose o + 534 = 9*d. Let g be 6/33 + d*2/(-22). Which is smaller: 0 or g?
g
Let u be -1 - (-16)/(-56552)*-3533. Which is greater: u or 0?
0
Let i be 3/89*14*(-13)/(-273). Is i not equal to -1?
True
Let g be -1 - (1/(-5) - (32472/(-110) + 9)). Is g greater than or equal to 7?
False
Suppose 15*r = 7*r - 13*r + 588. Which is greater: 127 or r?
127
Suppose -632 = -2*a + 4*b - 220, 4*a - 836 = -4*b. Suppose -2*r = a + 2. Let u be (-2 - -2) + r/(-20). Which is bigger: u or 4?
u
Let z = 278 + -886. Let u be -2 + z/(-12) - (-8)/6. Is 50 not equal to u?
False
Let z = 25651 - 28804. Which is greater: z or -3152?
-3152
Suppose -375*g + 374*g = -4*r - 6877, 2*g = -2*r + 13764. Which is bigger: 13759/2 or g?
g
Let u = 5434 + -2656. Is 2778 < u?
False
Let a = -375 - -383. Let d be 1 - 3/(-2)*2739/495. Is a less than d?
True
Let a = 253 + -249.88. Let b = 2.52 - a. Let g be 4/(-14) - (-44)/(-42). Which is bigger: b or g?
b
Suppose -65*h = -1200990 + 185950. Do h and 15616 have different values?
False
Suppose 0 = -7*t - 5*t + 48. Suppose -20 = 4*i + i + 5*f, 10 = -i - t*f. Let d be 0 - -2 - i - 0 - 7. Which is smaller: 4 or d?
d
Suppose 8 = -4*o + 24. Suppose 2*i + 1 = -5*b, 0 = o*b - 2*b - 2. Is -1 > i?
True
Suppose -18 = p + 4*p + 3*g, -p = 3*g + 18. Is p greater than -2/6727?
True
Let n = -15481 + 15482. Is -195 at least n?
False
Suppose -10*v + 16 = 16. Let y = -8/41 - -6/451. Which is bigger: v or y?
v
Let c = -3.969 - -4.069. Which is smaller: 0.1431 or c?
c
Let d = -141791/4 + 35819. Is d <= 370?
False
Let t = 134635/3 - 45399. Is -520 equal to t?
False
Suppose 3*l + 12 = 4*m - 25, -2*l - 4*m + 42 = 0. Let p be ((-2)/2)/(274/(-4)). Which is greater: l or p?
l
Let w be -7 - 488/(-60)*20/24. Let v = 24 + -24.11. Let p = v + -1.19. Is p less than w?
True
Suppose -12*c = -3*c - 0*c. Suppose -3*u + 14*u + 11 = c. Is -1/55 <= u?
False
Suppose 3*s = 385 - 376. Let k be (4/(-16))/(s/(-180)*-3). Suppose 5*g + 2*v = -22, v = 3*g + g + 28. Which is bigger: k or g?
k
Let y = 48 - 44. Suppose -5*g + 284 = -6*c + 3*c, 2*g + y*c - 124 = 0. Suppose 9*q - g = 5. Is q smaller than 8?
True
Let u be (72/180)/((-6)/15). Which is greater: u or -43?
u
Suppose 19*f = -1460 + 187. Let o = 121 + f. Let k be (-1)/(-15) + 18/o. Is k not equal to 0.26?
True
Let x be ((0 + 1)/33)/(-33 + 22208/672). Is 5/3 at least as big as x?
True
Let g = -282 - -298. Let m = g + -17. Let q be (-3)/((-42)/(-4)) + 0. Is q at most m?
False
Suppose 280*a - 12 = 283*a, -5*a = 2*b + 766. Which is greater: -2 or b?
-2
Let r be -175 + 169 + 0/(0 - -2) - -128. Is r at least as big as 862/7?
False
Let m(t) = t**2 + 128*t - 1606. Let r be m(11). Which is bigger: -75 or r?
-75
Let v = -1 + 1. Let z = -3167 - -47503/15. Which is bigger: v or z?
v
Suppose 0 = -l - l. Let x be (5 - -138)*(3 - (0 - -2)). Let y be 26/x - (-3 + 4371/1353). Which is greater: l or y?
l
Let v = 34863/154 + -1515/7. Let k = 4991/66 - v. Which is smaller: k or 66?
k
Let u = 48/1471 + -680081/20886729. Is -1 bigger than u?
False
Let r(x) = -x**3 - 8*x**2 - 11*x + 6. Let l(f) = f**2 - 5*f - 12. Let m be l(6). Let k be r(m). Let o be ((-36)/40 - 0)/(-3). Is o equal to k?
False
Let b(j) = 29*j - 405. Let w be b(14). Let r be -156*(w/3)/((-112)/63). Is 30 at most as big as r?
False
Let l be (202/(-3))/((-16)/(-144)). Let j be (8/12)/(4/l). Let r = j + 104. Is 0 at most as big as r?
True
Let x be (-87)/(-7) + 51/(-119). Let j be (-1*9/x)/(-96). Let m = -0.0374 + 1.0374. Is m at most j?
False
Let r = -152 - -150. Let l be 18/12*1 + 1/r. Which is smaller: l or 2/437?
2/437
Let o be 915 + 26 - -2*(-1 + 0). Is o >= 0.04?
True
Let u(q) = 5*q**3 + 9*q**2 - 14*q + 18. Let a be u(6). Is 1337 > a?
False
Let w = 286 - 282. Let d be 340/225 - 2 - w/10. Which is greater: -1 or d?
d
Let s = 17122 - 10625. Which is bigger: s or 6495?
s
Let d = -6 + 43/7. Let k = 90 + -89.4. Which is bigger: k or d?
k
Let l = 4977 + -4976.04. Which is bigger: l or -2/5?
l
Let i = 139 + -29. Let o = -103 + i. Is 9 != o?
True
Let w be ((-1)/3)/(1/(-3)). Let n be 3/(-2)*12*(-364)/(-63). Let u = -831/8 - n. Is u less than w?
True
Let r(b) = 2*b**3 + b - 2. Let a be r(1). Let h be (-2 - (2 - 2))*(-37)/(-18167). Are a and h non-equal?
True
Let g(z) = 2*z**3 - 13*z**2 - 76*z - 548. Let q be g(-11). Is q less than -3947?
False
Suppose -15 = -3*z, -5*l - 4*z + 5*z = 0. Let r = 2930 - 128923/44. Is l < r?
False
Let b be -6*4/(-14)*(-84)/(-36). Let v(i) = i - 68. Let f be v(23). Let k = f + 48. Is b less than k?
False
Let w be (4/5)/((-4)/(-340)). Suppose -4*u + 76 = w. Let m be (-1 + (133/24)/7)*u. Is m not equal to 1?
True
Suppose 0 = 3*l + 3*v - 12, 4*v = -4*l - v + 13. Suppose -5*q - 112 = 4*f + 198, 5*f + 394 = -3*q. Let w be (1/(-3))/(4/f). Is w not equal to l?
True
Suppose 28*o - 2*l - 130 = 32*o, 0 = -o - 2*l - 25. Are o and -52 non-equal?
True
Suppose -p + 5*p = -324. Suppose 2*k - d - 199 = 0, 2*d = k - 3*d - 113. Let u = k + p. Is u > 14?
True
Let d be (-11)/(-22) + 3/2. Let u be 7 - (d + (-4)/(-5)*5). Is u greater than or equal to 21/19?
False
Let p = -4104 - -4104.1. Which is bigger: p or 659?
659
Let d(l) = -l**2 - 10 - 3*l + 4 - 7*l + 6*l. Suppose 3*b + 2*a - 8 + 27 = 0, 0 = -b + 5*a + 22. Let h be d(b). Which is greater: 0.12 or h?
0.12
Let y = -20 - -18.08. Let w = y + 2.92. Which is smaller: w or 9/5?
w
Let n = 56.29 + -88.29. Which is greater: -65 or n?
n
Suppose -127*m + 0 - 116 = 11. Is m greater than or equal to -9/3476?
False
Let b(o) = -3529*o - 170. Let g be b(3). Is g at most -10756?
True
Suppose x + 3 = 0, o - 3*x + 412 = 1256. Let s = -4153/5 + o. Let n be (1 - (-1 - -4))/2. Which is smaller: s or n?
n
Let x(q) = 16*q + 11. Let a be x(-2). Let o(p) = -9*p - 204. Let h(m) = -2*m - 51. Let c(r) = a*h(r) + 5*o(r). Let z be c(5). Do 38 and z have different values?
True
Suppose -4*y + 40 = -56. Let z be 6 + (-164)/y - 3/(-2). Let r be 1 - 1/((-20)/(-9) - 1). Is z less than or equal to r?
False
Let b = 13091/20342 + -1/1453. Suppose 7*g - 26 - 9 = 0. Suppose 20*t - 15*t - g = 0. Is b != t?
True
Let t(u) = 38*u - 798. Let x be t(21). Let f = 147 - 1612/11. Which is smaller: f or x?
x
Let v = 109 + 5. Let w = v + 24. Which is greater: -1/3 or w?
w
Let h(q) = 3*q**2 + 920 - 4*q**2 + 4*q - 923. Let j be h(3). Is 6/53 at most as big as j?
False
Let x be (-61 - -62)/((1/(-1))/(-23)). Suppose n - 3*l - 31 = 0, -2*n = -5*l - 0*l - 63. Let c = x - n. Which is bigger: -10 or c?
-10
Let i = 1.4 - 1.82. Let j = 2.62 + i. Let r = 1.8 + j. Which is smaller: r or 6?
r
Suppose 7*x + 5*j - 4 = 3*x, -2*x - 4*j = -2. Let r be ((-28)/16)/(x*(-3)/12). Suppose 2*l = 1 - r. Which is bigger: l or -16/7?
-16/7
Suppose -13*f + 45583 = 99103 + 90936. Is f at least as big as -11112?
True
Suppose -302*o + 214 = -300*o. Suppose -5*v = o - 92, -t + 4*v + 10 = 0. Let u = 50 - 103/2. Is t < u?
True
Let p = -55 + 55.1. Let b = -1468566/11219 + -20/863. Let t = b - -131. Is t <= p?
True
Let m = 961 + -956. Let s = 126 + m. Is 131 less than or equal to s?
True
Suppose 9*z = -25*z + 748. Suppose 2*b = -4, 0 = -0*g + 2*g - 5*b - 40. Which is greater: g or z?
z
Let m = -125574553989/29609572 + -115/188596. Let l = 4241 + m. Suppose 3*i - 5*p + 10 = -i, -5*p = 3*i - 10. Which is bigger: l or i?
i
Let u(c) = -60*c - 181. Let h be u(-3). Suppose -110 = -5*b + 4*m, -5*m + 29 = 4*b - b. Let j be (b/12)/(25/(-2)). Is j < h?
False
Let v = 29483/55 + -536. Let s = -29411/4290 - -119/26. Let t = s - v. Is t greater than -1?
False
Let t(u) = 6*u - 40. Let l be t(7). Suppose 6*g + 152 = -2*b + g, 170 = -2*b + 4*g. Let x be l/((-12)/b)*2. Which is smaller: x or 26?
26
Let d = 2/431 + 4292/3879. Let b = -3 - 7. Let w = b + 11. Is w at least d?
False
Suppose 42858 = -20*z + 133*z - 7992. Are 1349/3 and z equal?
F