 Which is smaller: 3 or i?
i
Let n be (-9 + 31)*(22952/3824 + -6). Which is greater: n or 1?
1
Let y = 0.091 + -0.191. Which is smaller: 3/328 or y?
y
Let o be ((-45)/3)/1*42/(-10). Let a = o - 26. Suppose 5*z = 127 - a. Is z at least as big as 18?
True
Let n(f) = 2*f**2 + 38*f - 64. Let x be n(-21). Suppose -2*w - o = 4, 2*w + 30*o + x = 25*o. Is w at most as big as -16/23?
False
Suppose 17*k - 110 = -5*k. Suppose -4*z - 4*p = 0, -2*z + 8 + 13 = -k*p. Which is smaller: 29/8 or z?
z
Suppose -8*o = -65 - 31. Suppose 2*w + 11 = 3*w + 3*z, 3*z - o = 0. Let g be -3 + 2 + (3/w)/(-3). Which is smaller: -12 or g?
-12
Suppose -l + 3*j - 7 = 0, -10*j + 7*j + 46 = -4*l. Let g = 49 + -32. Let p = 6 - g. Which is smaller: l or p?
l
Let t be ((-108)/(-40) - 2)*(-460)/(-105). Let f = 11 - 8. Is t < f?
False
Suppose 33 = 2*m + 5*u, 5*u = 2 + 3. Suppose -4*r + 40 = 4*q, -46 = -5*q - m*r + 13*r. Are q and 8 unequal?
True
Suppose 33*t - 31*t - 4*u = -46, 0 = 3*t + 2*u + 29. Which is greater: t or -140?
t
Let n = -275 - -275. Let p = -172 + 134. Which is smaller: n or p?
p
Let k(i) = -33*i + 2279. Let p be k(76). Which is smaller: -4 or p?
p
Let i = -276 + 541/2. Suppose 16*z - 2210 = -z. Let u = 124 - z. Is u bigger than i?
False
Let q be 1/((-24)/30) + (-7)/(112/13308). Are q and -3 nonequal?
True
Let o(i) = -59*i + 1. Let g be o(1). Suppose 37*d + 428 = -1829. Is g equal to d?
False
Let b = -5714 - -6069. Which is smaller: 1/2 or b?
1/2
Let o = -3278 - -10342091/3155. Is -1 < o?
True
Let y be ((-171)/6)/((-112)/(-224)). Are -838/15 and y non-equal?
True
Let f be (5 - 0) + 2740529/(-209). Let i = 13091 + f. Let l = -2/95 + i. Which is bigger: -18 or l?
l
Let q(b) = -b**3 - 7*b**2 - 6*b + 1. Let h be q(-6). Let k be ((-2)/75)/(1564/(-69) - -23). Which is smaller: k or h?
k
Let z be (2 - 1)/((1/2)/((-5)/30)). Which is bigger: 2699 or z?
2699
Suppose 7*c = 3*c + 8. Suppose c*l - 3*l + 1 = 0. Suppose 13*r - 61 = 4. Is r <= l?
False
Let m = -9547/1148 - -5/164. Let h(z) = z**3 - 2*z**2 - 9*z - 9. Let n be h(-2). Which is bigger: n or m?
n
Let o = -246.61 + 248. Let m = o + -4.39. Suppose 2*h + 0 = 24. Which is bigger: h or m?
h
Let q = -36 + 32. Let x be 3 + q - (-6 - -2). Suppose -3 - 12 = 5*v, 3*v + 3 = -x*w. Which is smaller: 0 or w?
0
Let k(u) = u**2 + 41*u - 13. Let q(j) = -j**2 - 1. Let x(b) = -k(b) - 6*q(b). Let v be x(8). Do v and 13 have different values?
True
Let i = 278 - 320. Let x be ((-8)/i)/((-62)/93). Is x smaller than -2.7?
False
Let d be (-80)/(-140) + 22/(-14). Let v be (d - (1 + -5))/1. Let w be (-1 + 0)*35/(-7). Which is bigger: w or v?
w
Let h(z) = -z**3 - 4*z**2 - 4*z - 2. Let k be h(-3). Let i(p) = 299 - 5*p - 3*p**2 - 2*p**3 - 2*p**2 + 296 - 600. Let l be i(-2). Is k > l?
False
Suppose -k + 7 = -2. Let x = k + -11. Let u be x - (-1 - 0 - 10). Is 9 >= u?
True
Let p be (((-18)/150)/(42/(-30) + -1))/11. Suppose 6*c - 4 = 2*c. Is c at least as big as p?
True
Let h be (-86)/258 - (-16801)/(-15). Which is bigger: -1119 or h?
-1119
Suppose -5*k = -129 + 89, -5*s - 5*k = 42600. Which is smaller: s or -8527?
s
Let d = -7991/27 - -887/3. Suppose 5*h + 30 = 5*w, 2*w - 16 = 3*h - 4. Suppose -2*n + 5*c + 16 = -w*n, -4*n - 3*c - 8 = 0. Which is smaller: n or d?
d
Let c(a) = 125*a**2 + a + 1. Let x be c(-1). Let t be ((-1)/125)/((-225)/x). Is t > -1?
True
Let f = -5104.43 + 5105. Which is smaller: f or -1/2?
-1/2
Let m be 1*202 + (-30)/(-105). Let g = m + -202. Which is smaller: 1/37 or g?
1/37
Let o = 270 + -1347/5. Let k = -26 + -39. Let r be (2/k)/(2/(-10)). Is o > r?
True
Let b be (-1254)/(-231)*((-4)/(-12))/(6/70). Is 21 not equal to b?
True
Let z = -8652 + 8640. Which is smaller: z or -221?
-221
Let y = -20991/23 + 913. Let q be -2 - (-2 + 3 + -2). Which is greater: q or y?
y
Suppose -6*w = -1 - 11. Let a(d) = -3*d**3 - d**2 + 6*d + 1. Let x be a(w). Let k be 6/x + 5/((-50)/156). Is k equal to -17?
False
Suppose 7*n + 3*n + 198 = 32*n. Which is greater: n or -216?
n
Let b = 1519 + -2457. Are b and 0.1 non-equal?
True
Let w = 0 - 1. Let v = -85216616/6975 + 377840/31. Let x = 260/9 + v. Which is bigger: w or x?
x
Let a = 8948/57 + -2970/19. Do -393 and a have the same value?
False
Let v be (-3582)/30 + (-222)/(-30) + -7. Which is greater: -123 or v?
v
Let q = 67 - 87. Let h = -105 - q. Let z = h - -84.3. Which is smaller: 3 or z?
z
Let w(h) = -2*h**3 + 39*h**2 - 47*h + 80. Let o be w(17). Is 722 smaller than o?
True
Suppose 0 = -3*d + 3*p + 996, 4*d - p - 275 = 1044. Let o = 282 - d. Are -47 and o nonequal?
False
Let f = -259493 + 16866647/65. Which is bigger: -7 or f?
f
Let c(n) = -1335*n - 5. Let u be c(2). Let i = u - -88265/33. Let l = i + 169/231. Are l and 0 unequal?
True
Let m = -1.3 - -1.44. Let t(o) = 3*o**2 - 15*o - 19. Let c be t(6). Let a = c - -5/4. Which is smaller: m or a?
m
Let a = 0.286 - -10.414. Let i = a - 11.1. Is i bigger than -8/25?
False
Suppose 37252 = 32*h + 246*h. Is h less than 18?
False
Let z = -0.597 - -4.997. Let x = 69.029 - 69. Let g = 0.171 + x. Is z > g?
True
Let v = -405.49 - -405. Is v equal to 11?
False
Let t = 498 - 494. Let s be 246/60 - 4/(-10) - 1. Is s bigger than t?
False
Let c = 3.312 - 3.3. Let t = 0.07 - c. Let y = 36.942 + t. Which is bigger: y or -1?
y
Let i = 0.9 - 1. Let s = 10 - 7. Let d = 0 + s. Which is smaller: d or i?
i
Let a = -37.07 + 42.07. Which is bigger: a or 76?
76
Let x be ((-56)/(-30) + -2)*3. Let m = x + 7/30. Let f be (-4)/3*180/(-840). Is m >= f?
False
Suppose 7*y + 20268 = -2*y + 18*y. Is y less than or equal to 2251?
False
Suppose 2*k + 4*i + 20 = 26, -8 = -i. Suppose -d - 5 = 5*t - 47, d + 3 = 0. Let q = -22 + t. Is k < q?
False
Let g be (-766)/(-2)*-4*((-207)/36 + 4). Which is smaller: g or 2682?
g
Let y be (2611/1492)/(-2 + (-46)/(-24)). Which is smaller: -1/68 or y?
y
Let i = 4865.8 + -4208. Let b = -658 + i. Is b at most as big as 3.5?
True
Let j(n) = 19*n**2 + 104*n - 235. Let b be j(-18). Is 4049 equal to b?
True
Let f be (-93666)/(-34) - (-4)/34 - 5. Is f greater than or equal to 2750?
True
Suppose -283*z = -201*z. Which is smaller: -128/265 or z?
-128/265
Let s = 65 + -65. Suppose 5*w + 0 + 0 = s. Suppose t - 3*d + 8 + 4 = w, -3*t = -3*d + 12. Do -2.3 and t have different values?
True
Let h(q) be the second derivative of q**5/20 - q**4/3 - 19*q**3/6 + 8*q**2 - 102*q. Let o be h(-5). Is o at least as big as -341/3?
False
Let m(j) = j**2 + 7*j - 5. Let h be m(-11). Let a = h + -15. Suppose -2*q - 4*d - a = 0, d + 0 = -3. Is q bigger than -5?
False
Suppose 21*l - 6*l - 6*l - 4149 = 0. Is l less than or equal to 458?
False
Let b = 74 - 82. Let j be (3 - b/(-4))*(-4)/16. Is -179 smaller than j?
True
Let v = -47 - -237/5. Let u = 0.85415 + -5.85415. Is v at least u?
True
Suppose 3*t = -3*x + 3567, 15*x = 3*t + 14*x - 3559. Which is smaller: t or 1186?
1186
Suppose -134*f + 67*f = -89*f - 88. Which is greater: -26/5 or f?
f
Suppose 5*l - 600 = 5*d, 5*l = -3*d - 95 - 265. Suppose 2928 = 60*w - 84*w. Do w and d have different values?
True
Let z = -91 + 91.83. Let r = -0.83 + z. Let w = -0.14 - 1.86. Which is greater: r or w?
r
Let h be 3356/(-752) + 297/66. Is -1 at most as big as h?
True
Let k(l) = -16*l - 115. Let f be k(-9). Suppose -f*c = -298 - 543. Let a = 56 - 28. Is c != a?
True
Let m be (-28)/35 - ((-180)/(-25) + -7). Which is smaller: m or 10/39?
m
Let b be (3/27)/(2/(-23) + (-253148)/(-644)). Which is greater: 1 or b?
1
Suppose 0 = -5*g + 180 + 15. Let k = 23 - g. Let j = 230 + -246. Are k and j nonequal?
False
Let d be ((-12)/14)/((-31)/434). Let s be 7 - (d - 0) - 11/(-1). Is 43/6 bigger than s?
True
Suppose n - 4*y - 8 = 0, 0 + 2 = -y. Let l(w) = -2*w - 3. Let s be l(n). Is s at most as big as 1?
True
Let d = -220 + 188. Let u be 296/d + 9 + 2/4. Is u less than 506?
True
Let n(y) = 2*y + 23. Let i = -95 + 81. Let v be n(i). Which is greater: -40/7 or v?
v
Suppose 0 = 2*k + 2*j - 520, 4*k - j - 1055 = -0*j. Let y = -3943/15 + k. Is 15 <= y?
False
Let d = 4.13 - 1. Let i = 3.03 - d. Which is smaller: 13/10 or i?
i
Let j be (-28)/(-65)*(-1152)/(-5040). Are j and -1 nonequal?
True
Let s = 6.49 - 7.895. Let d = s + -0.495. Which is greater: 4/5 or d?
4/5
Let f = -454687/25 + 18163. Does f = -23?
False
Let b = 4729 + -8615. Do -3887 and b have different values?
True
Le