: h or 7?
7
Let x = 1.52 + -1.5. Let n = 567/5 + -113. Is n greater than or equal to x?
True
Let f = -2 + 3.2. Let g = f + -0.4. Which is bigger: 1 or g?
1
Let u be (1134/150)/7 - 16/20. Which is smaller: 0.06 or u?
0.06
Let f = -0.1 - -0.1. Let h = f - 0. Let z(x) = -x - 32. Let j be z(-21). Is h less than or equal to j?
False
Suppose 3*l + 3*d = -6, 3*l + 2*d - 5*d - 12 = 0. Let s be -12 + (-4)/2*l. Let y be -10 + 9 + (-10 - 4). Do s and y have the same value?
False
Let u(r) = 5*r**2 - r. Suppose 0 = -4*m - 2*c + 8, 4*m = -2*c + 3*c + 2. Let h be u(m). Suppose -h*l - 5 = 3. Is -2 less than or equal to l?
True
Let z = -6361918/17005 + 258/17005. Let j = z - -374. Let b = -13/57 + j. Which is bigger: b or 0?
0
Let r = 17.5 - 16. Let x = -5.5 + r. Are 1/2 and x unequal?
True
Let o be 24/4*15/3. Let d be 18*(-6)/o - -3. Is d smaller than 34?
True
Suppose -s + 5*x = 129, s + 0*x = -3*x - 129. Do s and -129 have the same value?
True
Let a be (-31)/(58838/11380) - -6. Do -0.1 and a have different values?
True
Let u = 0.74 - 29.74. Let b = -28.9 - u. Which is bigger: 13/4 or b?
13/4
Suppose -33321 = -76*f - 11*f. Which is greater: 0.1 or f?
f
Suppose 44*c = -30*c + 444. Let l be 43 + 1 - (2 + -1). Suppose -l = -c*a - 13. Is a less than or equal to 4?
False
Suppose 4*s - b - 7 = 4, b = s - 5. Suppose 5*r - 2*f = s*r + 108, 90 = 3*r + 4*f. Which is smaller: 0 or r?
0
Let r(a) be the third derivative of -a**5/60 - a**4/4 - 2*a**3/3 + 2*a**2. Suppose 0 = -5*m + 2*m - 5*w, -7 = -m - 4*w. Let k be r(m). Is 12/5 not equal to k?
True
Let y = 240/7 - 34. Let x = 32 + -54. Is y greater than or equal to x?
True
Let z(q) = 4*q**2 - 4*q + 1. Let w be z(0). Is 10/347 less than or equal to w?
True
Let m = -1.09 - -0.09. Which is smaller: 15.7 or m?
m
Let x = 826.9376 + -827. Are x and -1 non-equal?
True
Let f = -1 - 1. Let o be (390/28)/(8/(-28)). Let t = o - -48. Which is smaller: t or f?
f
Let g = -0.0309 - 16.9691. Is g greater than -8?
False
Let h be (-46)/(-50) - (-1)/(-1). Let g = -528/5 + 5309/50. Let y = h + g. Is y greater than -12?
True
Let a = 20 + -20. Suppose 7 = n + k, k + 5 = 2*k. Suppose s - n = -0. Is a less than or equal to s?
True
Suppose 10965 - 3040 = 25*m. Is m less than 316?
False
Let z = 85444/55 - 1554. Are -1 and z nonequal?
True
Let a be (-2)/1*75/1005. Which is smaller: -1 or a?
-1
Let r be 1 + 83 + 44/(-11). Let s be (6/(-4))/3 + (-2680)/r. Do -33 and s have the same value?
False
Let w(c) = -2*c**3 + 4*c**2 + 2*c - 6. Let r be w(-2). Which is smaller: r or 23?
r
Let a = 9/149 - 781/596. Is -0.09 equal to a?
False
Suppose 0 = 15*r - 10*r. Suppose r = 4*g + 27 - 275. Which is smaller: g or 63?
g
Let b be (0/4 - 0)*1. Let w = 3 - b. Suppose 5*j - 5*f = 0, 3*j + 1 = 4*f + w. Which is smaller: j or -5?
-5
Suppose 0 = -2*i - 4*u - 0*u - 12, -4*i + 2*u = -16. Let t = i - 0. Let j be (3 - t - 0)*-1. Is 1 less than j?
False
Let y = 715 + -685. Do 216/7 and y have different values?
True
Let c be -3*(5 - (-258)/(-54)). Which is greater: c or 30?
30
Let g = -65 - -68. Which is smaller: -3 or g?
-3
Let u = 52.1 + -52. Which is smaller: u or 550?
u
Let i(u) = u**3 - 5*u**2 + u + 3. Let z be i(4). Let m be 2 - ((0 - -2) + -9). Let w = z + m. Which is smaller: w or 1?
w
Let k be 8/44 + (-2)/11. Let p(y) = y**3 - y**2 - y + 4. Let a be p(k). Let n(o) = 4*o - 48. Let j be n(13). Are a and j unequal?
False
Let j = -21.981 - -22. Let g = -4.019 + j. Is g >= -0.1?
False
Let s = 65 - 25. Suppose -15*d + 140 = -s. Which is smaller: d or 63/5?
d
Let n be 46/(-299) + (-5302)/(-156). Is 33 greater than n?
False
Suppose -4*s = -4, -11*s = -5*z - 14*s + 3. Let q be 2/145*-5*2. Which is smaller: z or q?
q
Suppose 3*r + 0 + 3 = 0. Is -2/35 smaller than r?
False
Suppose 5*c = -j + 124, -c + 4*c = 2*j + 77. Let q be (-2)/4 - 1081/(-46). Which is smaller: c or q?
q
Let y = -6.88 + -0.12. Let l = y - -5. Let m be (-20)/(-32)*20/(-25). Which is bigger: m or l?
m
Let s be -2 + 1 - 1/3. Let t be (7/(245/(-168)))/((-4)/10). Suppose 3*z - t = -z - 5*b, 3*z + 3*b - 6 = 0. Which is smaller: z or s?
z
Let n = -692 + 1112. Which is smaller: n or 1/3?
1/3
Suppose -u = -28*j + 30*j + 841, u + 2104 = -5*j. Which is greater: -422 or j?
j
Let g(d) = 28*d**2 - 2. Let t be g(2). Let k be (-3)/5 - (-71)/t. Let q = 37/154 + k. Is 0.1 less than q?
True
Suppose 6*l - 4*l = -78. Let i = 21 + l. Let j be (-38)/9 + (-14 - i). Which is greater: j or -1/5?
-1/5
Suppose 0 = -3*f + 12*v - 10*v + 18, 0 = 4*f + v - 13. Is f >= 32/11?
True
Let a = -306 + 198. Let c = -106.5 - a. Which is greater: 2 or c?
2
Suppose -3*h - 1172 = 2*r - 2*h, 2364 = -4*r + 3*h. Is -588 smaller than r?
False
Let j(q) = -10*q + 649. Let l be j(65). Which is smaller: -6/799 or l?
l
Let p be (11 - 1110/100) + (-169)/10. Which is bigger: 0 or p?
0
Let x be ((6/(-4))/1)/(-3). Let r be (-1053)/(-54) + (4 - 2)/(-4). Is r less than x?
False
Let q = 659 + -650. Let x = -0.115 - 9.085. Let a = q + x. Which is bigger: -0.07 or a?
-0.07
Let t(u) = u**3 + 5*u**2 - 7*u - 8. Let r be t(-6). Let h = 5 - r. Let z be (h/(7/(-2)))/2. Is 2/43 <= z?
False
Let w be (11 - 4) + (0 - -1). Let s(f) = 2*f + 150. Let g be s(-71). Is w at least as big as g?
True
Let b = 18 - 3. Let w = -13 + b. Which is greater: w or 0.8?
w
Let v be (4 - 154/33)*93. Which is smaller: -64 or v?
-64
Let m(t) = t**3 + 21*t**2 - 23*t - 21. Let g be m(-22). Let z be -2 + g + 2 + -1. Are z and 2/45 nonequal?
True
Let l be 40/6*(-246)/205. Is -15/2 not equal to l?
True
Let r = 91 - 61. Let x = -34/3 + 11. Is x smaller than r?
True
Suppose -h = 3*v - 19, -5*v + 4*h = 2 - 11. Let y be 3 + 0/3 + 0. Which is smaller: y or v?
y
Let b = -101/6 - -17. Let p = 3144 - 3144. Which is smaller: p or b?
p
Let p(n) = -n**3 + 10*n**2 - 9*n + 1. Let l be p(9). Let s be ((-13)/4)/((-286)/33 - -9). Which is smaller: s or l?
s
Suppose 4*k - 4*k = 16*k. Which is greater: k or -2/1297?
k
Let o = -0.02 + 0.15. Let a = o - 0.63. Let p = a + 0.4. Is p < -0.3?
False
Let y = 27 - 28. Let x = 86/3 + -341/12. Which is smaller: y or x?
y
Suppose -5*i = 415 - 55. Let a = i - -56. Which is greater: a or -13?
-13
Let j(z) = 3*z - 3*z - z. Let i be j(-4). Do i and 6 have the same value?
False
Let i(r) = -r + 2. Let b be i(-13). Suppose 0 = o - 0*o - 4*y + b, 2*o + 5*y - 35 = 0. Suppose 3 = o*u - 2*t, 8 = -2*t - 0*t. Is u at least as big as -1/4?
False
Let v be (-21898)/312 - (-4)/6. Let m = v + 279/4. Which is smaller: 1 or m?
m
Let n = 1.5 - 0.8. Let w = 0 - n. Let r = w - -1.1. Which is bigger: r or -0.2?
r
Let v = 22.9 + -23. Let a = v - 0. Are 20 and a equal?
False
Let l be 6*(-4)/(-16) - (-464)/(-12). Which is bigger: l or -37?
-37
Let i be 3/(-54)*(-12)/15. Let l = -5 + 8. Suppose l*s + 6 = 4*d - 6, 3*s = -d - 12. Which is smaller: i or d?
d
Let v = -192 + 192.07. Let u = 0 - -0.1. Which is smaller: v or u?
v
Let g = -17.1 - -0.9. Let z = -15 - g. Let m = -1.7 + z. Are m and 1/3 unequal?
True
Let c(i) = -i + 8. Let n be c(10). Let z be 1*(-4)/(-4) + n. Let y be 2*7/(-2) - -2. Which is smaller: y or z?
y
Let y = -14 + 27. Let u = -12.9 + y. Is 2/19 less than or equal to u?
False
Let q = -1/148 - -99/3700. Let a = q - -83/850. Does a = 1/4?
False
Let z = -1/1608 + -129/79864. Does 1 = z?
False
Let m = 4738/165 - -16/33. Is m > 29?
True
Let z be 15/(-12) - 78/(-64). Let x be 5*(3/(-5) - 0). Let l(v) = v**2 + 2*v - 4. Let n be l(x). Which is greater: n or z?
z
Suppose -i + 0*l = 4*l + 18, 2*i + l = -1. Let f be (i*(-1)/1)/(-37 + 29). Is f != -26?
True
Let w be 2/(-2) + (-222)/33. Let l = w + 23/3. Let n = -21 + 21. Is n smaller than l?
False
Suppose -b = -1, 37*b = -2*k + 38*b - 3. Let p = 114 - 2618/23. Which is bigger: k or p?
p
Let x = -19 - 8. Let q = -0.8 + 17.8. Let u = q + x. Which is smaller: -1 or u?
u
Suppose -4*p - 6 + 90 = 0. Let r = 20 - p. Which is greater: -1/22 or r?
-1/22
Suppose -b = 3*b - 76. Suppose 14*a = 13*a - b. Is -19 at least a?
True
Let j be 2 - (0 - 1)/((-6)/12). Let t be (5 - 9) + j - -5. Which is bigger: -2 or t?
t
Let c = -48.965 - -49. Let i = c - 16.035. Is i < -2/3?
True
Let j = 47 - 339. Which is smaller: 1 or j?
j
Let n = 28.1 - 13.1. Which is bigger: n or 2/19?
n
Let t = 5.2 - -15.8. Let g = 979 + -949. Let i = t - g. Which is smaller: i or 0.1?
i
Let f = 2899 