y less than a?
True
Let t be -21802*(6/(-27) + (-188)/(-360)). Let u = t + 6514. Which is greater: u or -27?
u
Let j = 35944 + -34775. Are 1179 and j nonequal?
True
Let v = 217 + -133. Let b = 96 - v. Is 12 smaller than b?
False
Let y(c) = -c**2 - 6*c + 1. Let w be y(-4). Suppose 31*z - 27*z = 4*u + 200, 150 = -3*u - z. Let o be (u/15 + 3)*-24. Is w at most o?
False
Suppose -a = -u + 75, 407 = -u + 6*u + 3*a. Suppose 0 = 12*d - 67 + u. Which is smaller: 0 or d?
d
Let s be (20/(-57))/(-8*26/(-624)). Let o(i) = -i**2 - i + 1. Let n be o(-2). Which is smaller: n or s?
s
Let r(c) = 15*c - 75. Let b be r(5). Which is bigger: -1/684 or b?
b
Let x(h) = 4*h - 28. Let n be x(4). Suppose 3*k + u = 4, 0 = k - 5*u + 11 + 9. Suppose k = 8*z - 7 - 9. Is z at least as big as n?
True
Let v be (-3600)/1680 + (-52)/(-21). Are v and 398 equal?
False
Let i be (31/(-7564))/(158/8). Which is smaller: 1 or i?
i
Suppose -98*o + 93*o = 5*u - 215, 4 = 2*o. Is 28 smaller than u?
True
Let m = 56 - 26. Suppose 7*p + 35 = 2*p - 3*n, 5 = -n. Let r be p/(-190)*(-100)/m. Which is greater: 1 or r?
1
Suppose 2*m - 6 = -5*y + 3*y, 0 = -2*m. Suppose -y*s = 3*s - 5*s. Which is bigger: -20 or s?
s
Let j be (-39)/85 - (-4)/10. Let y be -5*12/(-75)*15/2. Suppose -y*w + 14 = -20*w. Which is bigger: j or w?
j
Let j(c) = 6*c**2 - 12*c - 52. Let p be j(6). Do p and 1179/13 have different values?
True
Let n = 356 - 353. Suppose n*b = -7*m + 3*m + 1, 2*b + 6 = 4*m. Is m smaller than 2/381?
False
Let m be (-18)/(-18) - (0 - 10 - 4). Which is smaller: 0.023 or m?
0.023
Let p be (-28)/(-5) - (-2 + 8). Let i be 6/10 - 348/5. Let j = -109 - i. Which is smaller: p or j?
j
Let z(w) = 9*w - 457*w**3 - 13*w**2 + 4 + 34 + 458*w**3. Let b be z(12). Let o be (-8)/30*-2 - 0. Which is greater: o or b?
b
Let v = -1934.3 + 1935.3. Is -2169 bigger than v?
False
Let h = 25 + -50. Let r be (-71)/(-5) - (-5)/h. Let s = -73535 + 73546. Is s < r?
True
Let x be ((-84)/98)/((-42)/(-98)). Is 0.1442 less than x?
False
Let n(v) = 2*v**2 - 2*v - 2. Let r be n(-4). Suppose -6*g - 8*g = -45*g + 1395. Let w = r - g. Does w = -8?
False
Let u = 31370.2 + -31370. Let o be 2/30 - 8/12. Does o = u?
False
Let a = -771/2 - -411. Let r(f) = -2*f**2 - 48*f + 27. Let j be r(-24). Which is smaller: j or a?
a
Let x be ((-17469)/(-54))/((-2)/(-4)). Is 647 greater than x?
False
Let q be (1 - (-2915)/(-15)) + 4/(-1). Let j = q - -197. Which is greater: j or -89?
j
Let z be ((-18)/199260*9)/(2/(-25)). Which is smaller: z or 0?
0
Let f be -11 - (-104 - -100)*1940/706. Suppose 2*a - 8 = 0, -4*y + 2*a - 8 = 4. Is y at most as big as f?
True
Let k = -47 - -37. Let q be (-5)/(k/6) - (-2 - -117). Let f be 4 + -2 + 0 - q/(-54). Is f less than 1?
True
Let m be ((-16)/1692)/((-80)/(-24)). Let h be (-1)/5*(-11 + 6). Which is bigger: h or m?
h
Let x(u) = 68*u**2 - 159. Let c be x(-8). Are c and 4194 unequal?
True
Let u = 6515.79 - 6515. Are -9 and u equal?
False
Suppose 20 = -4*t - 5*r + 3, t + 11 = r. Let c(u) = 28*u**3 - 118*u**2 + 23*u - 5. Let y be c(4). Which is greater: y or t?
t
Let i = 10.9 - -0.1. Let j = -56.636 + -0.364. Let l = j + i. Which is greater: -0.1 or l?
-0.1
Suppose 0 = 5*z + 5*r + 1410, 4*z + 24*r - 28*r + 1144 = 0. Do z and -286 have the same value?
False
Let w(a) = a**2 - 902*a - 13749. Let c be w(-15). Let v(o) = -o**2 - 8*o + 1. Let n be v(-6). Is c <= n?
True
Let s(a) = -a**3 + a**2 - 42*a + 168. Let l be s(4). Which is smaller: l or -49?
-49
Let j(v) = v**3 - 11*v**2 - 12*v + 1. Let q be j(12). Suppose 3*u - 4*m - 97 = 0, 5*m = -q - 4. Let h = u + -36. Which is smaller: -0.2 or h?
h
Suppose 2*k - 4*k = -8. Suppose -k*t + 159 = -49. Which is smaller: t or 53?
t
Let h(a) = -738*a + 9. Let c(i) = -1475*i + 18. Let x(l) = -5*c(l) + 9*h(l). Let g be x(-1). Is g at most -743?
False
Let s be 1284/(-5) + 5/(-25). Let p = -172 - s. Which is bigger: 83 or p?
p
Let j be ((42945/(-5))/(-7))/(-3) - -3. Is -404 at most j?
False
Let b = 287053/15 - 19137. Is 68/13 smaller than b?
False
Suppose n - 5*a = 3*n + 11, 17 = 4*n - 3*a. Let y(d) = -d + 2*d**3 + 2*d**3 - 3*d**3 - d**n + d**3. Let p be y(2). Is 39/4 < p?
True
Let p be 10/((-70)/(-49)) - 25263/(-117). Are 224 and p non-equal?
True
Let d be (-5)/(75/11688) + ((-12)/(-10) - 2). Is -780 less than d?
False
Let l = -30974 - -30973. Let u = -0.3 + 0.3. Which is smaller: u or l?
l
Let v be (280/200)/((-49)/(-14)). Is v equal to -12/901?
False
Let d = 4070 + -3334. Which is smaller: d or 3682/5?
d
Suppose 16*j = 20*j + 8. Let u be (-1)/(38/(-8) - j). Let h be 1*2/8*4. Which is smaller: u or h?
u
Suppose -5*w = -5*b + 240, -146 = -3*b + 4*w + w. Suppose -34 - b = 9*c. Let m be 646/(-70) + (-3 - 24/(-7)). Which is bigger: m or c?
m
Suppose 500 = 3*b + b. Let x = 125 - b. Is x < 8/7?
True
Let x be -624 - (6 - (-4 - -2)). Let u = x + 721. Which is greater: 85 or u?
u
Suppose 83*w = -82*w + 180*w - 1800. Is 117 at most w?
True
Let o be ((-2)/(-2))/((-6)/(-36)). Let h be o/(-21)*(-6)/8. Is h equal to 1?
False
Let m = -327 - -324.36. Let d = -0.36 + m. Is 0.62 < d?
False
Suppose 0*g = p - 2*g + 856, -g = -5*p - 4262. Let y be 4 + 33*104/p. Suppose -2*d = -3*d. Which is smaller: d or y?
y
Let z be 1/2*(1/(-8) - 465/120). Suppose 2*m = -4*k, -5*m - 5*k + 0*k - 15 = 0. Do m and z have the same value?
False
Suppose 381*i = -5*j + 385*i + 12506, -j + 3*i + 2510 = 0. Is 2496 at least j?
False
Suppose 2*x - 2*k = -36, -4*x - 4*k - 54 = x. Let b(z) = -2*z**3 - z**2 + z - 12. Let f be b(0). Which is greater: x or f?
f
Suppose -4*h - 17912 = 2*r + 10802, -3*r = 2*h + 14371. Is -7177 at least h?
False
Let g = 0.92 - 0.22. Let a = -13047 - -13060. Which is smaller: g or a?
g
Let i be ((-6)/28 + 52/14)*(1 - 75). Which is greater: i or -261?
i
Let h(v) = -v**3 + 15*v**2 + 34*v + 3. Let w be h(17). Suppose -x = 2*d + 156, w*x + d = 5*x + 307. Which is smaller: -155 or x?
-155
Let a = 342.7 - 343.3. Which is greater: a or -885?
a
Let c(z) = 3*z + 7. Let p be c(-4). Let d be 4 - ((p - -6) + 0). Suppose d*i = 4*i - 0*i. Which is smaller: 1/175 or i?
i
Let o be -4 + (-1 - -19 - 2*1). Suppose -2*t + 4 = f - t, -3*t = -f + o. Suppose 10*y - f*y = -60. Which is bigger: y or -31/2?
y
Suppose -2*u - 252 = -20*u. Suppose -u*g - 1941 = 9413. Is -812 greater than g?
False
Let j(k) = k**2 + 9*k + 12. Let r be j(-5). Let h be (-28)/(-18)*(2 + r/7). Let v = -38 - -39. Which is smaller: v or h?
v
Let k be 74668/(-1232) - 1/7. Let y(q) = 7*q - 13. Let v be y(-7). Is v at least k?
False
Let i(w) = -2*w - 32. Let k be i(-17). Let y be -9*((-8)/6 + k). Let h be 16/(-26)*y/(-8). Is h greater than 2?
False
Let f = -7395 + 13611. Suppose -f = 58*x + 1904. Which is greater: x or -142?
x
Suppose 0*c = -3*c - 3*s - 714, -s = 3*c + 722. Let x = 242 + c. Which is greater: x or -1/20?
x
Let v = 998/16895 + -12/155. Let d = v + -539/327. Let t be -1*3*(-4)/(-4). Which is greater: d or t?
d
Let b = -32355 - -32363. Which is bigger: -0.16 or b?
b
Let m = -394 + 393.727. Let x = m - 0.327. Which is greater: -4/5 or x?
x
Let i(d) = 3*d**2 + 17*d - 535. Let g be i(13). Is g greater than or equal to 199?
False
Let j be ((-28)/21)/((-6)/63). Let l be (18/(-40))/(j + -12). Is -1 > l?
False
Let j(p) = 3*p - 2. Let q be j(-6). Let g = -21 - q. Let t = -5586 + 5592. Is g > t?
False
Suppose -41*u + 5355 = -194*u. Is u >= -10?
False
Let v(k) = 140*k - 1461. Let b be v(9). Which is smaller: b or -60?
b
Let q = 114.6 + -125. Let h = -142.4 - q. Which is bigger: -0.1 or h?
-0.1
Let v(o) = 5*o + 16. Suppose 0 = 2*z + 23*z + 125. Let n be v(z). Do n and -14 have the same value?
False
Let h be ((-7)/21)/((-34)/102). Which is greater: h or -3/1283?
h
Let w = 139897/3 + -45949. Is 683 at least as big as w?
False
Let h(p) = -p + 1 + 2*p + 1. Let b be h(-2). Let u(o) = o**3 + 24*o**2 - 10*o - 234. Let l be u(-24). Is b <= l?
True
Let x be (-1 - -3) + 42/(6 + 1). Let p be -2 - -4 - (x/36 - -2). Which is smaller: p or -0.74?
-0.74
Let x be 5 - 2/(-2)*1. Let z be (-250)/230 - 4/(-46). Let a be ((-32)/10)/(z/2). Is a at least x?
True
Let t = -3881 - -3881. Is t >= 3073?
False
Suppose 131*a + 23*a - 6930 = 0. Is 29 greater than or equal to a?
False
Suppose 10 + 0 = -5*r. Let p be (-3)/(7*12/112). Are r and p unequal?
True
Let p(z) = z**2 + 19*z - 3. Let n be