 Are 24 and y nonequal?
True
Let l = -1188 + 1187. Is l at most as big as -1/8?
True
Let l be -2*(-1 + 3)*(29 - 1). Let w = 103 + l. Which is greater: -5 or w?
-5
Let k be (-296)/16 + 1/2. Let v be ((-99)/k)/(1/2). Let y be (v/(-22))/(2*-1). Is -0.03 <= y?
True
Let z be (8/10)/(-68 + 70). Which is greater: z or -191?
z
Let f = -2.5 + 1.9. Let q = -0.9 - f. Let u = 0.4 + q. Is 5 less than or equal to u?
False
Suppose 0 = -3*p + 9 + 3, 3*v - 5*p + 59 = 0. Let q(u) = 2*u**3 - 4*u - 4*u - u**3 - 4*u**2 + 3. Let k be q(5). Which is smaller: k or v?
v
Let g be -3*(-2)/(-3) + 3. Let j(z) = z**2 - 14*z + 37. Let t be ((-2)/(-8))/(5/220). Let c be j(t). Which is greater: c or g?
c
Let z be (28/(-5))/((-36)/270). Let q be (-1 - 10/(-3))/(z/126). Let i be 2*(0 + (-14)/(-4)). Is i at least as big as q?
True
Let h be 4/(6/(-3)) + 15 + -2. Suppose -h = 5*n + 3*r, 5*r = -3*n - 2 + 5. Is -5 not equal to n?
True
Suppose 0 = -i - 4*c + 11, i + 7 = -3*i + c. Let f = -4937 + 829397/168. Let d = -3/56 + f. Which is greater: d or i?
d
Suppose -2*j = 3*g + 2*j, 6 = -2*j. Let c be (1 - 3) + (-8)/g. Let i(r) = -3*r**2 + 23*r + 3. Let h be i(8). Which is smaller: h or c?
h
Suppose 8*x = 4*x - 5*u - 21, 0 = -x - u - 4. Let t be (27/(-6))/(x/2). Let g = -18 - t. Which is greater: -10 or g?
g
Suppose 58 + 5 = -9*p. Which is greater: p or 41?
41
Let v = -63/16 - -1079/272. Which is smaller: v or 0?
0
Let p = -17 - -11. Let g = p - -6. Let y = -114 + 457/4. Which is smaller: g or y?
g
Let b(f) = -2*f**2 - 19*f - 44. Let l be b(-4). Are 5/207 and l nonequal?
True
Suppose 5*q - 5 = 10. Let k be (0 + 26)/(-2 - (-55)/22). Suppose -k = q*z - 2*w, -5*z - 41 - 45 = -4*w. Do z and -17 have the same value?
False
Let z(m) = -m**3 + 24*m**2 + 25*m - 3. Let u be z(25). Let d be 10/10 + (9/3)/u. Which is greater: d or 0.7?
0.7
Suppose 0*q = -5*q - 5. Let h = -9/233 - -709/6291. Which is greater: q or h?
h
Let v(u) = -3*u**3 - 4*u - 4 - 2*u**2 + 5*u**3 + 4*u**2. Let j be v(-2). Let l(t) = t**2 + 4*t - 1. Let b be l(j). Is b less than 1/4?
True
Let r(u) = 13*u + 72. Let b be r(-6). Let v(d) = d - 1. Let k(s) = -12. Let a(p) = k(p) - v(p). Let m be a(b). Is -6 equal to m?
False
Let h = -0.78 + 0.77. Which is bigger: -0.51 or h?
h
Let b be (1 - (1 + 1))*(0 - -1). Which is greater: 3/509 or b?
3/509
Let p = -23/84 + -31/12. Which is smaller: -0.4 or p?
p
Suppose 3*i + 12 = -4*m, -5*i + 11 - 2 = -3*m. Let h(j) = -2*j - 2. Let r be h(m). Which is bigger: r or 5?
5
Let r = -211 - -209. Which is bigger: -11/9 or r?
-11/9
Let v be ((-457)/2)/((-42)/(-28)). Let m = 151 + v. Is m at most -0.09?
True
Suppose 10*m = 96 + 264. Suppose 6*l = 3*l + m. Let o be (15/(-6))/((-2)/8). Which is greater: l or o?
l
Let w(b) = -b**2 + 29*b - 4. Let l be w(30). Do l and -35 have the same value?
False
Suppose -4*v - 4*r - 37 + 17 = 0, 5*v = r - 7. Is -48/23 > v?
False
Let d = 2.45 + -3.35. Which is greater: 1/4 or d?
1/4
Suppose 4*l - 5*h = -2, 3*l + h + 20 = 9. Which is smaller: 37 or l?
l
Suppose 5*w = 5*v + 455, -7*v - 161 = -5*v + 5*w. Which is greater: -92 or v?
v
Let x = 201 + -360. Let f = x - -152.1. Let p = 8 + f. Which is smaller: -1 or p?
-1
Let h(p) = -8*p + 37. Let m be h(4). Which is bigger: 92/15 or m?
92/15
Let d = -125 - -197. Let g = -24 + d. Suppose -5*w - 8 = -g. Which is bigger: w or 0?
w
Suppose -5*w - 34 = -3*j, 4*w + 29 = j + 2*j. Suppose 0 = -3*s + 2*s. Suppose 3*n - n + 10 = s. Is n not equal to w?
False
Let o be 1*42/(-7) - 117. Which is smaller: -121 or o?
o
Suppose 3*b - 2*o = 53, 5*b + 2*o - 83 = -0*o. Is b > 32?
False
Suppose -2*g = -4, -2*g + 21 = -5*h + 2. Are h and -3 equal?
True
Suppose -13 + 3 = -x. Suppose x*v + 5 + 15 = 0. Which is bigger: 2/15 or v?
2/15
Let z = 21 + -21.5. Let p = z + 0.3. Is -7 smaller than p?
True
Let f(g) = -53 - 8*g + 63 - 9*g + g**2. Let x be f(16). Let l = -6 + 1. Is x bigger than l?
False
Let f = 217 + -203. Let a be 2*-2 - ((-1463)/f)/19. Suppose 10 = 3*k - b, -8 = -k + b + 4*b. Which is smaller: k or a?
a
Let o(q) = -q**3 - 4*q**2 - 5*q - 32. Let c be o(-5). Let r = -18 + c. Is -1/98 at most r?
True
Let k = -88.0751 - -0.0751. Which is smaller: k or 2?
k
Let p = 470.2 - 470. Which is smaller: 70 or p?
p
Let m be 3*(4/10 - (-64)/40). Let t be 2*4 - (-8 + 6). Let w = t + -5. Is m greater than or equal to w?
True
Let c be (1 - 2)*(-1 - 3). Suppose -5*x = -c*o - 50, -30 = -x - 2*x + 3*o. Let h = 38 - 28. Is x greater than h?
False
Let x = -2116 + 2125.23. Let k = -9.5 + x. Do 2/7 and k have different values?
True
Let p = 38 + -37. Let v be (-1)/4 - 17*p/(-4). Is v less than or equal to 3?
False
Let d be (4/24)/(2/3)*4. Which is greater: 3/158 or d?
d
Let t be 2/(1296/(-1061)) - (-1)/1. Let b = -5/8 - t. Is b bigger than 0?
True
Let q(m) = -28*m**2 - m - 2. Let b be q(-1). Let l be (8/(-20))/(6/10). Is l at most as big as b?
False
Let y(g) = -g - 2. Let a be (4 - 2)*-3*1. Let w be y(a). Suppose 3*k - 2 - 18 = -5*b, -4*k - 8 = -2*b. Is w < b?
False
Let s = 12 + -16. Let p be 56/6 - s/3. Which is bigger: 12 or p?
12
Let p = -116 + 86. Suppose -o = -3*o + 10. Let m be (-6)/p - 71/o. Are m and -13 equal?
False
Let f(z) = 15*z**2 + z + 6. Let d(h) = 14*h**2 + h + 5. Let g(q) = -6*d(q) + 5*f(q). Let x be g(1). Let u = -9 - x. Which is bigger: u or -1?
u
Let b = 0.123 + -7.523. Let h = b + 8. Is h < 0?
False
Suppose 5*g + 4 = 9. Let l = 382 + -404. Is l greater than g?
False
Suppose -1 = 4*t - 9. Let k be (-110)/t - 0/(-4 - -9). Which is smaller: k or -54?
k
Let d be 597/(-54) + 2/12. Which is bigger: d or -10?
-10
Suppose 32*s - 4 = h + 36*s, 0 = h + 2*s + 6. Is -23 at least h?
False
Suppose 12 = -4*f - 12. Suppose 3*b - 3*j = 6, 0*j + 4 = -b - 5*j. Do b and f have the same value?
False
Let z be 74/(-44) + 3/(-18)*-9. Which is smaller: -1/11 or z?
z
Let l = -1708 + 1646. Which is smaller: l or -55?
l
Let x be (2/1)/2 + -16. Let j = 94 - 108. Let b = x - j. Which is greater: b or 1/23?
1/23
Let y = -0.5 - -1.02. Let l = y - 0.32. Let p = 4 - 3. Is p not equal to l?
True
Suppose -2*b - 2*z - 132 - 62 = 0, 3*z = -3. Is -97 less than b?
True
Let w = -0.1464 - -0.6464. Does w = 0.05?
False
Let m = -122 - -122.5. Which is greater: 0.8 or m?
0.8
Let c(l) = l**3 - 11*l**2 - 39*l + 145. Let m be c(12). Is -178 greater than or equal to m?
True
Let f = 6 - 4. Suppose 3*l = -1 - f. Let y be (-158)/(-2923) - (-472)/(-518). Is y equal to l?
False
Let n(f) = 3*f**2 + 38*f - 14. Let a be n(-13). Let z be 399/(-198) - 2/(-11). Which is greater: a or z?
a
Let h = 230 - 549. Which is smaller: h or -1?
h
Suppose o - 9 - 4 = 0. Suppose -o*c = -11*c - 8. Which is smaller: c or 13?
c
Let i be 44/198 - (-3)/((-27)/(-286)). Let u = 32 - i. Let w = 66/13 - 687/143. Which is smaller: u or w?
u
Let q = 3 - 2.8. Let s(m) = m - 5. Let g be s(4). Let h be (-162)/(-126) + 0 + g. Is h at least q?
True
Suppose -2*z = 4*c - 8, -2*c + 10 = 3*c - 4*z. Suppose -5*m + m + 4 = 0, -c*m + 14 = -3*u. Let q = -2 + 0. Which is smaller: u or q?
u
Let g be 275/66 + (-1)/6. Suppose g*v + v = -5. Let x be (-5)/35*4/2. Are x and v nonequal?
True
Let g = 826/1885 + -24/65. Let l = -0.1104 - -0.1104. Is l greater than g?
False
Let p = 0 + 0.1. Let t be ((0 - 80)/(-2))/((-31)/(-62)). Let u = 82 - t. Which is bigger: p or u?
u
Let x be (-2955)/90 + 1/(-6). Let d = x + 11. Which is smaller: -21 or d?
d
Let i = -0.68 - -5.68. Suppose h - 4 = -14. Let o be 6/(-15) - 4/h. Which is bigger: o or i?
i
Suppose -3*h = 1 - 4. Let q = -77/80 + 145/144. Are h and q nonequal?
True
Let t(h) = 63*h - 879. Let x be t(14). Which is smaller: x or 45/28?
45/28
Suppose 7*k + 16 = 4*k + 5*m, 4*m = -2*k + 26. Suppose 0*p = k*p - 9. Is 16/5 at least p?
True
Let m be ((-1)/(-4))/((-7)/(-8)). Let s be (2*1/2)/(36/(-252)). Is m at most as big as s?
False
Let v be 3 + 3 + -5 - -22. Let a = v - 3. Let i be 16/a - 2/1. Which is greater: -1 or i?
-1
Let q(f) = -f. Let z be q(-2). Let u be (-8)/(-6)*(-3)/z. Is -8/3 bigger than u?
False
Let k(c) = 13*c - 215. Let s be k(12). Which is bigger: 0 or s?
0
Suppose 4*k + 4*i + 1 = 9, 2*k - 2 = -i. Suppose -3*t - 2*b + 4 = -k, 0 = -t + b + 3. Suppose -t*w = 2*w. Which is smaller: -6/11 or w?
-6/11
Suppose -v + 11*j - 16*j - 559 = 0, 4*v - j + 2131 = 0. Are v and -537 equal?
False
Let z be 0 - (7 