 h = -3.2 + 1.2. Which is smaller: c or h?
h
Suppose 5*f + 5 = 0, -4*h = 10*f - 7*f - 1. Is 2/587 < h?
True
Let g = 81 - 86. Suppose 0 = 5*a + 2*v + 48, -5*v = -3 - 2. Let r be ((-2)/a)/(3/g). Which is smaller: 0.1 or r?
r
Let c(y) = 6*y + 20. Let v be c(-9). Let k be v/8 + (-9)/(63/(-28)). Are -1 and k nonequal?
True
Let c = 1417695/68876 - -2/51657. Is c >= 22?
False
Let h = -758 + 758. Which is greater: h or -0.002?
h
Let d = 6 - 4. Let o be d + (-15)/(5 - 4). Let f = -5/14 - -3/28. Is o greater than f?
False
Let b(r) = 9*r - 377. Let h be b(16). Is h smaller than -233?
False
Let a be -14*(-65)/300 - 3. Let t be (-6 - 2)/(-4) + -2. Which is smaller: t or a?
t
Let q(c) = c**3 + 2*c**2 + 3*c. Let g be q(-2). Suppose -z = -0*z - p + 1, -p + 6 = 4*z. Suppose -z = 2*v + 1. Is v bigger than g?
True
Let a(x) = -x**2 + 7*x + 3. Let w be a(6). Suppose -4*z = -z - w. Let h be 4/(-6)*4*z. Is h bigger than -9?
True
Let f = -260 + -22. Is -281 less than or equal to f?
False
Let g be ((-96)/18 - -5)*0. Let x be 8/(-6)*(-9)/32. Does g = x?
False
Suppose -3*i = 5*r - 11, 3*i - 4 + 3 = 5*r. Let v be -4 + -2 + -4*2/(-4). Let z be (v/(-80))/(i/(-15)). Which is smaller: z or 0?
z
Let a be ((-6061)/145 - 4/(-5)) + 1. Which is smaller: a or -0.5?
a
Suppose -28 = -2*w + 8. Let c = 24 - w. Suppose 5*g = -15, -v + g - 24 = c*g. Does -9 = v?
True
Let c(r) = r**2 - 14*r + 28. Let i be c(12). Suppose -i*q = -3*q + 36. Is -38 less than or equal to q?
True
Let w = -0.085 - 50.915. Let s = w + 52. Which is bigger: s or -24?
s
Let p = -283/21 - -92/7. Which is smaller: 134 or p?
p
Let k = 0.06 - 0.18. Let i = k + 2.12. Let b = -1.1 + 1. Which is smaller: b or i?
b
Suppose 0 = -0*u - 2*u + g - 4, -2*g = -u + 4. Let s be -1 - (-1)/(6 + u). Which is smaller: 10/7 or s?
s
Suppose -11*i - 52*i = -9*i. Let t(k) = -k + 7. Let b be t(3). Which is greater: i or b?
b
Let o be (-24)/35*(-15)/6. Suppose -164*r = -241 - 251. Which is smaller: r or o?
o
Suppose -2*i - 18 = -42. Which is bigger: i or 16?
16
Let l = 15.8412 + 0.0388. Let i = 0.12 + l. Let d = 15.7 - i. Is -0.4 less than d?
True
Suppose -2*l - 29 = 2*r + 3*r, -5*l = -r + 86. Suppose 4*n - n + 51 = 0. Is l equal to n?
True
Suppose -160*g + 120 = -172*g. Is g <= 8?
True
Let y = -10.229 - -0.029. Let h = y - -9.2. Are -37 and h non-equal?
True
Let y be (-1)/((-2)/4) - -3. Let v be ((-165)/(-10))/11*30. Suppose y*z + 5*b + 5 = v, 0 = -z - 5*b + 28. Which is smaller: 0.1 or z?
0.1
Suppose -d + 0*q = 5*q, -1 = -d - 4*q. Suppose 4 = -3*o - d. Is o at most as big as -4/9?
True
Let w be 9/(-12) - 93/(-12). Suppose -5*a + 2 = w. Which is bigger: -1/18 or a?
-1/18
Let s = 4059 - 2418. Which is bigger: 1640 or s?
s
Let w(s) = -s**3 - 10*s**2 - 7*s + 14. Let m be w(-9). Let u be (-9)/(m - 190/(-15)). Let h = u - -301/390. Are -1 and h nonequal?
True
Let g(a) = a**2 + 1. Let t be g(-1). Let v be ((-5)/10)/(-5*(-2)/(-44)). Are v and t equal?
False
Let h = 201562/25 - 8061. Let u = -2973/1975 + h. Which is greater: 1 or u?
1
Let f be 4 - (-5 - -5)/((-3)/(-1)). Suppose -11*y + 2*b = -16*y - 11, -f*y + 3*b = -5. Is y at least as big as 1/9?
False
Suppose -4*x - 9 = -33. Let l(a) = a**2 - 9*a + 4. Let w be l(x). Let f be (-18)/w - (-6 - -7). Which is smaller: f or 0?
0
Let c(d) = -30*d - 2. Let u be c(-1). Let l = -28 + u. Which is smaller: -1/6 or l?
-1/6
Let c(o) = -2*o**2 + 10*o + 3. Let r be c(5). Suppose 2*d - r*d = 2*u + 1, 2*u = -3*d - 11. Is 4 < u?
False
Let b = -214 + 213. Let o = 0.83 + 0.07. Let z = o + b. Is z less than -0.05?
True
Let z = 479 + -20119/42. Let c = z - 19/966. Is 0 greater than or equal to c?
True
Suppose -1224 = 8*s - 42*s. Which is smaller: s or 174/5?
174/5
Let i = 19 - 19.2. Is 1/130 not equal to i?
True
Let c be 241 + 0/(-2 + 6). Let d = c + -957/4. Let w be 2/(-4)*(4 - 3/1). Are d and w equal?
False
Let t = 1729.94 - 1727. Is -2 smaller than t?
True
Let m be (-11)/(-110) - (-313)/(-2830). Which is smaller: m or 1?
m
Let i = -7 + 7. Let z(w) = 21*w - 21. Let f be z(2). Which is smaller: i or f?
i
Let v = -0.2 - -0.1. Let a = 0.1 + v. Let m = 73387.8 - 73388. Is m greater than or equal to a?
False
Let n be 6/21*(-77)/(-2827). Is 0 smaller than n?
True
Suppose j - 57 = o, 5*j + 166 = 8*j - 4*o. Which is smaller: j or 48?
48
Suppose 178*d - 175*d = -3. Which is smaller: 94 or d?
d
Let b be ((0 - 1) + 9)/(2 - 1). Which is smaller: b or 9?
b
Suppose 0 = 3*y + 5*w - 33, 15*w = 14*w - 3. Is 16 < y?
False
Suppose -k - 4 = -n - 2*n, 2*k - 3*n = -8. Is k at most as big as -31/6?
False
Let n(l) = -22*l**3 + l**2 + l + 1. Let z be n(-1). Let d = -25 + z. Is -3 equal to d?
False
Let u be 7*90/(-105)*71/3. Which is smaller: u or -146?
-146
Let m be 3 + (-4)/(-128)*-98. Let c(w) = -49*w + 47*w + 1 + 0. Let a be c(1). Is m < a?
False
Let w = -3.6 + 6.6. Is w < 0.111?
False
Let r be 2*(-4)/(24/(-15)). Suppose -v = r*v - 372. Suppose 3*c + s = -4*s - v, -3*s - 68 = 4*c. Are -14 and c equal?
True
Let l = 0.08 - 0.1. Let h = 3.65 - 2.65. Does l = h?
False
Let l = -311 - -438. Let i = -127.07 + l. Which is bigger: 1 or i?
1
Suppose -12 = 4*q - 3*q. Let n(s) = s**3 + 11*s**2 - 12*s - 3. Let o be n(q). Which is smaller: -4 or o?
-4
Suppose -3*b - 2*l + 7482 = -5*l, 4964 = 2*b + 4*l. Let r be 7948/b - 3 - 2/10. Is r equal to 1?
False
Let o(p) = -4*p**2 + 5*p - 6*p - 7*p + 3*p**2. Let a be o(-8). Is -1/36 smaller than a?
True
Let w(h) = -3*h**3 - 12*h**2 + 4*h - 11. Let d(b) = -2*b**3 - 6*b**2 + 2*b - 6. Let s(z) = 5*d(z) - 3*w(z). Let x be s(7). Is -59 at least x?
True
Let w(x) = -x + 9. Let b be w(4). Suppose -b*u + 4*y + 113 = 0, -5*y + 2*y = -5*u + 111. Let k = u - 16. Is 4 >= k?
False
Let v be ((-207)/(-45) + -5)*1. Does v = -62?
False
Suppose 2*b - 1197 = 121. Is 660 at most as big as b?
False
Suppose -2*g = -0*g - 54. Suppose -2*h = -2*m + 64, h = -108*m + 104*m + 103. Is g != m?
False
Let v = 44 - -41. Let h = v - 86. Let a be 1/(-5)*-4 - 1. Are h and a nonequal?
True
Let y = 15 + -12. Let w = y + -10. Let k = w + 14. Which is smaller: k or -0.2?
-0.2
Let x = -179 - -179.3. Which is smaller: x or 89?
x
Let z = 0 - 6. Let k = -2 - z. Let t = -36 - -40. Is t greater than k?
False
Let t = 225 + -228. Is t at most -11?
False
Let a(d) = -5*d**2 + 14*d - 6. Let p be a(3). Is -9 bigger than p?
False
Let f be -3443*-2*(-1 + 48/52). Let c = -530 - f. Do c and -1 have different values?
True
Let g(f) = 13*f**2 - 2*f - 4*f + 5 + 4*f - 15*f**2. Let h be g(-2). Which is bigger: h or -7?
h
Suppose -s + 4*n + n = 46, 2*n = -5*s - 311. Let r = 60 + s. Is -8/17 at least as big as r?
True
Let a(i) = -2*i**2 - 2*i + 60. Let n be a(-15). Is n != -359?
True
Let s = 0.06 - -0.01. Let t = -0.01 - s. Let u = 0.18 + t. Is 0.03 < u?
True
Suppose -3*o - 5 = 2*o. Let u be 5/(70/217) + o/(-2). Is u at most as big as 29/2?
False
Let q be (-10)/((-36)/(-21) + -2). Let g be 65/q - 1/(-7). Is 2 > g?
False
Suppose -3*o - 19 = -28. Let z = 1601/3 - 1059/2. Which is smaller: o or z?
o
Let z be -36*9/(-36) - 5. Is z <= 19/7?
False
Let x = 963 + -962. Is x < -378?
False
Let x = -11 + 9.68. Let c = -0.12 - x. Let v = -1.4 + c. Which is smaller: 0.2 or v?
v
Suppose 4*z - 43 = n + 2*n, 2*n = 3*z - 30. Let f be -2*(-6)/66 + n/(-11). Are 3/13 and f unequal?
True
Let p = -4.2 + 70.2. Let m = p - 74. Is 0.06 bigger than m?
True
Let o be ((-202)/10 + 0)*-5. Suppose 0 = 5*i + 74 + o. Let l = i + 34. Is l less than or equal to 3/16?
True
Suppose 22*q - 24*q = -4*x + 4, 5*x - 5*q = 0. Is 4/5 >= x?
False
Let k = -1 + 0. Let r(g) = 3*g - 1. Let a be r(5). Let m = a + -14. Which is greater: m or k?
m
Suppose n - 24 = -5*m, -2*n = m + m - 8. Let t be (n/(-1))/((-1)/(-5)). Suppose t*a + 3*q = 2*a, -a + 4*q = 0. Are 2/9 and a non-equal?
True
Let y be 5*42/15 - -6. Is y at most 20?
True
Suppose 12*k - 21 = 11*k + 5*b, -2*k - 5*b = -87. Which is bigger: 44 or k?
44
Suppose f + 6*x + 3 = 3*x, -1 = 3*f + 5*x. Let y be 0/f*2/(-4). Let b be (-114)/(-40) + -27 + 24. Which is smaller: b or y?
b
Let z = 1130.8 + -1120. Which is smaller: 1 or z?
1
Let s be (102/136)/(21/(-8)). Which is greater: 10/9 or s?
10/9
Suppose -3*b + 4*q + 88 = 92, 4*q = 4. Which is greater: -2/1081 or b?
b
Let s(z) = -z**2 + 18*z - 21. Let k be s(17). Let l = k - -10. Let v be (15 + -12)*20/l. Is v < 11?
True