-1
Let y be 11 - -549*2/22. Is y less than 60?
False
Let k = -177775/17 + 10457. Which is smaller: 385 or k?
k
Suppose -5*k + 696 = 4*u, 68*k - 71*k + 3*u = -396. Is k != -3?
True
Let v(u) = 2*u + 5. Let z be v(1). Suppose 12*l = z*l. Suppose f = l, -3 = 3*y - 3*f - 2*f. Which is smaller: -19 or y?
-19
Let d = -43 + 42.5. Are 12 and d non-equal?
True
Let m = -48 + 48.106. Let k = 22.894 + m. Are 0 and k unequal?
True
Let t(u) = 3*u**2 + 4*u - 3. Let p be t(1). Let z be 3/p + (-8531)/(-76). Let x = z - 1475/13. Which is smaller: x or 1?
x
Let r be 5 - (197/(-15))/((-20)/(-60)). Let h = r - 26872/605. Is 7 > h?
True
Let u(o) = o - 10. Let y(j) = 6*j - 50. Let m(c) = -11*u(c) + 2*y(c). Suppose 4*g = 4*b + 15 + 17, 2*b + 2*g + 8 = 0. Let i be m(b). Which is smaller: 2 or i?
2
Suppose -14*g = 187 - 299. Let w be g/(-2) + (-4192)/(-1044). Are w and -1 equal?
False
Let x = 351103/89 - 3945. Is x equal to 1.5?
False
Let n be (-377172)/168*2/6. Let k = n + 1551/2. Which is smaller: k or 27?
27
Let n be -5 - (18/(-6) - -108)*(-6)/15. Is n <= -46?
False
Let l = -228 + 236. Suppose 5*n - l*n = -6. Let t = -21/5 + 5. Are t and n unequal?
True
Let h = -30 + 30.4. Let z = -0.6 + h. Let v = 0.1 - z. Which is smaller: -1/6 or v?
-1/6
Let b(x) = -x**3 + 5*x**2 - 5*x + 10. Suppose 7*y - 2*y = 0. Suppose -k - 3*k + 16 = y. Let v be b(k). Is 6 <= v?
True
Let n = -252 + 240. Let y be ((-8)/51)/((n/9)/(-2)). Which is bigger: -1 or y?
y
Let h = 1.13 + 46.87. Let w = 53 - h. Let x = w + -4.99. Is x at most as big as 1?
True
Let c be 1*((-28)/(-35))/((-4)/(-7720)). Which is greater: c or 1546?
1546
Let w be ((-4)/(-42) + 616642/3108)*-36. Which is smaller: w or -7147?
-7147
Let h = -6.7 - -1.98. Let f = -0.02 - h. Let d = -22.7 + f. Is d > 1?
False
Let f(d) = 106*d + 2386. Let k be f(-55). Is k at most as big as -3443?
True
Suppose -967 + 59822 - 12028 = 33*z. Is z != 2839/2?
True
Let i(k) = -4*k**2 - 21*k + 20. Let u = -99 + 93. Let x be i(u). Which is smaller: -6 or x?
-6
Let z = -355 - -316. Suppose -44*s - 24 = -32*s. Which is bigger: s or z?
s
Let b(r) = r**3 - 5*r**2 + 6*r - 2. Let g be b(4). Suppose g*n - 912 = -0*n. Is n at least as big as 152?
True
Let y = -3659/7 - -14244480/27251. Do y and -1 have different values?
True
Let n = 5.5552 - 5.49. Let x = n + -4.0652. Is x at most -1.4?
True
Let t be (2 - 3)/((-38)/114). Suppose -4*z = 2*h - 0 - 10, t*z = 4*h - 20. Which is smaller: 250 or z?
z
Suppose -10*l = 3*w - 8*l + 1490, -5*w = 4*l + 2486. Is w >= -495?
True
Let v be 2/(-36)*9/((-63)/(-15722)). Let n = -125 - v. Which is bigger: n or -0.3?
n
Let l = -127.049 + 127. Let w = -0.951 + l. Let q = 1144/399 - 4/399. Is w not equal to q?
True
Suppose 25 = 478*g - 934*g + 481*g. Which is smaller: g or 150/191?
150/191
Let s be ((-726)/726)/(7/3). Which is smaller: -264/17 or s?
-264/17
Let q be (-1)/((3 + -6)/39). Let z(l) = l**3 - 12*l**2 + 13*l - 11. Let v be z(11). Suppose 12 = v*f + 1. Is q smaller than f?
False
Let a = -5887 - -3383. Is -2504 greater than a?
False
Let t be (-28)/266 - (-378)/(-19). Suppose 529 - 54 = -5*a. Let r be 0 + a/t - 3. Are r and 3 equal?
False
Let i = -1831 - -1833. Is -74 less than or equal to i?
True
Let s = -6087 + 6097. Which is bigger: 372 or s?
372
Let j = -5279 - -4122900/781. Is -1 smaller than j?
True
Let s(c) = 4*c**2 + 159*c - 34. Let d be s(-40). Suppose 0 = d*m + 6 + 156. Is -30 less than m?
True
Suppose 0 = r - 5*l + 99, -l - 354 = 23*r - 19*r. Let p be 26/((-364)/(-42)) + r/27. Is -0.1 at most p?
False
Let q be ((-20)/16)/((-1)/53). Let c = 348 + -391. Let h = q + c. Which is greater: 24 or h?
24
Let j = -0.619 - -809.619. Let p = 809 - j. Is p < -260/3?
False
Let q(u) = 46*u - 75. Let y be q(3). Let b = y + 114. Is b at most as big as 176?
False
Suppose -2*n + 3*t = 20 + 5, -2*n - 4*t = 46. Let p(q) = 4*q + 9. Let b be p(-6). Which is smaller: b or n?
n
Let k be (-32)/4 + 31/((-11935)/(-2982)). Are k and -1 unequal?
True
Let n = 3297857/363 + -9085. Which is greater: 0 or n?
n
Let l be 5/(-2)*(-30)/25. Let g be ((-4)/l)/((-7)/(231/2)). Suppose 5*p = 7 - g. Is p at most as big as -13/8?
True
Let v = -229 - -296. Let p = -227 + v. Which is smaller: -321/2 or p?
-321/2
Let q be 3/(-1926)*(-16893)/(-354). Let m = -15/214 - q. Do -2/7 and m have different values?
True
Let p(f) = -f**3 + 4*f**2 - 3*f - 1. Let n be p(3). Let a be (-3)/(102/(-33) + 3). Which is bigger: a or n?
a
Let p = 210746 - 210745. Let m = 14 - 25. Which is smaller: p or m?
m
Suppose 3*a + 0*a - 114 = 2*y, 0 = -4*y - 3*a - 228. Let j be (-836)/(-110) - (3/5 - 0). Let b be (j - (2 - -1))*-14. Which is smaller: b or y?
y
Let n = 66 - 63. Suppose -5*a - 4*i - 1 = 0, 5*a - i + n = 3*a. Let f be (1 - (3 - (1 - a)))/(-2). Are 4 and f unequal?
True
Let k = -21.46 + 22.53. Let z be (-6)/(-27)*9/4. Is k <= z?
False
Let g = -4115 + 4100. Let i(c) = -c + 0*c**2 - c**2 + 2 + 7*c - 1. Let z be i(6). Is g greater than z?
False
Suppose 3471 = 25*l - 64*l. Is l less than -85?
True
Suppose -2887 = -o - 14866. Let k be (-8)/6 + (-16170)/o. Is 0 less than or equal to k?
True
Let q(a) = -555*a**3 - 1. Let f be q(-1). Let x be 4/f + 0 + 0. Are x and -1 equal?
False
Let s = 55 - 51. Suppose s*h + 0 = 72. Suppose 4*r = 5*r - h. Is r less than 18?
False
Suppose 0 = -24*m + 31*m - 35. Suppose 0 = -2*l + 2, -5*l - m = -r - 0*r. Which is smaller: 60/7 or r?
60/7
Let t = -545.7 + 545.885. Is 2 <= t?
False
Let p = -254 - -227. Let y be -3 + 274/(-6) - 36/p. Which is smaller: y or -47?
y
Suppose -29*k - 30 = -24*k. Suppose -r + 10 = -2*r. Let y be (12/r)/((-2)/(-10)). Is y smaller than k?
False
Let t be 6 - 327/36 - -3. Let g = t + -7/12. Let a = -383/6 - -64. Which is smaller: g or a?
g
Let o = -6138 - -877673/143. Let l = -3/11 - o. Let b(d) = -2*d + 13. Let c be b(6). Which is smaller: l or c?
l
Let w = -1971391/114284 - 2/28571. Let y(a) = 25*a. Let h be y(-2). Let l = h - -34. Which is smaller: w or l?
w
Suppose u + 5*x - 5 = 14, -17 = u - 4*x. Let k(s) = -151*s - 58. Let a be k(u). Is a <= -1?
False
Let t(y) = -21*y + 115. Let w be t(7). Is w greater than or equal to -48?
True
Let c be (-3622)/18 + -1 - 176/(-792). Suppose -16*o - 1586 = 1646. Is c at most o?
True
Let b be (-180)/((-2)/(-1))*(-592)/5772. Do b and 6/17 have different values?
True
Let i(a) = 3*a**2 - 96*a. Let p be i(32). Suppose -4*b - 4*l = -24, 0 = 5*b - 4*b - 5*l + 24. Let t be 680/225 - (b + 4/2). Is p greater than or equal to t?
False
Let o = -19.4 - -21. Suppose -14*b + 7*b = 33*b - 80. Is o greater than or equal to b?
False
Let k be 1/4 - (-873)/(-36). Let z be (-1)/4 - 78/k. Let n be z/(-2 - (4 - 5)). Is n not equal to -13/3?
True
Let o = 752 - 751.9072. Let n = o - -92.9072. Which is greater: -2 or n?
n
Suppose 4 = a - 5*q, 0*a + 4 = a - 4*q. Let y be (1 - -1)*a/(-1). Suppose 0 = 7*z - 8*z - 2*g - 5, g = -4*z - 20. Is z not equal to y?
True
Let f = 50.15 + -0.15. Let q = 86 - f. Let p = 24.9 + -25. Is q at least p?
True
Let l(u) = -u**2 + 7*u - 19. Let v(j) = -3*j**2 + 14*j - 40. Let z(k) = -5*l(k) + 2*v(k). Let w be z(2). Let p be 2/(-4) + (-6)/4. Is w != p?
True
Let w be 44 + (-5 - (-24)/4). Let i be 8/(-20) + 18/w. Which is smaller: 1/65 or i?
i
Let l = 4/5307 - 10850/313113. Which is smaller: 14 or l?
l
Let a(d) = d**3 + 94*d**2 - 111*d - 1503. Let s be a(-95). Is 357/23 smaller than s?
True
Let s be ((-14475)/60)/((-20)/(-24)). Which is smaller: s or -290?
-290
Suppose 30 - 6 = 6*l. Suppose -s + 12 = t + t, 0 = 4*t - l*s - 48. Suppose 12 = -2*r - 3*i, 3*i - 5*i - t = 4*r. Are -3 and r non-equal?
True
Let u(n) = -2*n**2 - 8*n - 9. Let f be u(-6). Let q be 12/(-9)*f/(-2). Let a be (-262)/(-11) - 4/q. Which is smaller: 25 or a?
a
Let o = 11778 + -11731. Which is smaller: -3/29 or o?
-3/29
Let w be ((-60)/75 - 2/(-5))/(32/(-80)). Is w != 33/224?
True
Suppose 4*n = 7*n + 4*n. Is n equal to 27/413?
False
Let v = 3945 - 110471/28. Let h be (-9 + (-564)/(-60))*5/2. Which is smaller: v or h?
v
Let n(g) = -g**3 - 17*g**2 - 17*g - 20. Let o be n(-16). Let f be (o/3)/(46/9). Is 1 at least f?
True
Let v be (-34762)/700 - (-5)/(20/(-2)). Which is smaller: -51 or v?
-51
Let w(n) = 6*n - 37. Let v be w(-16). Let k be (-4 + 15)/(7/v). Is -209 bigger than k?
False
Let a = -487 - -487.033. Is 10/3 bigger than a?