qual?
False
Let f be (-82)/282 + (6 - 51/9). Let y = -27 - -25. Let b(h) = h**2 + 2*h + 1. Let z be b(y). Which is smaller: f or z?
f
Let n = -61 + -47. Let o = 151 + n. Let i = o + -42. Are i and -0.27 equal?
False
Suppose 5*g - 4*j = 9*g - 20, g - 2*j - 5 = 0. Suppose 5*x = 4*f + 3958, 0 = -g*f - 0*f + 2*x - 4939. Let p be 2/11 + f/(-77). Which is bigger: 0.4 or p?
p
Let i = -8417 + 25252/3. Is -1409 at least as big as i?
False
Let c = -10.3 - -11.3. Suppose 65 = 8*v - 23. Which is greater: v or c?
v
Suppose -m - 26 = 2*d, -5*m + 3*d - 89 = 28. Let s be (-4 + 3 - 3)*4. Which is smaller: m or s?
m
Let g(r) = 10*r - 30. Let b be g(11). Suppose 2*d = 3*l - 2*d + 48, -5*l + d - b = 0. Let q be ((-96)/(-168))/(2/l). Is q not equal to -5?
True
Suppose -6*h + 192 = -156. Let v = h + 91. Is 1 equal to v?
False
Let n = 1/484 - 5833/12100. Suppose 2*y = -6, 3*l - 2*y = 3*y + 18. Suppose -4*j + 3*j + l = 0. Is n smaller than j?
True
Suppose 5*k = k. Let z = -36574.2 + 36554.8. Is k smaller than z?
False
Let b be ((-4440)/1295)/(362/7). Is b at most as big as 0?
True
Let o = -99808 - -99731. Suppose 0*n - 3*n + 5*k = 228, n - 5*k = -76. Which is smaller: o or n?
o
Let g(p) = 3*p**2 - 11*p - 6. Let s(l) = 2*l**2 + 55*l - 11 + 4*l**2 - 75*l. Let y(b) = -11*g(b) + 6*s(b). Let k be y(1). Are 4 and k equal?
True
Let q(f) = -222*f - 887. Let m be q(-4). Are -1/245 and m nonequal?
True
Let v = -145842/23 + 6341. Which is smaller: -11 or v?
-11
Suppose -3*f + 9*f + 6 = 0. Let m = 2 + f. Suppose -b = -m - 2. Which is greater: b or 4?
4
Suppose -3*s - 2*x = 133, -1 + 6 = -x. Let a = -36 - s. Suppose 0 = a*g + 5*g - 20. Which is bigger: 0.18 or g?
g
Let l = 3143/4 + -1787/2. Let o = -618719 + 618612. Which is smaller: o or l?
l
Let h = 2490 + -2497. Is 4 at most as big as h?
False
Suppose -2*v + 5*b - 7*b + 102 = 0, -3*v = -20*b - 84. Which is greater: v or 77?
77
Let o be (-6)/42 + (-320)/(-35) - 9. Is o at least -6/43?
True
Suppose -3*x + 2*a = -59, 4*x = 2*x - 5*a + 33. Let p(k) = 20 - 11*k + x + 6 + 9. Let u be p(9). Which is smaller: -44 or u?
u
Let b = -0.116373 - -0.016373. Let y = 24.057 - 0.057. Which is smaller: y or b?
b
Let l = -157003/113091940 - 1/53045. Is l greater than 0?
False
Suppose -402 = -3*s + 108. Let j be ((-288)/(-25))/((-68)/s). Are j and -29 unequal?
True
Suppose 193*n = 189*n - 32596. Which is smaller: n or -8150?
-8150
Let k be -8*195/(-60) - 76. Is -1052/21 at least as big as k?
False
Suppose 27 = -5*p + 4*y, 10*p - 3*y = 11*p + 13. Let g be 2/(-59)*(p - -5). Do g and 1 have the same value?
False
Let c = -74/109 + -9139/4360. Is c greater than -4?
True
Let r be (-6)/(-1 + -1) - 0. Let z be ((-9)/60)/(1164/28130). Are r and z non-equal?
True
Let c be (-5)/(9405/(-3714))*(-324)/216 - -3. Which is smaller: c or 1?
c
Let b(y) = -86*y**2 - 838*y - 22. Let o be b(-11). Is -1208 >= o?
True
Suppose 9*s = 2*s - 5*s. Suppose -13*k - 42 + 29 = s. Which is bigger: k or -5?
k
Let z(y) = -2*y + 484. Let u be z(0). Let k = 3382/7 - u. Suppose 7*o - c - 3 = 2*o, -2*o + 3*c + 9 = 0. Which is smaller: k or o?
k
Suppose 2*q + 1794 = -5*l + 318, -4*l = -5*q - 3756. Which is greater: -749 or q?
q
Let k = -371 - -198. Let o = -109 - k. Suppose 8 = u - 4*v, 4*u - 8 = -3*v - 14. Do u and o have different values?
True
Let o(s) = -s**2 + 24*s - 98. Let y be o(7). Suppose 12 = 3*w - 0*w. Suppose 2*m = -2*h + h + 9, w*m + 58 = 2*h. Is h less than y?
True
Let q = -41.4 + 19.6. Let t = 21.9 + q. Let v(p) = 2*p - 2. Let n be v(2). Which is bigger: n or t?
n
Let f = -17.6 + -107.4. Let u = 124.94 + f. Suppose -l - 1 = 4*o - 19, 0 = -3*o + 2*l + 8. Which is bigger: u or o?
o
Let k(s) = -14*s**2 - 59*s - 17. Let h be k(-3). Which is smaller: h or -31?
-31
Suppose 6*o - 7*l = -6*l + 11, 0 = -5*o - 5*l - 20. Which is greater: o or 1/4251?
o
Let j = -9679381/369699 + -1/33609. Is 7 at most as big as j?
False
Let d(s) = s**3 - 108*s**2 + 126*s - 2033. Let t be d(107). Is t != -24?
True
Let u = -333.26 - -328. Let p = u - -5.06. Which is bigger: -0.1 or p?
-0.1
Let w = 2443 + 4342. Is w at most 6785?
True
Let j = 1520 + -1522. Let d = -2.6 + 1.5. Which is bigger: d or j?
d
Let h = 1210.3 - 1265. Let b = h + 60. Let k = 4.3 - b. Which is bigger: k or -0.023?
-0.023
Let s be ((-2)/5106)/(4/12). Which is smaller: s or -1?
-1
Let n(g) be the first derivative of -2*g**2 + 32*g - 13. Let m be n(7). Let i be ((-105)/(-25) - m)*6. Which is smaller: i or 0?
0
Let n = 6763 + -6762. Is n greater than or equal to -38/295?
True
Let w be 1/(-3)*(4 + -1). Is -3/6040 > w?
True
Suppose 75 = -3*h + 3*a, 2*a + 119 = -5*h + a. Which is bigger: 10 or h?
10
Suppose 9*v - 7*v = -302. Let l(b) = -36*b - 6. Let t be l(4). Which is greater: t or v?
t
Let u(a) = a**2 + 131*a + 1206. Let n be u(-121). Suppose -2*t + 4*h = 8, 0*t - h + 22 = -3*t. Do t and n have the same value?
False
Let q be ((-8)/14)/((-351)/30429). Which is bigger: q or 50?
50
Let x = 30872 + -92690/3. Suppose -b = -2, 5*y + 5*b - 1 = -111. Which is greater: x or y?
y
Let d = 0.1017 - -934.8983. Let k = d + -935.3. Let b = -22 - -7. Which is bigger: k or b?
k
Let p = 7460 + -7400. Let l = -95 - -157. Is l <= p?
False
Let m = 3 - 3.06. Let z = -166133 - -166122. Which is smaller: m or z?
z
Let m(h) = h**2 - 9*h - 68. Let q be m(14). Let c = q + -14/9. Let j(r) = r**2 - 6*r + 5. Let n be j(5). Are n and c unequal?
True
Suppose 0 = 2*x + 2*c, -2*x - 5*c - 6 = x. Suppose 481 - 574 = x*q. Is -32 greater than q?
False
Suppose 5*u = 4*a - 893, 4*u - a + 541 + 180 = 0. Let f = 17917/99 + u. Is 0 equal to f?
False
Let o be 2484/14*3080/165. Which is greater: 3311 or o?
o
Suppose -2*q = -3*b + 1394, -9*q + 2093 = -12*q + 4*b. Which is smaller: 3 or q?
q
Let d = 1603693/186 + -8622. Which is greater: 1 or d?
1
Let f(v) = 112*v + 785. Let a be f(-7). Which is bigger: a or 2/5459?
a
Let s(d) = d**2 - 7*d - 58. Let o be s(11). Let l = 66 - 75. Which is greater: l or o?
l
Let u = 0.21 - 0.21. Let n(x) = 16*x + 598. Let r be n(-27). Which is smaller: r or u?
u
Let s be ((-6)/(-1))/6*6 + -580. Let d be (-123)/s*(-4)/3. Which is bigger: -0.219 or d?
-0.219
Suppose -5*j + j + 20 = -4*a, -5*a - 25 = -4*j. Let m = 1607 + -9643. Let n be (-18417)/m + (-2)/7 - 2. Are j and n non-equal?
True
Let o = 2670 - 2670. Is 4/287 >= o?
True
Let f be (1/(-4) - 15/(-12)) + 2. Suppose -5*z + f*i + 259 = -181, -2*i = 0. Suppose -z = c - 9*c. Is 8 greater than or equal to c?
False
Let x = 9181 - 14063. Are -4884 and x unequal?
True
Let c = 28188 + -28230. Which is greater: c or -97?
c
Let r = 0.432 + -0.45. Let j = 22.982 - r. Let w = -24.4 + j. Is -0.1 < w?
False
Suppose 0 = -10*x - 3*x - 16*x. Let p be (4 - 1) + 16 + 1. Suppose 7*o - 5*o + p = x. Which is smaller: -13 or o?
-13
Let f(m) = m**3 - 14*m**2 - 5*m + 8. Let v(l) = -l**3 + 13*l**2 + 5*l - 9. Let p(r) = 3*f(r) + 4*v(r). Let z be p(11). Is -78 greater than or equal to z?
True
Let h = 333 + -316. Suppose -q - 1 = 3*z, -4*z = -4*q - 3 - h. Which is smaller: -2/59 or z?
-2/59
Suppose -4*z + 4*g = -56 + 1020, -721 = 3*z - 4*g. Is -240 at most z?
False
Let z be 9/50*20/(-40). Let m = z + 727/10300. Which is greater: -0.1 or m?
m
Let f = 95470/37 - 2580. Which is smaller: f or 0?
0
Let s be (4/(-10))/((-1)/(-2)). Let r(g) be the first derivative of g**4/4 - g**3 - 2*g**2 - 2*g + 46. Let m be r(4). Is m smaller than s?
True
Let w = 14341 - 14202. Does w = 156?
False
Let p = -896 + 184575/206. Which is smaller: p or 3/2?
p
Suppose -4*h + 262 = 5*n - 528, -4*n = -h + 166. Which is greater: h or 186?
h
Let z = 0.4695 - 0.2695. Is 2070 bigger than z?
True
Suppose 0 = 4*d - 2 + 6. Let j = -4/3317 + 10103/126046. Is d at least j?
False
Let v = 29452 - 29269. Is v <= 173?
False
Let v be 17/(-19) + (-770)/(-266) + -3. Which is bigger: -6/71 or v?
-6/71
Let f = -197.2 - -2.2. Is 3/5 smaller than f?
False
Let f be (26 + 325/(-25))*3*-1 + 4. Are f and -20 non-equal?
True
Let z be (-44)/(-77) - 29536/55216. Which is greater: -1 or z?
z
Suppose -l = -4*y - 1 - 8, l - 1 = 0. Let k = -7235 + 7237. Which is smaller: y or k?
y
Let q be (-60203)/(-313599) + (-6)/34. Let k = 2.02 - 0.02. Which is bigger: q or k?
k
Let t = -3868 + 2560. Is -1307 not equal to t?
True
Let v = 689/575 + -11/23. Let i = -61/50 + v. Is i less than -38