h is smaller: u or -0.1?
u
Let p = 1/927 + 12047/3708. Let t = -0.11914 + 0.13914. Does p = t?
False
Let u(j) = j. Let m be u(-1). Let f be (5/3)/((-1920)/(-256)). Are f and m non-equal?
True
Let t = 318 - 103. Let g = t - -26. Is 240 not equal to g?
True
Let j = 0.0259 - 144.0259. Let v = 88 + -86. Is v <= j?
False
Let o be (-1)/((8 - -41)/7 + -4). Is -4168 smaller than o?
True
Suppose -4*m = 5*r - 41, 2*r - 1 = 2*m + 1. Let a be 1*(m/79)/(-4). Let s be (2 - 2)*(-12)/12. Which is bigger: a or s?
s
Let k be 1/(-2) - 183/(-2). Let y = 168.1 + -1013.1. Let j = y - -846. Which is greater: k or j?
k
Let r be (3626/(-777))/((-1504)/753 - -2). Is r at most as big as 0.1?
True
Let t(k) = 636*k + 4014. Let g be t(-21). Is -9341 not equal to g?
True
Suppose -8*y = -6*y + 18. Let b be 1 + 2 + 27/y. Are b and 2/971 equal?
False
Suppose 47 = 3*b - 5*p, 2*b + 11 = -p + 38. Suppose 4*r - 520 = b*r. Which is bigger: -53 or r?
r
Let d = -611 - -643. Let w(r) = -r**3 + 6*r**2 - 6*r + 1. Let v be w(5). Let c be d/456*(-6)/v. Which is smaller: c or -1?
-1
Let a = -410 + 187. Suppose -2*k - 10 = -0*k. Let m be a*k/(-60) + 4/(-6). Are m and -19 non-equal?
True
Let s = -8357.102 + 8357. Is s greater than 70?
False
Let j = -10 + 14. Let p be 1*(-5 - (-2 + -6)). Suppose -3*v = 5*f, -2*v = p*v - j*f. Is v at most as big as -20/17?
False
Let m = -151 - -150.929. Let c = m + 1.071. Let b(t) = t**2 + 2*t - 5. Let a be b(-4). Which is greater: c or a?
a
Let a(j) = -j**3 - 6*j**2 + j + 6. Let c be a(-6). Let x = -349 - -39089/112. Let r = 177/7280 - x. Which is smaller: c or r?
c
Suppose -4*w = -3*c + 6 + 1, -2*w = -2*c + 6. Suppose 0 = q - 3*h + 11, -q + c*h = 4*q + 15. Which is smaller: q or 1/4?
1/4
Let f be (-36)/(-10)*(-19)/3. Suppose 0 = -44*y + 29*y - 360. Is y < f?
True
Let z = -9801 - -9800.9. Let u = 0.6 - 5.6. Let w = 33 + u. Which is smaller: w or z?
z
Let h = -20 + -31. Let s = h + -4. Let o be (-1)/(-6) - s/(-33). Which is smaller: o or 0.2?
o
Suppose 286 = -9*w - 2*w. Let f = w - -31. Suppose l = -4*k + 100 + 54, -49 = -k + f*l. Is k bigger than 40?
False
Let f = 1809.082 - 1809.6. Is f equal to -28?
False
Let f = 6009.15 + -6009. Which is smaller: f or -40?
-40
Suppose 6120*z = 6125*z - 575. Is z at least as big as 110?
True
Let g(q) = 56*q + 49. Let h be g(20). Let m = h + -688. Suppose -m = -16*d + 47. Is d less than or equal to 32?
False
Let o = 1152 - 1152. Suppose -58 = -0*h - h. Which is greater: o or h?
h
Let u = 59/14 - 1331/315. Let m be (-27)/(-21)*4/18 + (-135)/105. Is m less than u?
True
Let p = 0.608 - 0.208. Let a = 8 - 8.45. Let t = a + p. Is 2/7 bigger than t?
True
Let o be (5 - 2)/(18/(-6870)). Which is smaller: o or -1148?
-1148
Let v = 141101/330474375 + -1/68125. Which is smaller: -1/2 or v?
-1/2
Let b = -3034/10489 - 3/617. Let y = -118 + 123. Suppose 0 = 3*z - 15, -23 = -4*a + 2*a - y*z. Which is bigger: a or b?
b
Let t = -98.39 + 90.9. Let f = 0.49 + t. Which is smaller: 0.09 or f?
f
Let c = -118 + 146. Let m = c - 27. Is 4/5 smaller than m?
True
Let a = 142 + -127. Let u = 170 - 168. Which is smaller: a or u?
u
Suppose -3 = -z + 4*z. Let r be (6 - 3 - -4) + -3 + 4. Let h be r/28*-1*7. Which is bigger: z or h?
z
Let o(l) = l**2 - 20*l - 69. Let i be o(23). Suppose 2*n - 5*n + 15 = 3*a, n - a + 3 = i. Let m = -3/14 + 33/56. Which is smaller: n or m?
m
Let i be 10/15 - (176/12 - -1). Let z be (-2)/10 + 57/i - -52. Suppose 2*b + z = 3*b. Are b and 50 unequal?
True
Let v = -152.68 - -170.68. Which is bigger: v or -32?
v
Let v be 12336/(-21490) + (-126)/294 - -1. Let q = v - 32171/24560. Are 0 and q unequal?
True
Let t(d) = d**3 + d. Let c(g) = 2*g**3 + 6*g**2 - 4*g + 4. Let z(y) = -c(y) + 3*t(y). Let w be z(5). Let r be (36/12)/(0 - (-2)/w). Which is smaller: r or 2?
2
Let l = -300/11 + 309289/11341. Which is greater: l or 1?
1
Let q = -660.94 - -644. Let s = q - 0.06. Let f = s + 8. Which is smaller: 3/5 or f?
f
Let j = 77 - 178. Suppose 10*w = 15*w - 505. Let l = j + w. Which is bigger: 1/47 or l?
1/47
Suppose 2*i + 40 = -s + 3*i, 4*i + 155 = -5*s. Let b(x) = x**3 + 8*x**2 + 5*x + 3. Let m be 1 + (1*-18)/2. Let k be b(m). Is k < s?
True
Suppose -459462 - 387742 - 50420 = 168*b. Which is bigger: -5344 or b?
b
Suppose -1274 + 1862 = 14*l. Let w = 144 - 103. Which is smaller: l or w?
w
Let j = -37227 + 35824. Which is smaller: j or -1400?
j
Suppose -7*n - 4 = -9*n. Suppose -58 = -5*z - b, 3*z = -n*b - 0*b + 32. Suppose -2 = 2*k - 2*g, -9*k - 5*g = -7*k - z. Which is smaller: 12 or k?
k
Let l = 21873 - 15746. Is l greater than 6126?
True
Let a = 125.7 - -989.3. Is 2 bigger than a?
False
Let r = 107339/393642 + 5/2302. Is r > -1?
True
Let c be -3*(-7)/(-84) - 122/(-456). Let q be (13 + -1)*1 + -4. Suppose -q + 5 = -3*d. Is c smaller than d?
True
Let j = -1.2 - -8.2. Let f = 1302 + -1306. Is j greater than or equal to f?
True
Let d = -18.018 - -0.018. Let j = d + 18. Suppose -27 = 9*p - 12*p. Which is smaller: p or j?
j
Let d(m) = m**3 + 7*m**2 + 9*m + 17. Let b be d(-6). Let t be 3 + b + -4 + 1. Let n be t/((-1110)/385) + 1/(-3). Is -0.1 <= n?
True
Let n = 8.5 + 311.3. Let d = n - 377. Let v = -57 - d. Which is greater: -0.8 or v?
v
Suppose -7*t - t = -5*t. Suppose -3*x + 2*u + 379 = -36, -4*u - 20 = t. Which is bigger: x or 137?
137
Let w = 4/115 + -142/10695. Let l = -196/465 + w. Which is smaller: -55 or l?
-55
Let p be 82/6 + 4/(-6). Let d = p - 21. Let a = -21338 - -85323/4. Which is bigger: a or d?
a
Let a = -56 + 59. Suppose -2*v + 4*v = 2*b + 8, 18 = a*v + 3*b. Suppose -v*k - 2*j = 3*j + 340, -2*k - 116 = -2*j. Which is smaller: k or 0.1?
k
Let g = 40450 - 40451. Is 45/1064 <= g?
False
Let h = -478 + 494. Is -87 less than h?
True
Suppose 16*l - 9327 = -1871. Let b = 359 - l. Which is bigger: -108 or b?
b
Suppose -4*y + 176 = -612. Suppose -2*q + 9*t = 4*t + y, -4*q - 359 = -3*t. Let c = 103 + q. Which is smaller: 31/2 or c?
31/2
Let c = 123959 + -378198907/3051. Let x = -2 + 1. Is x at least c?
False
Let d(g) = 3*g**2 - 232*g + 103. Let n be d(77). Suppose -331 = -4*c - 3*k, -c - k + 5*k + 78 = 0. Let u = c - n. Which is bigger: 55 or u?
u
Let o be (-18392)/(-2244) + 8/(-1). Let g be 2/3 - (-254)/(-323). Let s = g - o. Is s <= -1?
False
Suppose 0 = -4*p + 2*p - 108. Let g be (15656/1442)/((((-3)/(-5))/3)/(-1)). Which is greater: p or g?
p
Let w be (36/21)/(5/14). Let o be (-6*(-6)/10)/(3/(-165)). Let u = -194 - o. Is u at most w?
True
Let c = -79 - -39. Let x be c*(534/(-135) + (-12)/20). Let z = -182 + x. Is 2/3 at least as big as z?
True
Suppose -5*q + 343 = -77. Let o = q - 18. Is 0.1 at most o?
True
Suppose 0*b + 6 = -b + 2*x, 3*b + 18 = -3*x. Let m be -5*2/(-5)*(1 - b). Is m at most 14?
True
Let s = 2208329/29739 + -1708/23. Does s = -1?
False
Suppose -4*b + 21 = 3*r, -4*b + 18 = 2*r - 0*r. Suppose -r*y = -2*y - 3. Let a be 966/253*(-12)/(-21). Which is smaller: y or a?
a
Let o be 16/12 - (-8)/(-24). Let r be 11 + -11 - (o - -30). Is r at most -23?
True
Suppose -5*l = 5, -5*l + 0*l = 5*a - 10. Let m(j) = 2*j - 7. Let q be m(a). Let y(r) = -76*r**3 - r**2 + 2*r + 2. Let f be y(q). Is f bigger than 75?
False
Let b = 584 - 590. Let a be (2/14)/(((-63)/b)/(-21)). Which is bigger: a or 2.76?
2.76
Let r = -0.447 - -0.087. Let n = r + -0.14. Let w be (2/12*(3 + 6))/(-6). Is w <= n?
False
Let z = 32 + -60. Let x = 68 + z. Let g = x + -40. Is 0 smaller than g?
False
Let l = 47 + -47. Suppose 4*h - 216 - 104 = l. Suppose t + 42 = -2*m + 3*m, -2*m = -4*t - h. Is m <= 44?
True
Let a = 33.25 - 33. Let l = a - -13.75. Let f = 11 - l. Which is smaller: f or -0.4?
f
Suppose 4*u - 10*u + 24 = 0. Suppose -u*i - 514 = 2*w, 0 = 3*i + 4*w + 470 - 97. Is i less than or equal to -129?
True
Let d(m) = -15*m**2 - 4*m - 3. Let x be d(-1). Let i = -9 - x. Suppose -2*r = i*g - 176, -2*g + 4*r - 28 = -3*g. Which is bigger: 35 or g?
g
Let y = -36 + 19. Suppose 21 = -9*v - 136 - 14. Are y and v nonequal?
True
Let o = -1 + 3. Let m = 521 + -518. Suppose -s + 8 = -b, m - 8 = b - o*s. Is -13 greater than or equal to b?
False
Let o = 383 + -380. Suppose 0 = -o*x + 4*z + 667, 0 = -3*x - 10*z + 5*z + 658. Is x greater than 222?
False
Suppose 0 = -c - 3*c - 228. Suppose -18*f + 33*f + 7695 = 0. Let m = -571 - f. Which is smaller: c or m?
m
Suppose 73*v - 960 - 