t n = x + 484. Which is smaller: n or m?
m
Let j(i) = -10*i**3 - 1099*i**2 + 111*i + 105. Let g be j(-110). Do 326 and g have different values?
True
Let z = -0.2457 - 0.0543. Let u = -10 + -28. Let k be u/90 - (-2)/9. Is k not equal to z?
True
Suppose f = 5*p + 5*f - 20, -3*f + 20 = 5*p. Suppose p*b + 1 = 3*b. Let m be 5/(-12)*60/(-675). Is m at least as big as b?
True
Let l = -284 - -235. Let a be (-146)/112 - 21/l. Which is bigger: a or -2?
a
Let h = -152 - -153. Let q be (7 - 8)*(1 - (h - 0)). Which is greater: q or -1/205?
q
Let h = 18512935/841 + -22013. Let m = -12631/6728 + h. Is m smaller than -3?
False
Let k = -11859/14 - -96101/70. Let g = 524 - k. Let v(m) = -m**2 - m - 1. Let p be v(0). Are p and g unequal?
True
Let a = -425234/21487949 + 4/173757. Which is smaller: a or 0?
a
Let v(p) = 2*p**3 + 76*p**2 + 10*p + 360. Let i be v(-38). Is -122 greater than or equal to i?
False
Let u = 55.43 - 57. Let z = -0.57 - u. Is 0.2 equal to z?
False
Suppose 0 = -148735*f + 148762*f - 14013. Which is greater: 6740/13 or f?
f
Let f(x) = -5*x**2 - 2*x - 1. Suppose 16 = -12*o + 4. Let t be f(o). Let z be (-3)/(2 + -5)*(-3 + t). Which is bigger: z or -22/3?
z
Suppose 14*c = 11*c + 1131. Let q = c - 5659/15. Let d be (-2)/(-6) - (-4)/(-3). Which is smaller: d or q?
d
Let l = -3/520 + 1061/3640. Which is greater: l or 0.0717?
l
Let m = 550 - 543. Suppose 0 = m*f - 4*f - 21. Is f less than or equal to 34?
True
Let k = -409.905 - -0.905. Let x = 409.3 + k. Which is smaller: x or 2?
x
Let i = -29344 + 29344. Is 1/15686 greater than or equal to i?
True
Let m(z) = -512*z**2 - 41982*z + 152. Let x be m(-82). Let v be 5*1*(-3 - -1). Which is smaller: v or x?
x
Let v = -39 + 34. Let k(j) = 4*j - 63. Let q be k(v). Which is bigger: -82 or q?
-82
Let q be (1 - -3)*(-10)/268. Let y = 395/402 + q. Is y greater than or equal to -3?
True
Let n(t) = t**2 + 38*t - 725. Let w be n(16). Which is smaller: w or 131?
131
Suppose -4*v = 6*z - 37 + 1123, -v = 4*z + 719. Is z at most as big as -201?
False
Let r be (18/(-4))/(-3)*5808/1485. Is 0 at most as big as r?
True
Suppose -x + z = 395, -21*z = 5*x - 18*z + 1951. Let o = -707/2 - x. Is 39 at least o?
True
Let f = -4740 - -4728. Is 5 bigger than f?
True
Let t = 0.774 - 1.7732. Let x = t + -0.0008. Let j(z) = 8*z**2 + z - 2. Let c be j(-2). Which is smaller: x or c?
x
Let p(t) = 2*t - 1. Let r be p(3). Let m(v) = -82*v**2 + 657*v - 2. Let q be m(8). Which is smaller: q or r?
r
Let t = -6254 + 6251. Let r be (-3)/(-9) - 52/(-24). Which is smaller: r or t?
t
Let x be 1/(-6 - (-22)/4)*(-17)/(-34). Which is greater: x or -1/6625?
-1/6625
Let o = -7555.05 - -7555. Is 1/947 at least o?
True
Let v = -85505126/83845 - 1/16769. Let b = v + 1016. Is -4 less than or equal to b?
True
Let s(p) = -102*p - 1807. Let c be s(-18). Let g(o) = 2*o**2 - 8*o. Let x be g(-6). Suppose 4*y + 0*y = x. Which is smaller: y or c?
c
Let y(u) = 49*u**2 + 80*u + 252. Let s be y(-3). Is 424 >= s?
False
Let v be ((-5)/(-2) + (5 - 8))*0. Suppose v = 4*j + 2*w - 3 - 19, 3*j + 3*w - 12 = 0. Suppose 3*x + g = 21, 2*x - 21 = -x - 4*g. Is j equal to x?
True
Let x = -53 + 62. Suppose x = -11*a + 20. Is a less than or equal to -4/53?
False
Let b = -10 + 12. Suppose 21 = 3*f + 2*d, -3*f - d = -4*f + b. Suppose -4*h + 11 = -5*u, 0*h = 5*h + f*u + 20. Which is greater: -3/7 or h?
-3/7
Suppose 0 = -54*d + 53*d - l - 9, -l - 13 = 5*d. Let g = -0.5 - -0.557. Is d less than g?
True
Let l(f) = -f**3 + 5*f**2 + 7*f - 6. Let r be l(6). Suppose -u + 4 + 4 = r. Let c be 42/(-28)*u/(-90). Are -1 and c equal?
False
Let i be ((-76)/8 - -8) + (-81134)/(-54092). Is 0 not equal to i?
True
Suppose -136 = 21*y - 115. Are 9/2173 and y equal?
False
Let r be (-3 - 0)*(-209415)/(-267). Let t = r + 2353. Let g = t - 228/2225. Which is smaller: g or 1?
g
Let a = -3508 - -1467. Which is bigger: 0.1 or a?
0.1
Let n be (1 + 1 - 9)*5. Let y be ((-68)/3)/(-4)*-6. Which is greater: n or y?
y
Let f = 8587/17178 + 1/8589. Which is smaller: -205 or f?
-205
Let q = 22259089/41676 + 55491/604. Let p = -626 + q. Let j(h) = 2*h**3 - 2*h + 1. Let m be j(1). Is m bigger than p?
True
Let p(g) = 11*g - 4. Let m be p(-5). Let f be (32/60*-3 - -2)*5. Let i be (-31)/((-155)/30) - 130/f. Do m and i have the same value?
True
Let o = -12870 - -19428. Is 6557 >= o?
False
Suppose -2*m - 4*g = 16 - 54, 4*m + 5*g = 82. Suppose -m = 3*t - y, -2*t + 5*y + 11 = -5*t. Which is smaller: -3.1 or t?
t
Let w = -246856/49 - -5038. Which is bigger: w or 4?
4
Let m = 36 - 63. Let v = 11 + m. Let s = -26932 - -242386/9. Which is smaller: s or v?
v
Let p = -1087.7 + 1087.6539. Which is bigger: p or -1/4?
p
Suppose y = -5*b - 17, 4*b - 3 = -15. Let m be (-1)/((y/(-6))/(-1)). Suppose -7*a + 8*a - m = 0. Is 7/3 > a?
False
Let p be ((276/5)/((-72)/9180))/(-1). Is 7037 less than or equal to p?
True
Let u = -689 - -805. Which is smaller: 2/9 or u?
2/9
Suppose -68 = -2*s - 2*x + x, -5*s + 172 = 2*x. Let f = 2 - s. Let n be (-7)/(-18)*2 + f/(-153). Which is greater: 8/7 or n?
8/7
Suppose 11*w - 48 - 7 = 0. Which is bigger: -4/183 or w?
w
Suppose -492 = -7*n + n. Suppose -80*l - 14 = -n*l. Which is bigger: l or -16?
l
Let r(w) = w**2 + 6*w + 4. Suppose -8 = 4*y + 12. Let p be r(y). Let k = 4419/5 - 885. Do p and k have the same value?
False
Let c = 2218/3 - 1135703/1536. Does -1 = c?
False
Let u be ((-10)/(-6))/(839485/(-886)). Is 0.2 <= u?
False
Let w(t) = -109*t - 981. Let m be w(-9). Does m = -33/113?
False
Suppose 1212 = -4*t + 4*f, 460 = -4*t + 2*f - 748. Let m be (136/20 - 7) + t/(-5). Let x(g) = 5*g**2 - 5*g - 1. Let q be x(4). Which is smaller: q or m?
q
Let a be (-4)/10 + 87846/(-3135). Does a = -29?
False
Let d be (-1)/6 + 8150/300. Suppose -32*a + d*a - 5*n + 200 = 0, 4*n - 76 = -2*a. Is 1 <= a?
True
Let m = 19 - 15. Suppose -m*a + 160 = -260. Let u be -1 + -1 + a/54. Which is smaller: -1 or u?
-1
Let n = 173 + -95. Suppose 392*j = -184*j - 14508 + 30180 + 29256. Is n greater than j?
False
Let u be (-2 - (-42)/(-6)) + (-1566220)/(-174020). Does 0 = u?
False
Let w = -653243/20319 - 7/1563. Are w and -32 equal?
False
Let p(f) = 3*f**2 - 60*f + 58. Let t be p(19). Which is greater: -3378 or t?
t
Suppose 22*y - 17*y - 2104 = -z, -3*y + 2*z + 1252 = 0. Let t be ((-144)/14)/((-120)/y). Are t and 36 unequal?
False
Let s = 4.03 + -0.08. Let z = 4 - s. Let a = 0.05 + z. Which is smaller: a or -49?
-49
Let f(o) = -o**2 + 6*o + 24. Let z = 164 + -156. Let t be f(z). Suppose -k = 0, -3*c - 2*k + 9 = -5*k. Which is bigger: c or t?
t
Let y be ((-36)/(-30) + 6/10)*(-170)/(-101031). Is -1 bigger than y?
False
Let l = 2526/2033 - -36/107. Which is smaller: 2 or l?
l
Let c be 1*1/(-1) + (-117)/(-189). Suppose -4*s - 7*s = 11. Is s > c?
False
Let i = 135947 + -135925. Suppose 4*t + 0*t - 3*q = 60, -2*t + 2*q + 32 = 0. Which is smaller: t or i?
t
Suppose -3*c = 3*s + 63, -s - 155 = 4*s - 5*c. Let m be (-2)/4 + (-65)/s. Suppose -4*g + 3 = -3*q, -4*q - 2 = m. Is g greater than 2/3?
False
Let n = -37 + 37.2. Let i = -34.8 + -176.2. Which is smaller: i or n?
i
Let r = -66.72 - -65.42. Let i be (-3 - -3) + -1 + 3. Suppose -m - m + q = i, 3*m + 8 = -q. Which is bigger: r or m?
r
Let n = -10 - -10.04. Let x = n - -7.36. Let j = x - 7.3. Which is bigger: 2.9 or j?
2.9
Suppose -3*f + 6 = -2*g, -5 - 3 = 4*g - 5*f. Suppose g*c - 2 = 1. Let j = -320611 - -320616. Which is smaller: c or j?
c
Let s = -2641 - -2642.55. Is s less than 11?
True
Let y = -51 + 59. Let h be y/132*3 + (-892)/(-176). Which is smaller: h or 6?
h
Let h(n) = 193*n + 6433. Let g be h(-33). Let j be 0 + 62 + (-1 - -2). Which is greater: g or j?
g
Let f(b) = b**3 + 46*b**2 + 78*b + 27. Let v be f(-44). Let u = 412 - v. Is u greater than or equal to -55?
True
Suppose -11 = 5*u - 1. Let q be (u + -1)/((9/(-2))/3). Suppose 0 = -q*d + d + b + 16, -5*d + 4*b = -80. Is 16 at least d?
True
Suppose -4*t + 4*j = -0*t, -2*j = -4*t + 6. Let s be (-21 - -16)*(-1 + 0). Suppose -3*a + 32 = 4*n, 0 = -n + s - 0. Do a and t have different values?
True
Let w be (-345)/391*1/6. Which is bigger: 0 or w?
0
Let i = -51539 - -207243/4. Does 272 = i?
False
Let q = -17037 - -16994. Which is bigger: q or -28?
-28
Let n(y) = y + 10. Let h be n(-5). Let t = -76 + 63. Let z = -10 - t. Which is smaller: z or h?
