5/72. Which is smaller: a or h?
a
Let v = 12872 - 15939. Is -18403/6 bigger than v?
False
Let x = -0.37 - -2.83. Let d = x + -2.26. Which is smaller: d or -21?
-21
Let n be (-3)/(-9) - (-2612)/30. Let d(g) = -2*g**3 + 8*g**2 + 304*g + 873. Let c be d(-3). Which is bigger: n or c?
n
Suppose -12*y + 2*t = -15*y + 25, 0 = -2*t - 2. Suppose 3*l = 3*h - 9, 0*h - 3*l = -2*h + 3. Let b be 4/h*(-3 + 15). Are y and b nonequal?
True
Let w be (((-126)/15)/(9/30))/(-2). Suppose 750 = -w*i + 17*i. Do 249 and i have different values?
True
Suppose 2*b + 3*d = 4*d + 1, -17*b + d + 31 = 0. Which is greater: b or -5337?
b
Let l = 141 + -71. Let j = l + -67.53. Let p = 1.68 - j. Which is smaller: p or -1/4?
p
Let g(v) = v**2 + 6*v - 5. Suppose 10 = -2*h + d, -7*h + 4*d - 25 = -2*h. Let x be g(h). Let b = x + 17. Is b smaller than -1?
False
Let q = 27 + -31. Let g be q/(-14) + (-837)/63. Let u = -9 - g. Which is smaller: 19/7 or u?
19/7
Let u be (-200)/(-15)*3*5/(-30). Let j be 108/16 + 3/12. Let f be j + -5 + 0 + -9. Is f not equal to u?
True
Let o be (-155)/(-1240) - (-623)/8. Which is bigger: o or 475/6?
475/6
Suppose 0 = -5*r + q + 1198, 4*r = q - 6*q + 941. Which is smaller: r or 716/3?
716/3
Let m be 24/2 + 19436/(-2064). Which is bigger: m or -2?
m
Suppose v - 6*v + o - 8 = 0, 4*v + 10 = 2*o. Let t = 933.1 + -876. Let b = 56.6 - t. Which is smaller: v or b?
v
Let y = 123779 + -1488566255/12026. Is 0 less than or equal to y?
False
Let n(j) = -j**3 + 4*j**2 - 8*j + 10. Let k be n(2). Let y be (1 - -1) + (-4)/32. Which is greater: k or y?
k
Let y be -3*(-8)/(-108) - 28240/9. Is -3137 >= y?
True
Let p be ((-260)/6)/((-4)/(-12)). Let i be (-1058)/8 + 5 + (-152)/32. Which is bigger: p or i?
p
Let r = -40839 - -53480. Which is smaller: 12642 or r?
r
Let l(i) = -79*i + 90. Let a be l(2). Let u(k) = -18*k**2 - 7*k + 14. Let t be u(2). Is t equal to a?
False
Let g be 24/14 - (-2)/(-1). Let i = 43622 + -436207/10. Which is bigger: g or i?
i
Let b be (639/114 + (-100)/950)*-156. Which is smaller: -859 or b?
-859
Let c(k) = -10*k + 302. Let x be c(24). Let g = 36 - -28. Which is smaller: x or g?
x
Let a(w) = w. Let r be a(6). Let l be ((-500)/5)/(4/r). Let g be ((-18)/(-15))/((-12)/l). Which is greater: 16 or g?
16
Suppose 5*n + 2*m = 12, -2*m - 3 - 3 = -4*n. Suppose 1 = -2*k + i + 2*i, -k = -n*i. Let o be (k + 1)/(-5 + -2 + 4). Is 0.1 equal to o?
False
Let a = 1/86102 + 1617081657/430510. Is -1 less than or equal to a?
True
Let g be (6/296)/(6/(-4)). Let u(r) = 22*r - 116. Let j be u(4). Let d be 3*((-7)/j*-4)/(-3). Which is bigger: d or g?
d
Let m be 5 - -51*8/(-36). Let i = -56/9 - m. Which is smaller: i or -1?
-1
Suppose 5*z = -3*u - 2, 3*u + 1 = -2*z + 2. Let x be 19 + (3/3)/u. Suppose 19*a = x*a - 2. Which is smaller: 1 or a?
1
Let p = -57052 + 8614814/151. Which is greater: 1 or p?
1
Suppose q - 4*v = -3*q, 5*v - 32 = -3*q. Suppose 0 = q*j + 2*w - 16, -j + 5*w = -2*j + 22. Suppose -1 = -j*t - 3. Which is smaller: t or 1?
t
Suppose 6*b - 3*b = 4*h - 316, 2*h = -4*b - 392. Let m = 1699/17 + b. Are m and -1/2 non-equal?
True
Suppose -5*g - 4*u - 6 = 0, g + 5*u + 9 = -9. Suppose 4*s - 4 = 0, q + g*s + 19 = -2*q. Suppose 20*t = 17*t - 18. Is q >= t?
False
Suppose -1633 + 481 = -32*a. Let s = -11 - -17. Let m be (s/a)/((-2)/4). Which is bigger: m or -1/39?
-1/39
Suppose 0 = -2*s - 3*s + 20. Let a(v) = 3*v - 14. Let c(z) = -1. Let p(f) = -a(f) + 5*c(f). Let r be p(s). Which is greater: r or -28/9?
r
Let q = -33 + 81. Let b = 725.3 - 677. Let m = q - b. Which is smaller: 0.5 or m?
m
Let q = 2854 - 2853.9. Which is greater: -0.201 or q?
q
Suppose -p + 1 = s - 1, 0 = -2*p + 2. Let g be (-320)/880 - ((-15800)/(-11770))/(-4). Are g and s nonequal?
True
Suppose -9*o + 13833 - 13184 = 2*o. Let j = 26 - -34. Which is bigger: o or j?
j
Let l be (-8)/(-20)*(90/36 + 3/(-2)). Is l greater than or equal to 0.3405?
True
Let q be -5 + (-4576)/(-18) + (-6)/27. Let i be 2/6 - 11288/q. Is i less than or equal to -46?
False
Let c = -29342 + 14468. Is -14874 bigger than c?
False
Suppose -38*k - 27*k = 1061 + 9534. Which is greater: -143 or k?
-143
Let r be 5 + 404 + 10 - (-2 - -7). Suppose 21*h = 27*h + r. Which is bigger: -67 or h?
-67
Let y(n) = n**3 + 3*n**2 - n - 5. Let k = 427 + -429. Let v be y(k). Is -2/7 bigger than v?
False
Let f(d) = d**3 - 11*d**2 + 4*d + 9. Let v be f(6). Let h = 147 + v. Which is smaller: 2/11 or h?
h
Suppose 2*m + 24 = 2*l, -5*m - 28 = -0*m + 3*l. Let o = -87 + 83. Is o not equal to m?
True
Let j(h) = -h**3 + 12*h**2 - 13*h + 14. Let v be j(10). Let x = 79 - v. Let p be (x/(-7))/(-1*(-3)/9). Are 1 and p nonequal?
True
Suppose 57 = 6*i - 57. Let m = i + -21. Let r = 49 + -101/2. Which is bigger: m or r?
r
Let y(b) = -161*b - 11446. Let m be y(-71). Which is smaller: m or 17?
m
Let u = 94 - 77. Let l = 8.6 - u. Let d = l + 8.4. Which is greater: -0.1 or d?
d
Let j(s) = 17*s - 115. Let k be j(7). Suppose -k*y + 12 = 0, -2*y + 365 + 112 = 3*t. Which is bigger: t or 156?
t
Let g(b) = -b**3 - 4*b**2 - 4*b - 3. Let i be g(-3). Let s be ((-6 - -1) + 180)/1. Let x be s/(-55) - (12/33)/(-2). Which is greater: i or x?
i
Let z be -2 + -19 + (-53 + 41 - (0 + -7)). Is z at least as big as 1?
False
Suppose -3*v + 9 = -18. Suppose 7*w + q = 8*w + 2, 0 = -3*q + v. Let i be (1 - 0) + (0 - -1). Which is smaller: w or i?
w
Let m(x) = -5*x**2 + 242 + 4*x**2 + 8*x - 252. Let i be m(6). Suppose 5*b + z = 10, 5*b - i*z + 2 = -3. Is b at most as big as -2/11?
False
Let r = -0.01244 + 0.04244. Which is smaller: -2/3275 or r?
-2/3275
Let g(y) = -y - 11. Let u(v) = -v**2 - 11*v + 17. Let r be u(-12). Suppose -r*s + 10*s + 6 = 3*h, s - 4 = -2*h. Let q be g(s). Which is smaller: 3 or q?
q
Let w be 359/4 - (-4)/48*3. Let z = -62 + w. Let f be z/(-20) + 1 + 14/10. Which is bigger: -53 or f?
f
Let z be -3*(2/(-6) - -1). Let y(b) = -b - 14. Let s be y(25). Let t be 1/5*(s + 23). Which is greater: t or z?
z
Suppose -95 = z - 100. Let k = 0 - z. Let f = 6 + k. Which is bigger: -6/41 or f?
f
Let s be (-2 + -106)*6/54*6. Suppose 5*m = 2*t - 373, 6*t - 2*t = 5*m + 381. Which is bigger: s or m?
s
Suppose 0 = 4*f + q - 3190 - 856, -f + 4*q = -1020. Is -0.2 smaller than f?
True
Let z(i) = -14*i + 284. Let t be z(19). Let h be (11/4)/(t/1224). Is 186 less than or equal to h?
True
Suppose -13*m + 81 = -4*m. Suppose -m = -3*o - 3. Suppose 3*v - j = 2, j + 3 = -o. Which is smaller: -2/165 or v?
v
Let t be 1/((-9)/(-6) + 0). Suppose -50 = -0*g - 2*g. Suppose 0 = 4*d + 5*s - g, 17 + 3 = -2*d + 4*s. Which is bigger: t or d?
t
Let f be (0 - 1)/(6/(-12)). Let a be 8/(-20)*(-15)/f. Let h be 2/a + (-32)/(-6). Does 8 = h?
False
Let n(v) = -16*v + 351. Let i be n(22). Let l = -3 + 3.02. Let a = 1.98 + l. Which is smaller: a or i?
i
Let a = 17 + -101/6. Suppose 4*l + 58 + 46 = 3*r, 0 = 5*r + 2*l - 156. Let o = 32 - r. Which is greater: a or o?
a
Let m be (-90)/(-36)*1785/975. Which is bigger: 6 or m?
6
Let r be 0 + 3 - 805/23. Let h be (12/r)/(30/20). Is 9 < h?
False
Let a = -49725/4 + 12303. Let k be -7*3 - (-24 + 131). Let b = k - a. Does b = -1?
False
Let z = -5928 - -29641/5. Is z at least as big as -2669?
True
Suppose w - 134 = -0*w. Let m = -18957 - -19092. Are w and m non-equal?
True
Let b = 19 - -94. Let i be 86/(-7)*(106 - b). Which is smaller: i or 90?
i
Let d = -116569/618 + 143300269/738510. Let o = -4/239 + d. Which is greater: o or -0.1?
o
Let f be 4/(0 - -4)*-261. Let s be 4/6 + 183/f. Let v = s + 31/58. Is -1/7 bigger than v?
False
Let q = -148 - -146.9. Let i = 6.1 + q. Let d = i - 4. Which is greater: 7 or d?
7
Suppose 0 = -4*d + 20, -32*n - 3*d = -29*n + 3. Let b be n/1 + (43 - 36). Is b at least as big as 0.06?
True
Let z be (3/(-2))/((-2)/152). Suppose -47 + 377 = -6*s. Let n = s + z. Which is bigger: 60 or n?
60
Let n(u) = u - 27. Let v be n(11). Let k be (v*1)/(-2 + (-2)/(-6)). Let j = -154/15 + k. Is 46 greater than j?
True
Let h be -8 - (-5 + -6) - (4059 + -1). Let r = h + 8289/2. Is r bigger than 89?
True
Let q = -1200 - -807. Let k be (2 - (-788)/q)*-3. Which is greater: k or 0?
k
Suppose -4*x + j + 153 = 0, -4*j + 5 = -7. Let m be (x/(-156))/((-31)/20). Is m > 1?
False
Suppose 39 = -13*z + 182. Suppose -z*p = -6*p - 5*j - 15, j = -p - 1. Which is smaller: p or 1/106?
1/106
Let m =