 y - x - 237. Is n less than y?
False
Let i be (-2802)/14 - (-10)/70. Let m = i - -200. Is m greater than or equal to 22/35?
False
Let n = -87.8 + 87. Let b = -165.9 - -164. Let r = n + b. Which is bigger: r or -2/3?
-2/3
Suppose 45*j - 98*j - 159 = 0. Let f = 1.25 + 86.75. Which is smaller: j or f?
j
Let y = 15 - 5. Let d be -1*(y - -2)/(-2). Let w = 844905/7 - 120701. Which is smaller: d or w?
w
Let j(w) = -48*w - 3. Let a be j(-1). Let n = -24 + a. Let h be (-32)/(-112) - 152/(-7). Is n at least as big as h?
False
Let l be (-3)/(3/(-2 - 0/(-1))). Suppose 7 = -4*s - 5*t, 0 = l*s - 7*s - 3*t + 1. Is s bigger than 4?
False
Suppose l + 2*l = 12. Suppose t = -l*t + 230. Let k = t + -50. Is k greater than or equal to -2?
False
Suppose 9 = -5*z - 4*a, 2*z = -z - 5*a - 8. Let c be ((-4)/2)/(11/(-110)). Let u be (-75)/c - -4 - 43/(-4). Is u less than z?
False
Suppose 40*u = 2*w + 44*u + 8, 0 = 5*w - 3*u - 32. Suppose -w*b + 56 = -96. Do b and 33 have different values?
True
Let d be 2910838/16709 - 4/7. Is 173 bigger than d?
False
Let p(k) = 9*k + 49. Let j = -96 - -90. Let o be p(j). Let c be -3 - -1 - 288/(-136). Are c and o nonequal?
True
Suppose -7*l = -3069 - 6199. Let d be ((-1509348)/(-456))/((-5)/2). Let y = l + d. Is 1 > y?
True
Suppose -2 = 5*d - 2*d + 2*n, 5*n = -2*d + 17. Let h(c) = 5*c + 10. Let x be h(d). Let s be (-1)/(-36) - x/45. Which is smaller: 2 or s?
s
Let o(c) = 53*c + 4028. Let d be o(-75). Is d > -21?
True
Let u(q) = 2*q**3 - 12*q**2 - 93*q + 57. Let l be u(15). Is 2712 > l?
False
Let v = -297 + 113. Let i = -115806 + 115624. Which is smaller: i or v?
v
Let l be (11 + 345/(-30))*-176. Is l at most as big as -1.8?
False
Suppose c + 37 = t, -3*t - 4 = c + 41. Let w = -4 + -28. Which is greater: c or w?
w
Let z = -7.2922 + -0.0078. Let r = 7 + z. Let o = 0 - -1. Which is greater: r or o?
o
Let n(s) = -230*s**3 + s**2 - s - 2. Let h be n(-1). Let t be (-9)/12 + h/200. Which is smaller: 24 or t?
t
Suppose -17*u - s = -12*u, -5*u - 5*s - 20 = 0. Do 2/5495 and u have different values?
True
Let k = -4518 - -3814. Which is smaller: -1 or k?
k
Let x = 2390 + -2391. Is x < 2/413?
True
Suppose -u + 170 + 38 = 5*p, 2*u + 214 = 5*p. Are 616/15 and p unequal?
True
Let b(d) = -48*d + 225. Let w be b(6). Let z be (1/13)/(21/w). Is z > 1?
False
Let y be -3 + 1170/315 - (1578/(-84) - -2). Let h be 138/8 + 1/(-4). Which is smaller: y or h?
h
Let t = 7978 + -7928. Let w = -1.9 - -2. Which is bigger: t or w?
t
Let b be (-4)/(-18) - (-2)/18*34. Suppose 5*u + 15 = 4*l - 5*l, -b*l = -5*u + 160. Let t be 2/(-7) + ((-340)/l)/4. Is t <= 3?
True
Let a = -240 - -197. Which is smaller: a or -38?
a
Let g = 0.1 + -0.3. Let j = 3.5 - 8. Let c = -2.8 - j. Which is smaller: c or g?
g
Let j = 22268/9 + -2484. Let x = -656 - -656.1. Which is greater: j or x?
x
Let w(c) = 21*c - 1217. Let h be w(58). Are -0.1 and h unequal?
True
Let r = -13 - 1. Suppose -5*o + 248 - 173 = 0. Suppose -o*n - 165 + 0 = 0. Do r and n have different values?
True
Suppose 0 = -4*k + 50 - 30. Let z(f) = -3*f**2 - 5*f + 11. Let j be z(k). Which is bigger: j or -88?
-88
Let j = -14 + 32. Suppose 4*m = 4*r + j - 2, 2*m - 33 = -3*r. Let k be 1 + 2/(-1) - -11. Which is bigger: m or k?
k
Let n(p) be the first derivative of -p**4/4 + 8*p**3/3 + p**2 + 40*p + 76. Let w be n(8). Which is smaller: w or 55?
55
Let m be (357/(-34))/((-15)/10). Let b(t) = t + 8. Let j be b(-6). Are j and m non-equal?
True
Let s = -362 + 362. Let y(z) = 85*z**3 + z**2. Let b be y(-1). Let v be ((-63)/b)/(-6 - s). Which is bigger: 1 or v?
1
Suppose -2*v - 5*m = -5, m - 25 = 4*v - 68. Suppose 80 = -v*a + 30. Is -12 at least a?
False
Let t be 2061720/9775 + 4/(-34). Which is greater: 212 or t?
212
Let x(i) = -i - 7. Let g be x(-6). Let z(q) = 769*q - 22308. Let f be z(29). Is g equal to f?
False
Let x = -73.44 - 3.56. Let r = x + 156. Are -2 and r non-equal?
True
Let s = 47.313 + -47.113. Let h = -3 - -2.4. Let p = -3.1 + h. Is s less than or equal to p?
False
Let r = -36.18636 - -0.18636. Are r and -4/77 nonequal?
True
Let l = 3565 + -3570. Which is bigger: 576/5 or l?
576/5
Let a be (32/24)/((16/18)/(-4)). Let v be (16/a)/(-3*(-16)/(-2664)). Is v < 149?
True
Let g(a) = a**3 - 12*a**2 - 11*a + 19. Let u be g(13). Suppose 4*k = 27 + u. Suppose 13*c = 7*c - k. Which is bigger: c or 4?
4
Let i be (-38)/3*(-39)/26. Let c(o) = o**3 - 17*o**2 - 47*o + 11. Let q be c(i). Which is smaller: q or -161?
-161
Let q = 341 + 1801. Which is smaller: 1 or q?
1
Let w = 57.78 - -0.22. Let k = -58.3 + w. Let v = 2/111 - 76/111. Is v != k?
True
Let v = -320 + 651/2. Suppose 4*f + 48 = 5*i, 3*f = -0*f + 2*i - 36. Let d = 19 + f. Are v and d nonequal?
True
Let l be 15/((-8)/4 - -3). Let d be 1/(-3) + (-86)/(-6). Which is smaller: l or d?
d
Let z = 30415 - 30411. Which is smaller: z or 0.37?
0.37
Let t be -3*24/54*213. Let n = t - -280. Which is bigger: n or -8/3?
-8/3
Let u = -219 + 331. Let k be 1 + u + (6 - 6). Suppose k = 5*o + 33. Is o greater than 16?
False
Suppose 2*w - w = 0. Suppose 18 = -4*a - 2*n, -a + w*a - 2*n - 6 = 0. Let z = -211 - -206. Which is bigger: a or z?
a
Let z = 266 - -3070. Let w = 230189/69 - z. Is w at least 1/4?
False
Let c be (-9)/6*(-8)/3090. Let h be (3/90)/(135/4050). Which is bigger: h or c?
h
Suppose 5886 = 8*u - 194. Let s be 3/9 + u/15. Which is smaller: 47 or s?
47
Let q = 213 - 72. Suppose 3*f + 3*m - q = 0, -3*f = 2*f - 5*m - 285. Let r be 8/f + (-384)/(-39). Is 12 bigger than r?
True
Let y be 16/(-192)*((-4)/70)/((-30)/600). Which is smaller: y or 0.4?
y
Let b be ((-22)/4 - (-1)/2) + 195. Let k = -36 + b. Which is greater: 156 or k?
156
Let s be (732/549)/(10/(-3))*-1. Is 5931/2 less than or equal to s?
False
Let a be ((-15)/(-17) - 1)*(82348/(-2576) - -32). Which is bigger: a or 1?
1
Suppose -17*b = -20 + 156. Let t(k) be the second derivative of k**3/2 + 3*k**2 + k. Let w be t(-5). Which is greater: w or b?
b
Let m(p) = -p**3 + 7*p**2 - 9*p + 9. Let z be m(6). Let v(r) = 6*r + 17. Let j be v(z). Which is greater: -6 or j?
-6
Let i(k) = -16*k + 8. Let w be (-8)/(-6)*(3 + (-15)/20). Let s be (w - (-5 + 2)) + -4. Let l be i(s). Which is smaller: 2 or l?
l
Suppose b - 2*b + 5 = -r, 5*b = 2*r + 16. Let v(h) = 56*h + 32. Let c be v(r). Is c greater than -136?
False
Let v(i) be the second derivative of -i**5/20 + 47*i**4/12 - 35*i**3/6 + 35*i**2 + 274*i. Let u be v(46). Which is bigger: 577 or u?
577
Let g be 146175/27852 + 6*3/24 - 6. Is g smaller than -1?
False
Suppose 0 = -14*w + 44 + 1972. Suppose w = -13*j - 11*j. Let t = -13 + 2. Which is smaller: t or j?
t
Let b(h) = 178*h**2 + 1 - 86*h**2 - 90*h**2. Let j be b(0). Are j and -7/18 equal?
False
Let l be (20/84)/(105/294). Are -3590 and l non-equal?
True
Let a = -2.66 + -0.53. Let n = 2.59 + a. Which is smaller: n or -40?
-40
Let c(k) = k**3 + k**2 + 4*k - 27. Let b be c(-8). Let d = b + 474. Is d > -29?
False
Let o(y) = 2*y**3 + 14*y**2 - 15*y - 69. Let u be o(-7). Do u and -91 have the same value?
False
Suppose 2*o - 1 = -3*i, -86*i - 5*o = -87*i + 6. Which is bigger: 1/3585 or i?
i
Let d = 0.1 - 0.2. Let z = -6657 - -6656.8. Which is greater: d or z?
d
Let w = 1918/1495 - 6/115. Is 2 greater than or equal to w?
True
Suppose 56 = -238*v + 246*v, -s = -2*v + 311. Let x be (149/2)/(2/(-8)). Is s at least x?
True
Let r be 6/4*((-144)/14796)/((-1)/(-1)). Which is smaller: r or -12?
-12
Suppose -13*t - 25*t - 4113 = 1549. Are t and -162 non-equal?
True
Let a be (59 - 55) + (-2959)/969. Let s = -5/969 + a. Which is smaller: s or 2?
s
Let b be (-3)/((-6)/4)*(-18)/36. Let q be (-1)/3 - b/(-6). Let s = -5/4 - q. Is s smaller than -11?
False
Let n = 636.868 - -1.132. Let i = n - 638. Which is greater: i or -215?
i
Suppose 35 = 5*m, -18531 = 4*y - m - 18524. Let z = -48968/5 + 9705. Let v = z + 88. Do v and y have different values?
True
Let r = -586 + 147. Let y = -444 - r. Let a = 0.5 + -4.5. Which is greater: a or y?
a
Suppose 1068*g - 1076*g + 1584 = 0. Suppose 0 = 6*l + g + 522. Is l less than -121?
False
Let h = -4162 + 4481. Which is greater: h or 320?
320
Let c = 1074 - 179. Let j = c - 4461/5. Let p = -12/5 + j. Are 6/13 and p equal?
False
Let i = 1310/23 + 6031/115. Let j = i - 110. Let r = 80 + -74. Is r smaller than j?
False
Let y(l) = -l**2 - 21