. Let d be z(-15). Let p = d + 142. Is p smaller than 2?
True
Suppose 0 = -550*j + 551*j + 141. Let k = 146 + j. Let c = 9/28 - 4/7. Is c < k?
True
Let b = -118/3 - -39. Let p be 750/(-6)*(-24)/20. Let w = 299/2 - p. Which is smaller: w or b?
w
Let o be (((-11472)/1673)/(9/14))/(1/(-6)). Is o < 507/8?
False
Let s be (17/276)/((-3859)/(-544) - 7). Let g be 6/9 - (-136)/(-207). Let u = g + s. Which is bigger: u or 1.8?
1.8
Let k be (2 + 22)*3*(-1)/2. Let f be (-1)/(9/k) + -7. Let z(c) = -2*c**2 + 5*c - 4. Let b be z(3). Is f smaller than b?
False
Let q(j) = 8*j - j**3 - 2*j + 2338*j**2 - 6 - 2335*j**2. Let b be q(3). Let w = 1/68 - 9/34. Which is smaller: w or b?
w
Let q be 1641/(-2262) - -8*((-1085)/(-364) + -3). Which is smaller: -2 or q?
-2
Suppose -4*l - 37 = -3*s + 218, -3*l + 255 = 3*s. Is s greater than or equal to 83?
True
Suppose -13*b + 24 = 128. Let y be (-192)/(-504)*(-138)/b. Which is smaller: y or 7?
y
Let m = -1.1 + 1. Let r = 0.913093 + 0.016907. Which is smaller: m or r?
m
Let w = 1 - -3. Let v = 50.74 - 53. Let i = v - -2.2. Which is smaller: i or w?
i
Let o = 1113/4 - 36785/132. Let k(m) = -3*m**2 + 4*m + 7. Let j be k(-1). Is o greater than j?
False
Let g = -3.16 - -4.16. Let u(w) = -4*w + 5. Let n be u(10). Are g and n unequal?
True
Suppose 2*f - t + 3*t + 84 = 0, 4*t = -3*f - 122. Let h be ((-501)/6)/((-23)/f). Which is greater: -169 or h?
h
Suppose -a - 197*s + 176 = -196*s, -2*a - 3*s = -353. Which is smaller: a or 85?
85
Let s = -8 + 9. Let y be (8/12)/(s/159). Suppose 4*c = 2*i - 90, y = 2*i + 2*c + 2*c. Is i less than 48?
False
Let b be 7/350*4 - (-14360)/1750. Let x be (-2)/(-8) + 62/8. Which is smaller: b or x?
x
Let u = 137 - 76. Suppose 0*w + w + u = 3*t, -t + 5*w + 39 = 0. Is t greater than or equal to 25?
False
Let h = 143/38 + 5651/114. Which is bigger: h or 4?
h
Suppose 2 = d + 5*b, 3*b + 5 = -d + 1. Suppose 7 = 11*z + 205. Are z and d non-equal?
True
Suppose -347*i - 23859 = -106*i + 36873. Which is smaller: i or -268?
-268
Let w be 6/(-4*(-11)/7414). Is 1013 bigger than w?
True
Suppose -65*w + 13585 = -5200. Which is bigger: 276 or w?
w
Suppose -3*l + 390 = -c, l - 3*l + 249 = 3*c. Let k = 139 + 191. Let v be -2*l/k - (-6)/33. Which is smaller: v or -2/3?
-2/3
Let h = 157799 - 5069608475/32127. Which is greater: 0 or h?
0
Suppose -4*i - 290 = -5*r + 267, 3*r - 4*i = 339. Let a = r + -116. Let z be (-8)/a - (-7)/(-49). Is z > -1/92?
True
Let l = -27 + 25. Let m be (-1)/(-14)*l*(-48)/(-112). Which is bigger: m or -1?
m
Suppose 13*u - 4*u - 18 = 0. Let h be (1 + -51)*u*4/(-24). Is 16 smaller than h?
True
Let x(l) = -87*l + 3. Let i be x(-2). Let v = i - 165. Let o = 46 - 33. Is v at least as big as o?
False
Let h be ((-1206)/5159 + (-2)/(-22))*7. Which is smaller: h or -8/723?
h
Suppose 0*l - 12 = -3*l. Let y be 2 - l - (5/2)/(-1). Let v = 3/41 - -29/164. Is v less than y?
True
Let r be (-1734)/84 + (15 + -3)/2. Is r equal to -16?
False
Let c = 4967.9 - 4968. Which is greater: c or -710/7?
c
Suppose 4*p + 5*g - 11 = 0, -2 = 5*p - 2*g + 3*g. Let f be (424/(-14))/p - (-40)/(-140). Suppose 0 = -4*j + f + 6. Which is smaller: j or 15?
j
Let d(f) = f**3 - 19*f**2 + 48*f + 307. Let g be d(14). Let u(t) = -t**3 + 2*t**2 + 3*t - 1. Let s be u(4). Is g >= s?
True
Let g be (2 + -854)*4/(-8 + 0). Let l be (-1 - (-139)/5)/(g/1775). Which is smaller: 112 or l?
l
Let z = 225 - 208. Which is greater: -47 or z?
z
Let g = -101.585 + -4.415. Which is greater: 1 or g?
1
Suppose -4*u = -5*h - 8, -2*h - 31 + 29 = -u. Let d be 2 + 82/(-64) + -1. Which is smaller: d or h?
d
Let b = -1 - -9. Let r(z) = -z + 9. Let i be r(b). Suppose 3*v + v - 24 = q, -3*v + 5*q + i = 0. Are v and 4 non-equal?
True
Suppose 0 = 25*c - 24*c - 4*t - 1006, t + 3964 = 4*c. Suppose 10*h = 32*h + c. Let g be -45 - ((-6)/(-2) + -2). Is g smaller than h?
True
Let b(d) = -d**2 + 8*d - 19. Let h(r) = -1. Let k(f) = -b(f) + 4*h(f). Let s be k(5). Let i be ((-4)/(-18))/1*-3. Which is greater: s or i?
s
Let s = 296.8751 + 0.2249. Let b = 297 - s. Is b smaller than -147?
False
Suppose 0 = 29*a - 114 + 27. Suppose a*w = -39*w + 42. Is 2/75 greater than or equal to w?
False
Let y be (-2)/(-4)*(1 + 9). Suppose 0 = -5*p - 25, 1 = y*z + 2*p - 4. Suppose z*c - 2 = -8. Which is bigger: c or -4?
c
Let k(g) be the first derivative of g**4/4 + 11*g**3/3 - 3*g**2 - 9*g + 2. Let y be k(-11). Suppose -2*w = 4*z - w - 87, 2*w + y = 3*z. Is z smaller than 22?
True
Let v = 1/25471 - 85990103/178297. Let x = 2393598/4963 + v. Which is greater: x or 0?
x
Let m = -7836 - -7700. Is -125 greater than m?
True
Let i = -2291.1 - -2293. Is -10 < i?
True
Let j = -46.41 + 49.9. Let b = j - 3.49. Is -26 at most b?
True
Let b be 858/66 - (-2429)/(-187). Are b and 4 equal?
False
Let d = -1 + 1. Let h = -39273 + 39273.9. Which is greater: h or d?
h
Let d = 256 + -82. Suppose -d*f + 163*f = -1001. Is 91 at least as big as f?
True
Let b = 1561 - 2787. Is b at most -2?
True
Suppose -3*o + 125 = -4*r, -r + 3*o = -4*r - 99. Let g be 7/49 + r/(-70). Let h be 1/(4/(-4) - 1). Is h < g?
True
Suppose -20 = -46*f + 56*f. Let s be f - (-6 - 2/(-1)). Suppose 5 + 9 = -2*k - 5*z, 5*z + 18 = -4*k. Which is smaller: k or s?
k
Let n be (1/(1435/14))/((-3)/5). Let h(s) = -s**3 - 33*s**2 - 31*s + 31. Let t be h(-32). Which is smaller: n or t?
t
Let x(d) = d**2 - d + 25. Let n be x(0). Let z = -32132 - -160784/5. Do z and n have the same value?
False
Let b = 10.59 - -18.47. Let n = 29 - b. Let c = n - 1.24. Is 2/9 >= c?
True
Let o = 7783 - 7808. Which is greater: o or 94?
94
Let m = -457 + 570. Do 98 and m have different values?
True
Let f be 4*(5 + -1459)*-1. Let p be (-2)/((-1000)/(-5))*f/54. Let j = p + 28/27. Which is bigger: -1 or j?
j
Let p = 0.15 + -0.1. Let q = -2.35 + 2.4. Let g = p + q. Is g less than or equal to 6?
True
Let i be ((4 + (-309)/75)/(15/(-20)))/(-2). Is -67 >= i?
False
Suppose 6 = -t + s + 4, t = -2*s - 2. Let k be 20/40*(t + -50). Is -28 >= k?
False
Let k(c) = 3*c**2 - 26*c - 6. Let s be k(9). Let z(j) = 13*j**3 - j + 2 + 5 + 8*j - 12*j**3 + s*j**2. Let v be z(-3). Is v at most -14?
True
Let d = -79 + 83. Let u = d + -4.07. Which is greater: 0 or u?
0
Let k = 1026/7 + -3274/21. Let n be ((-10)/(-15))/(1/30). Suppose -8*h + 6*h = n. Which is smaller: k or h?
h
Let c be 4/10 + 3224/(-260). Let m be (-2)/2 - (c + 13). Is m greater than -154?
True
Let f = 498614/33 - 15108. Let t be 169/13 - (6 - 11/((-66)/36)). Are t and f unequal?
True
Suppose 99*l = 106*l + 25032. Let p be 3/2*(-1 + (-3544)/l). Is p < 0?
True
Let b = -259.9 + 259.8. Which is bigger: 2/1679 or b?
2/1679
Suppose 2*j + p - 88 = 0, 0 = 2*j - 0*j + 5*p - 80. Let l be ((-248)/40 - -7)*5. Suppose h = -x + 42, -l*x + 226 = 5*h - 3*x. Which is smaller: j or h?
j
Let n be ((-432)/450)/(-12)*-5. Which is smaller: n or 12252?
n
Suppose 3*u - 619629 + 2316537 = -120*u. Is u at most -13795?
True
Let s = -3.1 + 3. Let i = 3.68 - -1.12. Let n = i - 4.94. Which is smaller: s or n?
n
Let t = -149.686 + 149.82. Which is greater: 0.08 or t?
t
Let k = 3 + -3. Suppose k = 6*u - 78 + 66. Which is smaller: 5/7 or u?
5/7
Suppose -96*k - 103*k = -88*k + 919302. Which is smaller: k or -8283?
-8283
Let c(h) = h**2 - 78*h - 329. Let o be c(82). Which is greater: o or -2/903?
-2/903
Let s = 1323 - 1379. Let y = -92 - -35. Is s > y?
True
Let c = -0.602 + 1.347. Which is bigger: c or -7?
c
Let r = -3953 - -169991/43. Let i = r - 667/387. Let x be (-39)/(-26)*(-8)/6. Are i and x equal?
False
Let w = 34665 - 34665. Which is greater: -174/575 or w?
w
Let t = 2329.7 + -2333.7818. Let d = -0.0818 - t. Which is greater: 1/75 or d?
d
Let n be ((-6)/21)/(1/(-21)). Suppose 2*h = -4*z + 52, z = 10*h - 7*h + n. Which is smaller: z or 37/3?
z
Suppose 2*s = -3*n - 2*n - 9445, 3*s = -4*n - 14178. Are s and -4730 non-equal?
False
Suppose 5*f + 4*q - 124 = q, -5*f + 2*q = -134. Suppose f*y = 8*y - 9*y. Is -5/13 != y?
True
Suppose 4*u + 60*u = -23888 - 21808. Do u and -713 have the same value?
False
Let n(o) = -o**3 + 8*o**2 - 8*o + 29. Let l be 4/(-14) - 153/(-21). Let h be n(l). Let p = h - 35. Is -12 less than or equal to p?
False
Suppose 14*n - 24*n + 780 = 0. Suppose 24 = 9*x + n. Is x at least as big as -48/7?
True
Let q(g) = 47*g**2 - 41*g - 23. Let t be q(-4). Is 