 - -2544. Which is bigger: h or 13?
13
Suppose 2*n = -h + 3, -5 + 17 = 4*h - n. Let p = 71 - 79. Let k be p/14 + 120/(-84) - -4. Which is bigger: h or k?
h
Let w = 279.33 + 107.67. Is -0.05 less than w?
True
Let n = -1099 + 7573/7. Let v = 63159 - 63175. Is v at least n?
True
Let b = 2.5754 - 0.9754. Is -2.3 > b?
False
Let p be (-11)/((-7)/490*-5). Let q = 212 + p. Is q > 60?
False
Suppose 21*w - 13*w = 24*w + 16. Which is smaller: w or 3/9593?
w
Let v be (-44)/42 + -6 + 160/28. Let k = 18 - 41. Let n = k - -22. Which is smaller: n or v?
v
Suppose -5*d - 7*i = -2*i - 15, 3*d - 5*i = 9. Suppose -d*z = 44 + 28. Let k(m) = -m**2 + 71*m + 121. Let a be k(73). Is z less than or equal to a?
False
Let i = 2751 + -2982. Which is smaller: -235 or i?
-235
Suppose -96*o + 191*o = -95. Which is bigger: o or 1145?
1145
Let j = -360312 + 10329064102/28667. Are j and 1 nonequal?
True
Let j be (-182 - -5) + -2*4/2. Let u = -62 - j. Which is smaller: u or 2?
2
Suppose 3*r - r + 414 = 71*r. Let i = -1223/132 - -193/12. Which is greater: i or r?
i
Let c = -21578 - -539266/25. Is c less than -8?
False
Suppose 0 = -2*i - 0*t + t + 2148, 0 = -2*i - 4*t + 2128. Do i and 0.1 have the same value?
False
Suppose -4*k + 219 = -1023 - 830. Which is smaller: k or 519?
k
Suppose -2*u + 27 + 28 = 5*k, 0 = 4*u. Let m = -7 + k. Suppose 0 = -162*l + 155*l + 35. Which is bigger: l or m?
l
Let z = 1966/135 - 404/27. Is 3.78 at least as big as z?
True
Let k = 3.34 - 4. Let y(q) = 114*q + 6. Let j be y(0). Is k at least j?
False
Let t be (-2)/15*-3 + 398/(-1120). Let j = 2963/112 + t. Are 28 and j non-equal?
True
Let r be 1 + ((-83)/45 - 0) - 0. Let m = r + 157/90. Let x = 307 + -307. Are x and m equal?
False
Suppose -h = -3*y - 4, -2*h - 4 = -3*y + 3*h. Let p be -2 - (68/y - (1 + -1)). Let g = 33 - p. Which is smaller: g or 2/99?
2/99
Let v = -0.4604 - -12.1604. Which is greater: v or 64?
64
Let w = 61.248 + -0.048. Let y = -59.2 + w. Do y and 21 have different values?
True
Let y = -322 + 367. Is 118/3 at least y?
False
Let z be 0/(-5)*(1 + -2). Let m(h) = -h - 296. Let u be m(z). Let q be (-28)/126 + u/(-117). Which is bigger: 2 or q?
q
Let n = 1057 + -761. Let x = 295 - n. Let a = 2 - 1.96. Which is greater: a or x?
a
Suppose -20*x = -24*x + 80. Suppose 55 = -5*p + x. Which is smaller: 7 or p?
p
Let k = -13250 - -11337. Which is smaller: 0.2 or k?
k
Suppose -175*o + 4*y = -177*o + 22, -4*y + 25 = 5*o. Does -1/192 = o?
False
Let m = -24 + 24. Suppose 2*r - r - 52 = m. Let b(j) = 51*j + 1. Let f be b(1). Is r less than f?
False
Let p be (-2845)/(-14)*24/(-15). Let k = p + 318. Let w = 2/35 - k. Which is smaller: 6 or w?
6
Let n = -12.932 - -14.932. Which is bigger: n or 29.57?
29.57
Let z(q) = -6*q**2 + 5*q**2 + 2*q**2 - 47*q + 200. Let u be z(29). Do -322 and u have different values?
False
Suppose -34*c - 1122 = -2*m - 36*c, 4*m - 4*c - 2276 = 0. Is m > 570?
False
Suppose -3*k + 4*o - 23 = 0, 0 = 10*k - 6*k - 3*o + 19. Which is smaller: 50/221 or k?
k
Let a be 742/(-8) - (18 + (-1 - 10)). Is -99 less than or equal to a?
False
Let o = -3145 + 3144.8. Is o <= -269?
False
Suppose -4*s = 3 + 13. Let p be -2 + 1 - (s + 0). Suppose -180 = y + p*y. Which is greater: y or -44?
-44
Let f(u) = 9*u**3 + 4*u**2 + 2*u - 3. Let l be f(4). Suppose l = -8*d - 7*d. Which is greater: -42 or d?
-42
Let p be 6/(-16)*(-2)/3. Let i = 49.462 + -49.562. Is p at least as big as i?
True
Suppose 9*m = -1 + 13 - 3. Which is greater: m or -3/707?
m
Let n = 10741 + -10142. Which is smaller: 0 or n?
0
Let p = 0.79 + 5.31. Let k = -6 + p. Let h = 11749/15 + -783. Which is bigger: h or k?
h
Let j(p) = -2*p - 78. Let f be ((-28)/(-8) + -3)*-8. Let s be j(f). Do -67 and s have the same value?
False
Suppose 5*x - 119 + 424 = 5*w, 0 = -5*x + 25. Let h = 92 - w. Let z = -36 + h. Which is smaller: -14 or z?
-14
Suppose 28*h - 75 + 243 = 0. Which is smaller: -40 or h?
-40
Let k = -1 - -1. Let d = 584 + -580. Let c be (-159)/265*d/(-3). Do c and k have different values?
True
Let q be 23/7 - 3 - (-13 + 167295/105). Which is smaller: q or -2?
q
Let x be 6/(-16) - (-16155)/72. Suppose -7*q - x = -196. Does -8/3 = q?
False
Suppose 3*c + 2*c + 2*m - 50 = 0, 3*m = -15. Let l be (-1)/(4/(-16) - (-2)/(-8)). Suppose 7*t + l = 30. Which is smaller: t or c?
t
Let z = -2650 - -2649.3. Let h = -0.034 - -3.334. Let i = h - z. Are -2/5 and i unequal?
True
Let z = -0.3792 + 57.9692. Let y = z - 1.59. Let m = -0.03 - -0.03. Which is greater: m or y?
y
Let r(q) = 5*q + 6. Let h be r(-2). Let x be ((-3)/(-30))/(1/h). Which is greater: -0.145 or x?
-0.145
Let b(u) = 5*u**2 - 9*u + 12. Let k be b(5). Suppose 40 = -3*j - k. Let o be (-6)/4 + (-550)/j. Is 7 at most as big as o?
True
Suppose 0*p = -5*p + 5*l, 4*p + 4*l - 24 = 0. Let b(v) = -7*v**p - 2*v**3 - 6 + 5*v**2 - 8*v + 12*v**3. Let g be b(3). Is 95 not equal to g?
True
Let w(p) = -8*p + 93. Let a(n) = 10*n - 92. Let g(r) = 6*a(r) + 7*w(r). Let y be g(-28). Let l = 23 + -36. Is y < l?
False
Let x = -213.8 + 5.8. Let c be (-5)/(-30) - (5 - (-184)/(-48)). Which is smaller: x or c?
x
Let c be 11/33 + (-1923)/5445. Is c equal to 0?
False
Let p = 41061/1256905 + 14/4121. Which is smaller: p or -1?
-1
Let c be 4425/(-295)*(1/3 + 6294/(-18990)). Let l be 4/14 - (-9)/(-7). Which is greater: c or l?
c
Let o(h) = 13*h**2 - 517*h + 390. Let n be o(39). Is -1/24869 at least as big as n?
False
Let d = -861 - -864. Suppose -l + 5*r + 117 = -3*l, r - 218 = d*l. Which is smaller: l or -74?
-74
Suppose -2*z = -2*d + 1105 + 4953, 2*d = 4*z + 12128. Is -3036 not equal to z?
True
Let y(u) = -u**3 - 18*u**2 + 7*u - 30. Let a be y(-18). Let m be 19/(38/a) - -1. Is m smaller than -78?
False
Suppose 4*u + 120 = 4*r, -r - 2 = -3*u - 42. Is r at most as big as 635/27?
False
Let s be -8*(-30)/(-24)*(-6)/3. Is s smaller than 14?
False
Let y(d) = -5*d**2 - 4*d + 34. Let z be y(-11). Let p = 552 + z. Which is smaller: p or 47/2?
47/2
Suppose 5*l = l + 5*s - 72, -l + s = 18. Let i be 6/(-10) - (-144)/(-60) - l. Which is bigger: i or 14?
i
Suppose 94243 = -129*r - 5990. Is r at most -777?
True
Suppose -55 = -50*q - 5. Which is greater: q or -2/3801?
q
Let f(x) = -2*x**2 + 27*x + 25. Let y be f(15). Is -138 >= y?
False
Let c be 1405/(-934) + (-12)/(-8). Suppose 5*w = 9*w + 10*w. Is w greater than c?
True
Let g = 26794 + -3804749/142. Suppose 3*k - 16 = -k + 5*f, -k + 7 = -2*f. Is k at least as big as g?
False
Let t(b) = b**2 - 12*b + 11. Let z be t(12). Suppose 0*p = 3*p + 96. Let d = p - -45. Which is bigger: z or d?
d
Let d = -0.173 - 0.645. Let i = d - -0.918. Let w = 7 - 7.7. Does w = i?
False
Let a = -4/43 + -18/731. Let q be ((-9)/3)/((-21)/2). Does q = a?
False
Suppose 8*z - 703 = -87. Suppose 58*c = 65*c - z. Which is smaller: 9 or c?
9
Suppose -3*i + 44 = 2*s, 4*s = 4*i - 0*s - 72. Suppose -i*w = -14*w + 28. Let b = -7 + -8. Which is bigger: b or w?
w
Let g = -43 - -7. Let z = 46 + g. Let c = -9.8 + 9.8. Which is smaller: z or c?
c
Let z be ((-9)/8)/(12 + (-3824)/64). Which is smaller: z or 1?
z
Suppose 959 = 5*j + 754. Which is smaller: j or -32/7?
-32/7
Let j be 1 + 2 + ((-10)/2 - -2). Let f be (-21 - (2 - 4)) + j/(-63). Are -16 and f non-equal?
True
Let n = -822425/374 + 2199. Let p = n - -3/34. Which is greater: p or -1?
p
Let s = -482.2 + 482. Let p = 148 - 169. Is p greater than s?
False
Let b = -0.1 + -7.7. Let w = 7.7 + b. Let d(n) = n**3 - 13*n**2 - 14*n + 41. Let s be d(14). Is w <= s?
True
Let o be ((-6)/4060 - 0)*(-22 - -24). Which is smaller: 0 or o?
o
Let d = 138 - 136. Suppose -4 = -3*i + d*c - c, -16 = 4*i + 4*c. Let w = 4.3 - -0.7. Is i not equal to w?
True
Let a be (24/7)/((-94)/14 + 7). Suppose -b + 19 - a = 0. Let p = -11 - b. Is p < -17?
True
Let t = 5 + 11. Let g = -22163 + 22162.7. Which is greater: t or g?
t
Let i = -0.003 - 0.111. Let r = 0.214 + i. Suppose 4*n = -33 - 3. Is r equal to n?
False
Let c = 62 - 50. Suppose 0 = c*l - 8*l + 48. Is l at least -104/9?
False
Let q(h) = -2*h - 2. Suppose 3*n = 4*g - n, 2*n + 2 = 0. Let c be q(g). Suppose c = -7*b + 11*b - 20. Which is bigger: 7 or b?
7
Let n = 62 + -34. Suppose -5*l - 19 = -29, -3*l = 5*c - 1456. Suppose -9*z - c = -19*z. Are n and z unequal?
True
Let h = 7600 - 13602. Is h at least as big as 0?
False
Let h = -20442 - -2168