greater: y or l?
y
Let u be (4 - (2 + (-30)/10)) + (-2 - -328). Is u at least as big as 332?
False
Let i = 164 + -108. Let c be i/12*(12/(-39) + 1). Which is greater: c or 2?
c
Let i(f) = 153*f + 5759. Let l be i(-39). Are l and -172 unequal?
True
Let d = -46.92 + 46.52. Let s = -6 + 5. Let z = s + -1. Which is smaller: z or d?
z
Let z be (-4)/16 - 19/(-108). Suppose 3*w + 99 = a, 0 = -2*w - 0*w - 6. Let x be 6/(-4) - a/(-36). Is x greater than or equal to z?
True
Let j be (-2 - (-86)/(-6))/(2/6). Suppose 0*u + 12*u = 552. Let a = j + u. Is a smaller than -13/4?
False
Let w be 1 - 19698/10960 - (-60)/75. Which is smaller: -1 or w?
-1
Let k be (644 - -1)*((-1218)/1000 + (-15)/(-12)). Is k at least 20?
True
Let v(j) = 2*j**2 + 3*j + 4. Let u be v(-6). Let h = -17299 + 17355. Which is smaller: u or h?
h
Suppose 64*k + 3061 - 44789 = 0. Which is greater: 7182/11 or k?
7182/11
Let w(p) = p**2 - 31*p + 104. Let o be w(4). Let s be (1/35)/(-2 + 3). Does o = s?
False
Let h = -252.51 + 94.51. Which is greater: h or 3/5?
3/5
Let d = -3995 + 4869. Is -1/3 smaller than d?
True
Let o = -83753/18205 - -2/3641. Let x(u) = 4*u**2 + 5*u + 44. Let m be x(-10). Let w = 390 - m. Which is bigger: o or w?
w
Let n = -115/34 - 2/17. Let g = 11.6 + -11.506. Let a = 0.106 + g. Is n greater than or equal to a?
False
Suppose -3*p = -9 - 0. Let o be -3 + 106/40 - p/(-4). Suppose 4*t = -2*s - 18, 0*s - t = 3*s + 2. Which is smaller: s or o?
o
Let j = -61/25 - -71/25. Which is smaller: j or -0.4507?
-0.4507
Suppose k = 3*k + h - 3, 2*k = -4*h + 12. Suppose k = 8*b - 3*b - 20. Suppose 3*n + 5*o - 19 = 0, b*n + 28 = -3*o + 7*o. Is n greater than -24/11?
True
Suppose -13 = 3*o + 8, 35 = -5*l - 5*o. Is l smaller than -1493?
False
Suppose 4*d - 3*j = -0*d - 11, d = j - 4. Let m be (0 - d)*(-17 + -5). Which is smaller: 24 or m?
m
Let c be (((-160)/(-24))/(-5))/(2/(-6)). Suppose -1485 = 11*r + c*r. Is r at least -98?
False
Let a be (23 - (-423)/(-18))*(1 + 1/(-1)). Does 4/2125 = a?
False
Let m = 720.9267 - 2.8767. Let p = -718 + m. Which is bigger: p or 2/107?
p
Let n be (36/8)/((-6)/(-32) - 0). Suppose -4*w + 7*w = 4*y - 40, -w = 4*y + n. Let f be w/(-70)*(-90)/(-12). Is 2 at most f?
False
Let i = 69.6 - 29.6. Let u = 36 + -70. Let f = u + i. Is 4 <= f?
True
Let r be (0 + -13)*37 + 8. Which is greater: r or -477?
r
Let q = -105687429313/68 - -6231345791/4. Let j = q - 3608478. Let s = j - 1068. Which is smaller: 1 or s?
s
Let v = 25.75 - -218.95. Let o = v + -245. Which is bigger: -6 or o?
o
Suppose 3*c - 5*o = -2921 - 750, 3*o - 6097 = 5*c. Are c and -0.4 equal?
False
Let i be (1 - (-4)/(12/51)) + -4. Suppose -15*p + i*p = 92. Is -91 not equal to p?
True
Let o = 20351 - 14031. Which is smaller: o or 1?
1
Let k = 3332284/39 + -85437. Let a = k + -77/13. Is a greater than -1?
True
Suppose 4*d + 28 = -0*p - 5*p, -p + 7 = -d. Is d != 469?
True
Suppose -14*u = 4*u + 90. Let s be ((-2)/(-10))/((-24)/(-5) + u). Which is smaller: -5 or s?
-5
Let f be (-3)/15 + 16/(-20). Let j be 2/(-836) - (-60 + 60). Is f less than j?
True
Let y = -756 - -1064. Let i = y + -319. Is 10 at least as big as i?
True
Let w = -337077/13162394 - 12/22931. Which is smaller: 0 or w?
w
Let o = 5266 + -5299. Does o = -74?
False
Let u = -4630 - -4489. Is u smaller than -130?
True
Let p = -26.9914 + -0.0086. Let q = -71 - -127. Let u = p + q. Which is smaller: u or -0.1?
-0.1
Let o = 31880238/105985 + 10/21197. Let v = 11008/35 - o. Are v and 14 non-equal?
True
Let o(i) = -3*i**3 - 84*i**2 + 155*i + 161. Let w be o(-30). Is w less than 908?
False
Let n be 13 - (92072/5763 - 3). Is 0.1 greater than or equal to n?
True
Suppose -15*n + 1844 = -92071. Is 6262 greater than n?
True
Let h = 9.7 + -70.7. Let u = -88.05 + 60.05. Let w = h - u. Is w >= -1/3?
False
Suppose 5*i = -627*x + 626*x + 1096, i - 212 = -2*x. Suppose -4*o + 1185 = 5*t + 338, -2*o + 2*t + 446 = 0. Which is smaller: i or o?
o
Let u = -2/693 - -499/5544. Which is smaller: -1 or u?
-1
Let b = 1849 - 1697. Is 458/3 <= b?
False
Let n = -222123338/935 - -2610202/11. Let s = n - -274. Is -1 smaller than s?
True
Let w be (184/(-5))/(60/(-150)). Let q be 2/(-88)*(-48)/w. Is 1 equal to q?
False
Let t(x) be the second derivative of x**3 + 5*x**2/2 - 5*x. Let k be t(-5). Let a be -4 + (1*(-75)/(-9) - 5). Which is smaller: k or a?
k
Let j = -10 - -12. Suppose 0 = -j*i + 7*i + 260. Let y = -42 - i. Is 32/3 less than y?
False
Suppose -2 = y - 3*y. Let o = 168/743 + -67775/296457. Is y less than or equal to o?
False
Let g be -3*((-61)/3)/(-1). Suppose 0 = 436*n - 447*n - 693. Let x = n - g. Is -3 greater than or equal to x?
False
Suppose 5*f + 3*l + 479 = 0, 16*l - 12*l + 482 = -5*f. Is f not equal to -64?
True
Let r be 0/(-5 - -10 - 2). Suppose -6*c - 11 + 35 = r. Is c at most 3?
False
Suppose -64 + 444 = -5*l. Let f = 574/3 + -191. Is f less than or equal to l?
False
Let f be (-4)/(-5)*30/(-345). Let y = f - 717/1265. Is 0 at most as big as y?
False
Suppose 6*p - 24 = -2*p - 16. Is 11/17 != p?
True
Let p = 0.23 + -9.23. Let x = 8 + -19. Let m = x - p. Is -0.9 < m?
False
Let k be 23/(-2)*-14 + 3. Suppose 102 = -2*v - f + 2*f, 0 = 3*v + 4*f + k. Let d = 0.28 - -0.72. Which is smaller: d or v?
v
Let w = -541 + 398. Let o = -155 - w. Let q be (-2)/(-4) - (-81)/(-6). Is o at most q?
False
Let q = -33 - -33. Suppose -5*y - 4*f + 11 + 12 = q, y + 5 = -4*f. Suppose -8*l + y*l = 47. Which is smaller: l or -49?
-49
Let g = -193 + 370. Suppose 5*s - c - c - g = 0, s + c = 34. Which is smaller: s or 33?
33
Let o = 10416 + -9995. Is o at most as big as -1?
False
Let l(f) = -f**2 - 7*f - 5. Let d be l(-7). Let p be (-69)/((30/d)/(-6) - 0). Is -66 equal to p?
False
Suppose 0 = -b - 0*b - 26. Let t be 4 - 3 - b/(-30). Suppose 48*i = 67*i - 19. Which is smaller: i or t?
t
Let u = -8 - -16. Suppose -w + u = 28. Let i be ((-3)/18*w)/((-1)/15). Is i less than -50?
False
Suppose -8*v = -127 + 143. Let j be ((-17464)/518)/(v/4). Is j > 68?
False
Let u = -56/1089 - 3155/2178. Is 2.092 != u?
True
Let n be (-71689)/14365 + (3 - (-3 + 1)). Which is bigger: n or 1?
1
Suppose 292*v + 3649 = 203*v. Do -135 and v have the same value?
False
Suppose -19*g + 4738 + 4895 = 0. Suppose g = 10*z - 7*z. Are 169 and z non-equal?
False
Suppose -2*x + 2 = -0*x. Suppose 5*m + 2*k + 3 = -13, k = -4*m - 14. Let n be 4 - m/(-88)*94. Is x less than or equal to n?
False
Let q = 884.0201 - 884. Which is greater: q or -1?
q
Let a be (-4)/5 - (-415332)/1390. Which is greater: 295 or a?
a
Let f = -0.59 + 0.666. Let a = f + 0.324. Let b = a + -3.4. Is 9 smaller than b?
False
Let a be (4/(-6))/(-4*(-595)/(-720)). Is -1 greater than a?
False
Let l be ((-4)/8)/(5/(-10)). Suppose -4*h = -z - 6*h + 101, -3*z = -2*h - 279. Let g = z - 103. Does g = l?
False
Suppose 0 = -5*q + 18 + 7. Let a = -6 + 8. Suppose 3*m = -4*z + 16, -z + 0*z + 4 = a*m. Is q != z?
True
Suppose -134 = -5*g + 66. Suppose 35*t - g*t = 820. Is t less than or equal to -163?
True
Let h = 15 - -10. Suppose 2*a - 27 = -b + 22, -4*b = 12. Let k = a - h. Is 2/11 at most as big as k?
True
Let z be ((1 - 1) + 0)/1. Let f(u) = -u**2 + 7*u + 14. Let v be 6 - (3/(-1) + 3). Let n be f(v). Which is bigger: n or z?
n
Let f(n) = -147*n + 1082. Let g be f(7). Which is smaller: g or 49?
49
Let g = 57 - 132. Let l = g - -161. Let z = 105 - l. Which is smaller: 21 or z?
z
Let h(f) be the second derivative of -2/3*f**3 + 3/2*f**2 + 1/4*f**4 + 11*f + 0. Let t be h(3). Is t at least 18?
True
Let l be 4/18 - (0 - 86/18). Suppose 5*i - 35 = -5*x, -2*i - l*x = -0*i - 26. Is 3 at least i?
True
Let j = 12.282 - 12.312. Which is smaller: -82 or j?
-82
Let r = 22096 + -22100. Are 506 and r nonequal?
True
Suppose 0 = -4*c - 3*m - 2695, -2*c + 2*m - 205 = 1125. Let i = -18092/27 - c. Let f = -1 - -1. Are f and i equal?
False
Let g be ((-52)/195 - (-10)/(-75))/((-2)/5). Which is bigger: -1/6905 or g?
g
Let z(o) = 2*o**3 + 9*o**2 + 25*o + 259. Let d be z(-6). Which is smaller: d or 68/35?
d
Let b = 24653/7245 + -55/483. Do 3 and b have the same value?
False
Suppose 8*t = 4*t + 80. Let a be (-5)/t*(6 + -2). Let j = 5.3 + -23.3. Which is smaller: a or j?
j
Suppose 77*z = 76*z + 30. Let v = -44 + 74. Let s = v - z. Which is bigger: -1/6 or s?
s
Let j = 1339378824717297852/145048940951