 = -658 - u. Is -83 less than or equal to a?
True
Let m be 6/15 + (-352)/5. Let q be (-9)/5*m/21. Let g be ((-4)/q)/((-26)/(-39)) - -1. Which is smaller: 2/9 or g?
g
Let y = 1.2404 - 0.2404. Which is smaller: y or -0.04154?
-0.04154
Suppose 0 = 4*z + 4*c - 44, 5*z + 3 = c + 28. Suppose -z*v + 14 = 110. Is v bigger than -14?
False
Suppose -3*b - 1260 = -2*t, -538 = 2*b + 4*t + 302. Let n be 5/2*(b/25 + 6). Which is smaller: -107/4 or n?
n
Suppose -5*p = -4*b - 43, 5*p = 2*b + 18 + 21. Let w be -4*(261/36 - p). Is 0.032 bigger than w?
True
Let k be (-625)/7*(-45)/25. Let y = -161 + k. Which is bigger: y or -13?
y
Suppose -6*r + 38 = -18*v + 20*v, 23 = 4*r - v. Which is greater: -1422/5 or r?
r
Let w be (2/25)/(5149/31165). Is w less than or equal to 1?
True
Let r(f) = f**2 - 9*f - 46. Let n be r(12). Let b be n/((8/(-15))/4). Do 76 and b have different values?
True
Suppose 786216 = 109*z - 437*z. Which is greater: -9593/4 or z?
z
Suppose 0 = 5*q - z + 82 + 28, 140 = -5*q - 5*z. Let w be 1 + q + (9 - 7). Is -1 not equal to w?
True
Let w = 166121 - 3820013/23. Is w bigger than 34?
False
Let l = 123891068 - 19079420973/154. Let i = l - -1276. Which is smaller: i or 0?
0
Let w = 1343/23351 - 6/1229. Which is smaller: -5.4 or w?
-5.4
Let g = 6 + 12. Let h = g + -15. Let d be (-1)/(h/(-27)*1). Are d and 11 equal?
False
Let x(q) = 3*q**2 - 13*q + 13. Let d be x(13). Let h = d + -190. Let g = h - 479/3. Are -0.04 and g non-equal?
True
Let v be ((-870)/(-10788))/(10/24). Let o = 14 + -12. Is v <= o?
True
Suppose -2*c + 3*s - 39 = -6*c, 5*c - 15 = 3*s. Let i be 8 - c/8*4. Which is smaller: 2 or i?
2
Suppose 3*l = 106 + 131. Let g be 1/(-2) + (-2043)/(-18). Let y = l - g. Is -34 != y?
False
Let t(g) = -g**2 + 126*g - 3008. Let o be t(32). Let x be 1/(-1)*3/184. Is o less than x?
False
Let l = 7423/4 - 1854. Which is smaller: 51 or l?
l
Let u be ((-1104)/(-557) + -2)/(31 - (-2500)/(-80)). Do u and -1 have the same value?
False
Let c be ((-2)/5)/((-1)/5). Let j = 329 + -315. Let l = 15 - j. Which is greater: l or c?
c
Let s be 9*(12/9)/2. Suppose 3*m = s*m - 348. Suppose -4*n + o = -3*o + m, o = 5*n + 125. Are n and -25 unequal?
True
Let u = -2709 - -2710. Which is greater: u or -37/164?
u
Let q = -3226138013/10113 + 319009. Is q greater than or equal to 0?
True
Let l = 505 - 554. Which is greater: -948/19 or l?
l
Let w = 249 + -997/4. Is 67 bigger than w?
True
Let t be 4*(-9)/(-84)*2/102. Which is greater: t or -1?
t
Let b be 2/(3*(-2)/45). Let w be (0 - (-55)/(-75)) + (-6)/b. Let z = -781/104 + 122/13. Which is smaller: z or w?
w
Let q = -3958 - -3958.42. Is -1.9 less than q?
True
Let j be 314 + (-1 - -4) - 5. Suppose 3*u + j = -4*c + c, 0 = 3*c - u + 304. Let a = c - -126. Is 23 < a?
True
Let z be (8/15)/(18/3585). Let b = z + -106. Let k = -0.05 - -0.01. Is k at most as big as b?
True
Let k be (156/60)/((-33)/660). Which is smaller: k or -994/19?
-994/19
Let p = -225 - -218. Let j be 1 + 2 + p + (-225)/(-36). Let v = -0.3 - -0.3. Which is smaller: v or j?
v
Let n = -221 + 198. Let j = 72 - 48.3. Let h = n + j. Which is smaller: -1 or h?
-1
Suppose -92*b - 32218 + 7374 - 80404 = 0. Which is smaller: b or -1146?
-1146
Suppose -4*o + 16785 = 2*d - 7685, -5*o = 2*d - 24479. Which is smaller: 12219 or d?
d
Let i be ((-820)/12 + 1)*(-18)/96. Let y = i - 11429/904. Is y less than 1?
True
Let v be 30 + -7 - (2 + 0). Let l = -37 + v. Let d be (6/l)/(-2 + 3). Are -1 and d nonequal?
True
Let v be 1222/14 + (918/119 - 7). Which is bigger: 107 or v?
107
Suppose 22 = 640*c - 638*c + f, 5*c - 65 = -5*f. Which is smaller: c or 41/4?
c
Let d be ((-14)/2*1/(-1))/((-12)/(-276)). Which is smaller: 147 or d?
147
Suppose 6 = 2*a + 2, 2 = -2*z + 3*a. Let l(p) = 4*p**2 + 446*p - 656. Let x be l(-113). Which is greater: x or z?
x
Let a be (-1)/(-7) - (-13 + (-501)/21). Which is bigger: a or 72?
72
Let f(w) = 14*w**2 - 235*w + 1181. Let d be f(5). Do d and -1 have the same value?
False
Let x(q) = 335*q - 2010. Let t be x(6). Which is bigger: t or -2/3881?
t
Let a be 2*-28*(-11 - 312/(-32)). Which is smaller: a or 121?
a
Let d(x) = -x**2 + 3*x + 42. Let g(k) = -k**2 + 20*k - 14. Let n be g(19). Suppose n*m + 11 - 11 = 0. Let q be d(m). Which is smaller: 43 or q?
q
Let t(k) = -6738*k - 4. Let v be t(1). Let w = v - -40561/6. Do w and 18 have the same value?
False
Suppose -4*u + 20 = -4*j, 4*u + 5*j = 11 + 45. Let w be (-2)/(-1) + u + -7 - 32. Which is smaller: -24 or w?
w
Suppose 5*k + 13*k = 15*k - 2712. Which is greater: k or -902?
-902
Let j be 1/(-3)*1567 - (-40 + 3500/84). Which is smaller: -514 or j?
j
Let i = -3322 - -3426. Let j be (3/2)/((-6)/8). Let c be (-8)/20*j/(i/(-20)). Is 1 equal to c?
False
Let w = -64 + 60. Let y = 4.1 - -2.9. Is y greater than w?
True
Let u = -7568165/61 - -124071. Which is smaller: 2 or u?
2
Suppose -113*v + 120*v = 3052. Is v less than or equal to 437?
True
Suppose -7*g = -2 - 40. Suppose g = -9*r + 132. Which is smaller: 7 or r?
7
Suppose -4*m - 16 = -w, 0*w + 2*w = 3*m + 7. Let x be 54/81 - 1558/6. Let g = 257 + x. Which is smaller: g or m?
m
Let k(t) = -t**2 + 171*t - 837. Let w be k(5). Which is smaller: 1 or w?
w
Suppose 0 = -2*d + 5*x + 3310, 7*d + 4*x = 3*d + 6620. Which is smaller: 1654 or d?
1654
Suppose 5*a = 151 - 1166. Let s = 189 + a. Is -13 at least as big as s?
True
Let v be 8 + -4*(-7)/(-112)*36. Let s = 19047/5 - 3829. Is s greater than v?
False
Let j(m) = 29*m + 1. Let c be j(0). Suppose 2*f + 4*r = 58, 30 = f - 0*f + 3*r. Let d be (f/(-36))/(3/(-2)). Is c greater than d?
True
Let g(u) = u**2 + 3*u - 4. Let r be g(-4). Let w be 0/(-1 + -4)*(r + 1). Let p = w - -7. Which is greater: p or 5?
p
Let l = 22.996 + -0.996. Let j = 11 - 10.9. Is j > l?
False
Suppose -176*n + 369*n - 185*n = 8. Which is smaller: n or -2/68879?
-2/68879
Let p be ((-13)/((-6500)/(-120)))/(-543). Which is smaller: -1 or p?
-1
Suppose 129*k - 123*k - 195 + 21 = 0. Is -1 smaller than k?
True
Let s = -23008/7 + 3286. Suppose 2*a + 1 = -3. Do a and s have the same value?
False
Let v(l) = l**3 + 21*l**2 - 22*l - 11. Let i be v(-22). Let h(s) = -s**2 - 9*s + 24. Let f be h(i). Let b = -15 - -15. Which is smaller: f or b?
b
Suppose -2*s + 2*t = 9 + 9, 0 = t. Let q be 2/4*(-52)/2. Which is greater: s or q?
s
Suppose -i = -5*y + 172, -4*y = -9*y + 5*i + 160. Let m be 7/y*((-4)/(-16))/(-1). Is 0 greater than m?
True
Suppose 2925 = -2*s - 2*c + 91, -2*s - 4*c - 2824 = 0. Is -1423 > s?
False
Let j = 4/143 - -699/572. Let o(w) = -w**3 - 7*w**2 + w + 9. Let l be o(-6). Let v = l - -34. Which is smaller: j or v?
v
Let c(f) = f**3 + 29*f**2 + 177*f - 412. Let b be c(-13). Are 2 and b unequal?
True
Let a = -413 + 421. Let u be 1488/4524 - a/(-52). Are 1 and u nonequal?
True
Let d = 2283 + -2282.991. Is d smaller than -33?
False
Let s = 0.0799 - -0.1451. Which is smaller: 1 or s?
s
Let k be 662/40 + -24*31/992. Let a(j) = 81*j - 1. Let q be a(1). Suppose q = -5*m + 10*m. Which is greater: m or k?
m
Let q be 51520/325*-2 + (-50)/325. Which is bigger: -318 or q?
q
Let j = -539 - -603. Let v be (-4)/1*(-80)/j. Which is greater: 56/9 or v?
56/9
Let p(u) = -u + 11. Let n be p(4). Let t = 2322 - 2324. Which is smaller: t or n?
t
Let x(i) = 0*i + 0*i + i + 4 - 2. Let t(f) = f - 21. Let m be t(4). Let c be x(m). Which is smaller: -17 or c?
-17
Let v(t) = t**3 - 30*t**2 + 55*t + 40. Let d be v(28). Let j be (d/666)/((-12)/(-234)). Is -1 equal to j?
False
Let p(v) = -8*v**2 + 14*v - 36. Let l(z) = -7*z**2 + 14*z - 37. Let q(r) = 4*l(r) - 3*p(r). Let g be q(3). Is -34 equal to g?
True
Suppose -14*a = 10*a - 7584. Let t = a + -409. Is -93 less than t?
False
Let p(i) = 2*i + 9. Let x be p(0). Let a(u) = -u**3 + 10*u**2 - 10*u - 13. Let d be a(x). Let c = d - -21. Which is smaller: 2/21 or c?
c
Let u(x) = 2*x**3 + 21*x**2 + 9*x - 5. Let h be u(-10). Suppose -h*v + 56 = -199. Let z = v + -51. Is z smaller than 6/11?
True
Let l = -3447 + 2674. Which is smaller: 1 or l?
l
Suppose -68*t = 1024 - 478 + 1086. Do t and -22 have different values?
True
Suppose 40*r = 87*r. Let q be (-1)/(-732)*(2 - (-10)/4). Which is greater: q or r?
q
Let n be (5272/(-14))/(220/154). Is n equal to 0?
False
Suppose 4224 = 8374*t - 8385*t. Which is greater: t or -1156/3?
t
Let f = -4940389/11921 - -2901/7. I