e 3424/(-1078) - (-4)/14. Let i = 90/49 - w. Is i < 6?
True
Let v(d) = -4*d**2 + 51*d - 347. Let l be v(6). Is l != -185?
False
Suppose 4*l = -5*w - 19 + 3, -4*l + 12 = -2*w. Which is greater: 4/2661 or l?
l
Let a = -1377 + 3466. Is a less than or equal to 2089?
True
Let q = 291.71 + -291.635. Is q at most as big as 0.58?
True
Let x be 15/(105/(-2)) - 32/(-14). Suppose 5*m + x = -3. Let n be m/1*(-1 + -7 + 7). Do n and 1/46 have the same value?
False
Let p be (-3)/9 + (182/(-21) - -10). Which is greater: p or 1/6757?
p
Let o = 51.9 - 4.9. Let a = o - 34. Let j = 13 - a. Is j < 6?
True
Let d = -48 - -48.138. Let a = -108 + 108.1. Which is bigger: a or d?
d
Let n = 581 - 374. Let q = 252 - n. Do -2/9 and q have different values?
True
Let n = 359864/183 - 5900/3. Let x be 11/7 + (-8)/14. Is x > n?
True
Let w = -60 - -51. Let l be (2 + (-8 - -4))/1. Which is smaller: l or w?
w
Suppose -41*f = -780 + 5536. Which is greater: -117 or f?
f
Let q(s) = -15*s**2 + 145*s + 46. Let b be q(10). Are b and -156/55 unequal?
True
Let o = -146120/3 + 311381756/6393. Let s = 33340/134253 + o. Do -1 and s have different values?
True
Let u = -811 + 811.0121. Let p = u + -0.0121. Is 1/35 < p?
False
Let x be 9 - -24*(117/(-26) - -4). Let r be 115/(-11)*(-4)/(-10). Which is smaller: x or r?
r
Suppose -41*s = -45*s - 2*t + 106, -5*t - 25 = 0. Is 457/15 bigger than s?
True
Let m(i) = 391*i - 5379. Let z be m(14). Which is smaller: z or 4?
4
Let j be 230/276*(48/(-1755))/4. Let t = 61 - 60. Is j at least as big as t?
False
Let d = -198 - 99. Let n = -336 - d. Which is smaller: n or -0.2?
n
Let o = 36041 - 35718. Which is greater: o or 1608/5?
o
Let d(m) = 154*m - 565. Let x be d(34). Which is smaller: x or 4672?
x
Let z be (2/(-3))/((-2)/3). Let q be (42/123)/(12 + 12). Let y = 4/41 - q. Which is greater: z or y?
z
Let d be ((-5)/65)/(1/(-39)). Is 112/27 < d?
False
Let h(x) = -71505*x - 8. Let p be h(-14). Let s = -530562661/530 + p. Let u = 4/53 - s. Which is smaller: u or 1?
u
Let q = -16.1 + 14.92. Let s = q + -0.22. Which is smaller: 5 or s?
s
Let q be 103/(-10) + 53 + -43. Let y = 6.6 + 0.3. Let w = y - 7. Which is smaller: w or q?
q
Suppose 7*x = 3*x + 2*x. Suppose 9*h - 7 - 2 = x. Do -1/86 and h have the same value?
False
Let b = 570.68 + 8.32. Let a = 550 - b. Which is smaller: a or 3/4?
a
Let u = 204 + -194. Let l(t) = 2*t - 21. Let n be l(u). Which is greater: -3/17 or n?
-3/17
Suppose 3*u - 5*g - 83 = u, 0 = 3*g - 3. Let k(a) = -5*a + 9. Let b be k(-7). Is u greater than b?
False
Let v = -40273/5 + 10635. Is v <= 2580?
False
Suppose -616*q = 108 + 508. Let n be (-2)/6 - 298/(-912). Which is greater: q or n?
n
Let l = 8017.579 - 8017. Are 14 and l non-equal?
True
Let t be ((-405)/(-945))/((-178)/21). Is t greater than or equal to 1?
False
Let u = -61 - -63. Suppose 0 = -5*g - m + 31, -3*m + 15 + 0 = u*g. Let a be 4/g + (-1 - -4). Do a and 3 have the same value?
False
Let b = -374 - -645. Let p = b - 277. Is -5/4 >= p?
True
Let d(j) = -8*j - 28. Let i be d(3). Let g be (52/10)/(i/(-130)). Is g <= 12?
False
Suppose 69*o - 138*o = -56*o - 15002. Which is bigger: 1155 or o?
1155
Let g = -0.095 - -0.146. Let m = 1.787157 + 0.212843. Which is bigger: g or m?
m
Let n be -1 - (-4571 + -1) - (432 + -437). Is n < -2/3?
False
Let n = 45299/504 - 53/72. Which is greater: n or -0.2?
n
Let t be -8 - (1 + -1) - 23728/(-8). Is t at least 2956?
True
Let v(l) = -500*l - 4001. Let u be v(-8). Which is smaller: u or -7/883?
u
Suppose -1 = 3*r - 16. Let s be 18/42 - (-180)/21 - r. Let y(v) = -v + 3. Let i be y(6). Are s and i equal?
False
Suppose -3*c + 48 = -4*q, 188*q - 192*q - 88 = -5*c. Which is smaller: c or -237?
-237
Let y = 8 - 4. Suppose 0 = -f - 3*t - 6, 0 = 4*f - 3*f - y*t - 8. Let a be (-2 + 2 - 2) + 24/39. Are f and a equal?
False
Suppose -5 = -5*c, 2*c = -366*b + 369*b + 116. Is b > -37?
False
Let w be (0 + -29)*(2 + -1). Let h(o) = -o**2 + 10*o - 19. Let l be h(7). Suppose l*f - 120 = 6*f. Is f less than w?
True
Let l = 74.47 + -72.47. Which is greater: -1203 or l?
l
Let w = -18359 + 4681544/255. Is w not equal to 5?
True
Suppose 0 = -3*a + 1 + 2. Let g be (10/(-4) + a)/((-474)/8). Are g and -1 nonequal?
True
Let i = -1726 + 1927. Is -0.21 >= i?
False
Let c = 3941 - 3941.18. Which is smaller: 8 or c?
c
Suppose -l + 4*u + 20 = 0, -5*l - 6*u + 10 = -8*u. Let q be -1 + 361 - (5 - l). Let y = q - 1431/4. Is -4 less than y?
True
Let j(x) be the first derivative of 5*x**2/2 + 6*x + 39. Let q be j(-1). Let z be (0 - 0)/(-1) - -1. Is q equal to z?
True
Suppose 0 = 2*m - 2*g + 1960, 0 = -92*m + 98*m - 5*g + 5873. Which is smaller: m or -4872/5?
-4872/5
Let m = 3642 + -3586. Which is smaller: 1/22 or m?
1/22
Suppose 5*f + 18 = 4*i - 29, -3*f - 36 = -3*i. Which is greater: i or 6/343?
i
Suppose 0 = 3*l - q - 446, 2*l + 42*q - 298 = 43*q. Suppose -2*v - 4*z + 308 = 0, 0 = -2*v - 0*v + 4*z + 276. Which is bigger: l or v?
l
Let i be (1/(-622))/(-8*66/1998). Let c = i - 1/2488. Suppose 5*x - 4*x = 5*x. Is x > c?
False
Suppose 0 = -3*r, -38*r + 3 = u - 41*r. Suppose 4*g = 9*g + 3*p + 171, 135 = -4*g - u*p. Suppose 0 = -3*x - 161 + 56. Which is smaller: x or g?
g
Let n = 30 - 28. Let c = 269 + -179. Suppose -n*p + c = 4*p. Is 2 at least as big as p?
False
Let p be 4/34 + (-1436)/68. Let x be p/(-180) - (-1)/(-4). Which is greater: 5 or x?
5
Let t = 4014 + -4012.75. Is t bigger than 5?
False
Let p = -86 + 47. Let n = 20 + p. Let w be 2/(-3)*7*n/114. Which is bigger: w or 1?
1
Let w(g) = 86*g + g**2 - 169*g + 94*g. Let j be w(-11). Is 1/17 smaller than j?
False
Let t = 43.9 + 12.1. Let u = 55 - t. Is u > -20?
True
Let p = -4914 + 5031. Which is smaller: 122 or p?
p
Suppose 0 = -3*d - 3*w + 9, 4*w - 10 = -3*d - 0*d. Which is smaller: d or 19?
d
Let w(v) = v**3 + 8*v**2 - 10*v - 5. Let p be w(-9). Suppose 0 = -p*i + 5*z + 14 - 63, 2*z = 2. Is i > -6?
False
Let u(o) = -o - 67. Let r be u(0). Suppose 5780 = -161*k + 76*k. Is k bigger than r?
False
Suppose -2 + 37 = 5*k + 5*w, -5*w + 11 = k. Suppose k*a = -8*a. Do a and 2/9 have the same value?
False
Let n = 0.04 - -21.96. Let v = n - 20. Let s = -279 + 285. Which is bigger: s or v?
s
Let r(h) = 27*h - 294. Let f be r(11). Suppose 12*a + 570 = -f*a. Do a and -34 have the same value?
False
Let o be (104/(-6))/((-182)/36 + 5). Suppose -8*z + 528 + o = 0. Which is smaller: z or 104?
104
Let f(z) = 2*z - 1 - 28 + 26. Let m be f(-8). Suppose 7*q = 2*q - 95. Is q > m?
False
Suppose -516 - 270 = 6*u. Let v = u - -130. Let t be (-11)/7*v/((-4)/16). Is -7 not equal to t?
True
Let n = 1/5 - -1/5. Let w = -36.2 - -4.2. Let k = -23 - w. Is k <= n?
False
Let s = 0.179 - 127.179. Let y = 125 + s. Which is smaller: 2.1 or y?
y
Let t = -538 - -525. Let i = 5 + -3. Suppose i*a = -a - 45. Is a less than t?
True
Suppose 10*i - 8025 + 8215 = 0. Is -8/255 greater than i?
True
Suppose -u = 5*v - 4851, -2052 = -4*v + 4*u + 1848. Are v and 967 equal?
False
Let x(j) = -2*j**2 + 27*j - 12. Suppose 35 = -11*c + 178. Let s be x(c). Is -12/41 less than or equal to s?
True
Let u = 137.6 + 2.4. Let m = u + -127. Is m at most 0?
False
Let m(u) = -u**3 - 49*u**2 + 164*u + 398. Let c be m(-52). Which is bigger: 289 or c?
289
Suppose 798 - 20283 = 3*u. Let g be (2/3)/(10/u). Let w = 3889/9 + g. Is 0 at most w?
False
Let v be (4956/105)/((-1)/((-10)/24)). Which is smaller: -148 or v?
-148
Suppose -2*p = 2*p + 3*m - 106, -2*p + 2*m = -60. Let t = -27 + p. Let h be (-44)/85 + 42/105. Which is greater: t or h?
t
Suppose h = 5*q + 5*h - 1320, 0 = -2*q + 5*h + 528. Let w be q/(-506)*((1 - -3) + 2). Which is smaller: w or -2?
w
Suppose 2*l - 3*p + 204 = 0, -92 = 9*l - 8*l + p. Suppose 300 = -3*o - 2*w + 24, 4*w = 3*o + 294. Is o <= l?
False
Let r = -13277 - -13277. Are -1/816 and r non-equal?
True
Suppose 17*x + 71 = -541. Suppose 0 = -5*q + 10*q - 80. Suppose -4*d = -w - q, 97 = -2*w - 10*d + 5*d. Is w < x?
False
Suppose -8*b = -6*b + 2. Let g be (1/(-52))/((-1)/(-2)). Does g = b?
False
Let h = 176.84 - -3.16. Which is smaller: h or -2/5?
-2/5
Suppose 4*c = -3*u - 25, -21 - 14 = 3*u - c. Let x = 422 + 217. Let v = x - 3249/5. Is v <= u?
False
Suppose 0 = 8*d + 1 - 2 + 9. Which is bigger: d or 1/9304?
1/9304
Let m = 4541 - 4541.087. Which is smaller: 0.09 or m?
m
Suppose -12*c