.2 or l?
1.2
Let d be 4*1*(-1)/4. Let l be 3 + (d - 3) - 496/(-344). Is 0 >= l?
False
Let y = 9321838/95 + -98126. Let s = -2161/1558 - y. Which is greater: s or 1?
1
Let r = -221/900 - 1/225. Let u = 8.864 - 8.9. Are r and u nonequal?
True
Let t = 51 + -92. Let c = t - -14. Let h = -28 - c. Which is greater: 18 or h?
18
Let v be ((-6)/(-5))/(27/(-90)). Let c be v*4/84*6. Let n = 175 - 177. Which is bigger: c or n?
c
Let t = 183 + -24. Let i = -160 + t. Let g be 12/(-26)*(-6)/(-18). Is g > i?
True
Let j = -0.897 + 25.497. Is -2/3 smaller than j?
True
Let t = -3.8 + 3. Let z = -0.7 - t. Let a be (-13)/(-252) - 6/144*2. Are z and a unequal?
True
Let r be (-25)/(-5) + (2 - 4). Let c be 4/r*(328/40 - 9). Suppose 3*m + 2 = 2*m. Is c less than or equal to m?
False
Let i = 291 - 258. Suppose -i = -12*a + 111. Let p = -3/289 + 6653/578. Which is bigger: p or a?
a
Let p(y) be the third derivative of -y**4/24 + y**3/2 - 20*y**2. Let n be p(0). Suppose -2*d - 9 = n*h, 2*d + 15 = -d - 5*h. Which is smaller: 6/13 or d?
d
Let t = -1706 - -11964/7. Suppose 23*a + 3*r + 469 = 21*a, -2*a = 4*r + 470. Let s = a + 237. Are s and t nonequal?
True
Let t = 0.2 - -0.1. Let z = t - 2.3. Let f = 5 + z. Is 8/5 != f?
True
Suppose 21*f = 29*f + 120. Let v be (f/(1575/14))/((-2)/(-3)). Which is smaller: 6 or v?
v
Let i = 1549 + -1608. Is -63 smaller than i?
True
Let g be 34*(-4)/8 + 0 + 2. Suppose 5*b = 4*n - 35, -n = 2*b + 3 - 2. Let z be (-2 - n/(-3))*(24 + 15). Is g > z?
False
Let m(t) = -3*t**2 - 34*t - 14. Let s be m(-11). Let z be s/75*(-40)/6. Let j = -2 - -2. Which is smaller: z or j?
j
Let x(b) = -4*b**2 - 4*b - 5. Let w(c) = 2*c**2 + 2*c + 3. Let d(r) = 5*w(r) + 3*x(r). Let f be 1/(8/(-48)) - -7. Let o be d(f). Which is smaller: -8 or o?
-8
Let y = 62914/19 - 3310. Let g be 14*26*13/2366. Is y less than or equal to g?
True
Let b = 14/57349 - 36246094/6251041. Which is bigger: b or -7?
b
Suppose -73*z + 722 = -190*z + 9380. Let r be 125*(8/(-5) + 2). Let j = z - r. Which is smaller: j or 26?
j
Let r(d) = -13*d + 81. Let x = 159 + -153. Let q be r(x). Which is smaller: 8/5 or q?
8/5
Let f = -219 - -217. Let t be f/2*(2 - 32/14). Is 11 < t?
False
Let w = 41.755 - 42.755. Which is smaller: -0.04735 or w?
w
Let c = 2992 - 2985. Is c greater than or equal to 4?
True
Let x = -16 + 16. Let c(b) = b**2 - 26*b - 12. Let m be (351/156)/((-1)/(-12)). Let z be c(m). Do z and x have different values?
True
Suppose -4*f - 76 = -2*z, 0*z - 2*z - 5*f = -40. Let c be ((-4)/(-12)*9)/((-6)/(-700)). Let p be 68/374 - (1 - c/11). Which is smaller: p or z?
z
Let q = 4744835/13 + -364769. Is q bigger than 217?
True
Suppose 146*f + 873 = 149*f. Let g = f - 276. Which is greater: g or 44/3?
g
Let r = 704.19 - 696. Let s = r - -0.81. Which is smaller: 0.1 or s?
0.1
Let k = 154.3 + -153.5. Let x = -358 + 358. Is k < x?
False
Let m be (-64824)/117 + 18/351. Which is smaller: -556 or m?
-556
Let d = -3171/4 + 4943581/6236. Which is bigger: -1 or d?
d
Let h = 4 - 0. Let a be (-6)/188*h/(-12)*12. Let b = -2 + 3. Which is smaller: a or b?
a
Let x = -62 - -64. Let h be ((-280)/(-16) - 9)/(x/12). Which is smaller: h or 49?
49
Let g be (81/(-45))/((-15)/50). Let y = -886/391 - -40/17. Which is smaller: g or y?
y
Suppose 26*p - 24*p = 0. Suppose -3*f + 36 + 24 = p. Is 20 < f?
False
Let r = -136 + 176. Let j be 36/(-63) - 475/70*r. Is -273 at least j?
False
Let r(c) = 6*c + 39. Let n be r(-6). Let p(k) = -7*k + 24. Let z be p(n). Let a be (6/z)/(2*-1). Which is smaller: a or -1/22?
a
Let u be (-16)/(-2616)*11/110. Is u smaller than -1?
False
Let i = -163 + 985/6. Let n(x) = -x**3 + 12*x**2 - 12*x + 11. Let d be n(11). Suppose -6 = -3*s - d*s. Are s and i nonequal?
True
Let x = -328 - -322. Let l be (-1*(-9)/(-45))/(x/20). Which is smaller: l or 26?
l
Suppose -53*t + 6202 - 1538 = 0. Is 705/8 greater than or equal to t?
True
Let g be 8/6*(-1)/2. Suppose -k + 5*q - 527 = 0, 2*k = 15*q - 10*q - 1064. Let a = k - -16645/31. Which is greater: g or a?
a
Let b be -24 + ((-24)/(-18) - (-2)/3). Suppose 0 = 3*o - 1 - 5. Suppose 0 = 2*y + o*g + 50, 2*y + 4*g - 6 = -60. Is b less than or equal to y?
False
Let c(o) = 116*o + 475. Let w be c(-4). Let s be -3 + (2 - (-1 + -2)). Suppose 2*q - 16 = s*a, 4*q = -0*a - 2*a + 38. Which is greater: w or q?
w
Let d = -6089 + 54839/9. Which is smaller: d or 12/5?
12/5
Let d = 0.1566 - -0.8434. Is -9/71 > d?
False
Let v = 11518.2 - 11518. Which is smaller: 4.106 or v?
v
Suppose -4*s = -3*w - 0*w + 8, 0 = 5*w + 5*s + 10. Let c(d) = 3*d + 14. Let n be c(w). Let f be (-2)/n*66/(-3). Which is bigger: f or 4?
4
Let b = 513 - 509. Is 3.369 at least as big as b?
False
Let w = -401 - -407. Let h(b) = -b**3 + 3*b**2 + 7*b + 7. Let l be h(w). Is l less than -117/2?
True
Let k = 0.1285 - -668.8715. Let t = -671 + k. Which is bigger: -1/35 or t?
-1/35
Let f = 8.7 - 0.3. Let r = f - 4.5. Let d = r - 3.91. Which is bigger: 0 or d?
0
Let u(k) = -141*k + 3045. Let f be u(22). Are -5 and f equal?
False
Suppose -100 = 4*f - 4*o, 4 + 2 = 3*o. Let w = -28186 + 28164. Which is smaller: f or w?
f
Let d = 23.1 - 23.134. Let b = d + 0.244. Is 1/11 smaller than b?
True
Let p = 12263 - 8277527/675. Let w = p - -496/15525. Is w less than 1?
True
Suppose 0 = 153*r - 150*r + 6, -c = -3*r - 15539. Is 15532 at least c?
False
Suppose 0 = -9*g + 7*g - 24*g + 12974. Are 500 and g equal?
False
Suppose -o = -k, 0 = 4*o - 3*o + 3*k - 12. Suppose 0 = -4*z - o*z + 105. Let g be 88/10 - (z - 10). Which is greater: g or 4?
4
Let h = 645 + -661. Let c be (-1)/(-5) + h/(-20) + 12. Which is smaller: 138/11 or c?
138/11
Let h(b) = b**2 + 4*b + 7. Let w be h(-6). Let j(s) = 7*s - 84. Let k be j(14). Suppose 6*n - 3 = 3*n, -t + 4*n = -k. Are w and t non-equal?
True
Let v(x) = -2*x**2 + 28*x + 3. Let r be (68/20 - 3)*35. Let s be v(r). Suppose -4*h = 17 + s. Is -4 <= h?
False
Let v be 158/1659*(-30)/(1 - -1). Which is smaller: -83 or v?
-83
Let a = -2313 + 2238. Is -77 >= a?
False
Let k = -1032 - -25796/25. Let y = -3011/4503 + 3/1501. Which is smaller: k or y?
y
Suppose -2*d = 2*p + 54, 3*d - 31*p + 65 = -30*p. Is -306/13 <= d?
True
Let s = -2794 - -33601/12. Is s >= 5?
True
Suppose 18*k - 635 = 4166 + 689. Is 305 greater than or equal to k?
True
Let f be 1/(1 + (-112)/114). Suppose 5700 = 98*s + 2*s. Let l = f - s. Is -3/40 <= l?
True
Let z be 2196/4697 - 4/14. Let f be -2 + (7 - (-2 - -3)). Suppose 2*m = f*m. Which is bigger: z or m?
z
Let g(a) = -a**3 - 10*a**2 - 9*a + 8. Let h be g(-7). Let j be (3 - h/(-36))/(2/(-3)). Which is greater: j or -2?
j
Let o(a) = a**3 - 3*a**2 - 3*a - 3. Let s be o(6). Let b be 1*6*19*377/s. Which is bigger: 493 or b?
b
Let u = 25628 - 25629. Which is smaller: -216.4 or u?
-216.4
Let t(j) = -2*j + 7. Suppose -3*f = -10*f - 63. Let p be t(f). Suppose 2*y - 11 = 41. Which is bigger: y or p?
y
Let a(k) = -k**3 - 7*k**2 - 8*k + 14. Let p be a(-5). Suppose -2*o - 4*g = 152, -p*o - 4*g + 2*g - 286 = 0. Which is smaller: o or -65?
o
Let b = 14814 - 13965. Is b smaller than -11?
False
Suppose -10*j + 14*j = 3*p - 100, -p + 5*j + 59 = 0. Are p and -92 nonequal?
True
Suppose 0*o = 5*o + 10065. Let t be (6/(-2))/(1 - 0). Let z be o/44 - t/4. Is z at most as big as -45?
True
Let n = 17 + -509/30. Let b = 701 - 431. Suppose -4*i + 266 = b. Which is smaller: n or i?
i
Let f = -17244 + 17133. Is -2362/21 != f?
True
Let y = 32.17 - -0.83. Let h = y + -33.19. Let u = h + -3.81. Which is bigger: 0.3 or u?
0.3
Let p(b) = -3*b**2 + 34*b + 155. Let w be p(21). Which is bigger: w or -452?
-452
Suppose -214 = 3*p + 218. Which is smaller: -136 or p?
p
Let j = 13 - 8. Let i = 7 - j. Let z = -1.265 + -16.735. Is z at least i?
False
Let h(r) = -4*r**3 + r - 3. Let y be h(-2). Let m be (-6)/y + 120/54 - -3. Let c be (-20)/6*(-12 + m - -10). Is c at most as big as -35/4?
True
Suppose -5*d + 30 = 0, 5*p - 55 = 4*d - 79. Are p and -19/204 unequal?
True
Let o = 8158 - 8157.6. Is o greater than 312?
False
Let i(s) = 6*s + 146. Let v be i(-24). Suppose m - 5*f = 15, f + 12 = -3*f. Suppose v*x = 8, h + 2*x + 4 - 23 = m. Which is bigger: h or 2?
h
Let o(g) = -98*g + 1451. Let h be o(15). Which is greater: -34 or h?
h
Let w(i) = -i**2 + 23*i - 6. Let p be w(27). Let s be (1/3)/(6 + p/18). Which is smaller: -30/19 or s?
