- -1. Which is smaller: 0 or h?
h
Let i(u) = 9830*u + 29500. Let w be i(-3). Let r(y) = -y**2 - 7*y + 5. Let k be r(-6). Is k >= w?
True
Let w = 270/23 + -138137/11730. Is 0 > w?
True
Let l = 37653885 + -1619334473/43. Let p = -5056 - l. Do p and 0 have different values?
True
Let z be (-265)/(-35) + 3/7. Let p = 913/117 + 5/117. Which is bigger: p or z?
z
Let o = -395132/637 + 8022/13. Is -4 greater than o?
False
Let t = -1343.7 - -1343.5358. Which is smaller: t or 1?
t
Suppose 0 = -6*u + 4*u - 10. Let d = -272 + 188. Let x = 89 + d. Which is smaller: u or x?
u
Let u be -2 + (-1 - 0/(-1)). Let l(y) = -2*y**2 - 2*y + 4. Let n be l(u). Suppose -58*b = -2*g - 10 - 6, -5*g + 28*b - 40 = 29*b. Is n bigger than g?
False
Let l(w) = -2*w**2 + 3*w + 8. Let k(t) = 2*t**2 - 3*t - 9. Let v(f) = 6*k(f) + 7*l(f). Let r be v(-4). Let a = r - -69. Is 29 equal to a?
False
Let u = -3487 - -3215. Do -541/2 and u have the same value?
False
Suppose -348*b = 1969 - 5797. Let a = 3 + -2.5. Let h = 0.3 - a. Is h equal to b?
False
Let q = 9 - 6. Suppose q*v - s + 51 = 0, 65 = -10*v + 5*v - 5*s. Let f be (-3)/(2 - 5)*(-19 - -2). Is v at least f?
True
Let c be 4/(-3)*12/(-9). Let q be (4236/(-26828))/(1/(-19)). Which is smaller: q or c?
c
Let t be (19 + 10941/(-574))/((-3)/(-204)). Which is smaller: t or -3?
t
Let z be 14/4 + (-3)/6. Suppose z*q - 11*q = -16. Suppose 2*r - 4*i - 72 = 0, 0 = q*r - 7*r + 2*i + 180. Which is greater: 35 or r?
r
Suppose 2*x = -2*l + 458, -l = -7*x + 4*x + 683. Suppose -6*p - 1632 + x = 0. Which is bigger: p or -233?
-233
Let i = 40.03 + -3.03. Let y = i - 37.029. Is y greater than or equal to -2?
True
Let d = -161 + 90. Let w = d + 70.952. Let x = w - 22.952. Is 1 at least as big as x?
True
Let b = -4.081 - -3.981. Which is greater: b or 6584?
6584
Let b = -16638 + 16636.0418. Let f = b - 0.0418. Which is bigger: 35 or f?
35
Let c(f) = -1453*f - 785. Let m be c(-3). Is 7147/2 at least m?
False
Let v be 1*(-43622)/(-1785) - 4/(-30). Is 24 at least as big as v?
False
Let n = -2442 - -2410. Are 5 and n non-equal?
True
Let t be 67/13 - 36/234. Suppose -o + 3*i + 6 = -11, t*i + 23 = -o. Suppose -z = -5*u + 7 - 21, -5*z = -u + o. Which is bigger: u or -2?
-2
Let h = 0.2115 - 0.1992. Is h <= -0.4?
False
Let y be 99/(-222)*6072/3780. Let x = -74/105 - y. Is x at most 0?
False
Let p = 108/2135 + -4540846/36295. Which is greater: -126 or p?
p
Suppose -472*i = -471*i - 4. Suppose 4*k + 5*f = 452, 5*k - i*f - 308 = 2*k. Is k <= 108?
True
Let x = -46877457 - -327110896121/6978. Let d = 2/1163 - x. Is d greater than 31?
False
Suppose 249*x - 1704 = -177*x. Let n = 36 - 22. Let d be (-2)/(0 - 4/n). Are d and x unequal?
True
Suppose -20*t + 25*t - 775 = 0. Let c = 672 - 518. Is c bigger than t?
False
Let q = 1144 + -1129. Which is smaller: q or 14?
14
Let p = 19 + 122. Let d = -153 - -295. Does p = d?
False
Let n = -2728.7 - -2587. Is 0.2 at least as big as n?
True
Let v = -281 - -273. Let s be (-20)/v - 15/30. Which is greater: 14 or s?
14
Let g = 46 + -46. Suppose -4*u + g*u = -3*c - 13, 2*c + 5*u = 22. Which is greater: 2/19 or c?
c
Let k be 0 + (-2)/6 - (-185)/15. Let b = -25 + 24. Let t be -8 + 4 - b*14. Which is smaller: t or k?
t
Let f(u) = 19*u**3 - 24*u - 15. Let a be f(-9). Let n be 2/(-6) + (a/(-9))/(-13). Which is bigger: n or -116?
-116
Let h(q) = q**2 + 14*q + 34. Let o be h(-11). Suppose z - 2 = o, -3*y = -z + 12. Let i be (-6 + 1)/(1 - -2). Which is smaller: i or y?
y
Suppose -462*l - 68616 = -426*l. Is l at most -1907?
False
Let t = -2848 - -2839. Which is smaller: t or -19?
-19
Let z be 4 + -3 - 2 - 310/(-5). Let x = z - 59. Let h = 0.27 - 0.45. Is h >= x?
False
Let m = 17 + -18. Suppose -119 - 95 = -4*g - 2*o, -o = -3. Suppose 2*a = -2*a - g. Are a and m non-equal?
True
Let d be -3*(7 - (30932/402)/11). Let i be 4/(-18) + 10/(-36). Is d greater than i?
True
Let k(a) be the second derivative of -a**3 + 12*a. Let g be k(6). Let t be ((-39)/9 + 3)/((-2)/g). Is t at least -25?
True
Let p be ((-9)/(-82))/((-39)/(-52)). Let f = -5838 - -5838. Is p bigger than f?
True
Let m(w) = -7*w + 55. Let a be m(7). Is -69/14 at most a?
True
Suppose 0 = 285*o - 302*o + 51. Suppose -4*f + 12 = -4*g, 4*g - 60 = -0*f - 5*f. Suppose f*a - o*a = -145. Does -29 = a?
True
Let t = -101 - -15. Let b = -65.3 - -6.3. Let h = b - -58.9. Which is greater: t or h?
h
Suppose x + 2*v - 30 = -20, 3*v + 3 = 0. Is 11 less than or equal to x?
True
Let u be (-1 + -7)*2 - -3. Let k = -7 - u. Suppose -12*c = -9*c - k. Which is smaller: 8/5 or c?
8/5
Suppose 2*o = 9*r - 10*r + 162, -324 = -4*o - 5*r. Let l = -76 + o. Do l and 8 have the same value?
False
Let a be ((-544)/6)/((4/(-15))/(-4)). Let g be a/(-14) + (-3 - -1). Let n = g - 95. Which is bigger: n or 1?
1
Suppose -43*j + 2511 = -124*j. Is -33 less than or equal to j?
True
Let c(j) = -j**2 - 2*j + 19. Let k(p) = -7*p + 8. Let g be k(2). Let h be c(g). Let q be (-8)/(-6)*(-15)/10. Which is greater: h or q?
q
Let d be 12 - ((-6)/6 - -6) - 11. Which is smaller: d or -92/35?
d
Let n = 21193 - 19489. Which is greater: n or 0.3?
n
Suppose -206*z + 207*z = 0. Let t = -731 + 5140/7. Which is bigger: t or z?
t
Let p = -50864 - -50854. Suppose 2*h + 0*h - 2 = 2*w, 2*h + 6 = -2*w. Let u = -8 + w. Is u > p?
False
Let j(f) = 52*f - 144. Let z be j(3). Suppose 4 + 92 = 6*o. Which is bigger: z or o?
o
Let o be 138/(-8) + 2/8. Let a be (134 - -72)*(-1 - 0). Let n = a + 190. Which is greater: o or n?
n
Let g = 1801.46 - 1798. Is -4/7 > g?
False
Suppose -4*m = -5*h + 33, -h + 3*m - 5 = 8*m. Suppose 77 = h*p - 113. Suppose p - 3 = 2*z + 3*o, 9 = 3*o. Which is smaller: 15 or z?
z
Let i = 73773 - 37550445/509. Are i and -1 unequal?
True
Suppose -10*k + 76012 = -134*k. Which is bigger: k or -612?
-612
Let m(o) = -11*o**2 - o - 4. Let g(d) = -3*d**2 - 1. Let k(t) = -9*g(t) + 2*m(t). Let z be k(-3). Is 52 at least z?
True
Let v = 4313 - 4314. Is v bigger than -2/9755?
False
Suppose 18185 = 24*a - 35695. Does a = 2245?
True
Let p = -3988 - -3987. Which is smaller: 42/197 or p?
p
Let q = 854 + -853. Let a = 471655/121 + -3898. Is a equal to q?
False
Let a(y) = 504*y - 6049. Let j be a(12). Which is smaller: 6/533 or j?
j
Let o be -15 + (-1547)/(-104) + 22803/24. Is o greater than 950?
False
Let x = -6843 + 61585/9. Which is smaller: x or 687?
x
Let a = 211 + -210. Let w be 6/(-24) + (-33)/(-4). Let t = w + -4. Which is smaller: a or t?
a
Let c be (-994)/(-20377) + (-2)/41. Is 35/27 at least c?
True
Suppose 0 = 77*o - 69*o. Suppose -5*i + 3*b - 575 = o, 4*b + b - 93 = i. Is -118 > i?
False
Let g be (-2 + 16)*21/6. Suppose -24*o - 272 - 136 = 0. Let l be 49/((-19)/o - 6/51). Is l at least as big as g?
True
Let w be (-352 + 0)*(-5 + (21 + -12)/3). Is 5621/8 greater than or equal to w?
False
Suppose 45100 = -6904*h + 6860*h. Is h greater than or equal to -1028?
True
Let r = 2182 + -19636/9. Do 10/67 and r have the same value?
False
Let p = -9 + 9. Suppose p = 2*b + 4*h - 146, -5*b + 8*b - 2*h - 259 = 0. Let q = 82 - b. Is q greater than -8/5?
True
Suppose 2*b = 5*o + 74, -3*o + 393 = 5*b + 115. Is b bigger than -59?
True
Let b(f) be the third derivative of 5*f**4/8 - 3*f**3/2 - 7*f**2. Let m be b(2). Let a = 0.3 - -0.7. Do a and m have different values?
True
Let m be 33 - (2 + -4 - -1)*0. Suppose 21*o - m*o = -120. Is 19 at most o?
False
Let y(o) = 479*o + 899. Let s be y(12). Is 6648 <= s?
False
Suppose 2113 = l - 2*b + 508, -3210 = -2*l - 5*b. Is 1605 <= l?
True
Let p = -3832 + 3831. Which is bigger: -2/1039 or p?
-2/1039
Suppose 0 = -26*p + 27*p + 3*l - 13, -5*p - 2*l = -13. Is 2/8315 less than p?
True
Let g(q) = -40*q**2 - 6*q - 18. Let h be g(-3). Let b be (-80)/h + (-34)/(-36). Is 1 at most b?
True
Let x be ((-9)/(-4))/(-4 - -1). Let t be -109 + 103 - (-4 - (-561)/(-282)). Is x equal to t?
False
Suppose -12 = 9*n - 39. Suppose 0 = -5*q - n*r + 22 - 1, 4*q - 6 = 3*r. Suppose z + 97 = 4*b - 2*z, 4*z = q*b - 64. Are 29 and b unequal?
True
Let z = -13772 - -15484. Are 1706 and z nonequal?
True
Let r(o) = -o**2 - 49*o + 42. Let f be r(-47). Which is smaller: f or 125?
125
Suppose -2*m - 2728 = -3*g, -g - 2*m + 912 = -0*g. Let f be g/238 + (-2 - 5). Which is smaller: -2 or f?
f
Suppose 2253*o - 2156*o = 10088. Is 141 at most o?
False
Let y(u) = 32