ler: p or -14?
-14
Let k = 50956 - 98497950/1933. Which is smaller: k or -1?
-1
Let h be (52/(-6) + 2)/((-8)/(-36)). Is h smaller than 0?
True
Let x(c) = -6*c. Let h(v) = 7*v - 1. Let n(k) = -2*h(k) - 3*x(k). Let t be n(1). Suppose 0 = 5*o - t*o + 4*q, 2*o + 2*q + 10 = 0. Does o = -3?
False
Let j = 17 - 15. Let d be (-575)/780 - (-3)/j. Let y = -1/78 + d. Which is greater: 0.1 or y?
y
Suppose -192 = 10*i + 148. Is i greater than -34?
False
Let q be 2*(-1)/3 - (-170)/3. Do q and 57 have different values?
True
Let a = -488 - -496. Let k = -656.94 + 649. Let b = a + k. Which is bigger: b or -2?
b
Let x = -22 + 122. Suppose 11*y - 6*y = x. Which is smaller: y or 21?
y
Let f(c) = -c**2 - 13*c - 3. Let l be f(-13). Let u(a) = a**3 + 2*a**2 - 2*a - 2. Let r be u(l). Let b(m) = -m**2 + 5*m - 1. Let v be b(6). Is v less than r?
True
Let p(i) = 60*i + 17. Let m be p(1). Is m equal to 75?
False
Let k(r) = -2011*r**2 - 35*r + 34. Let j be k(1). Is j <= -2013?
False
Let r(m) = -m**3 - 5*m**2 + 2*m + 6. Let x be r(-5). Let t be (2 - (-34)/x) + 0. Do -6 and t have the same value?
False
Let v(y) = -19*y + 121. Let m be v(-5). Which is bigger: m or 215?
m
Let x be -5*(-50)/(-70) + 3/1. Which is greater: -3.4 or x?
x
Let y be (39/(-26))/((-1)/(-8)). Let s be (-2)/(-4)*y/(-3). Suppose 5*c - 2 - 3 = g, -s = g - 2*c. Which is bigger: g or 2?
2
Let i be (-4)/12 - (-28)/180. Which is bigger: i or 1?
1
Let d(g) = g**2 - 3*g - 28. Let s be d(7). Are s and 1/134 equal?
False
Let o(w) = -2*w**3 - 3*w**2 + 11*w + 28. Let y be o(-3). Does y = 19?
False
Let r = -105 - -95. Suppose 18*y + 45 = 13*y. Which is greater: r or y?
y
Let z = 178 - 178.31. Is z bigger than 1?
False
Let v = -97 + -274. Which is greater: v or -370?
-370
Let f = 137.05 - 3.05. Let k = f + -137.95. Let y = k + 4. Is y smaller than -2/7?
False
Suppose 2*a + 40 = 4*g, 2*g + 4*a - 30 = -g. Let i be (1/(-1))/(-8 + g). Are i and 0.3 non-equal?
True
Let o = 224 + -347. Which is bigger: -0.2 or o?
-0.2
Let z(w) = w**3 + 9*w**2. Suppose 0 = 3*j - 7*j - 36. Let g be z(j). Suppose 3*p + g = 6. Which is bigger: -3 or p?
p
Let c = 1272/13 + -98. Which is smaller: -28 or c?
-28
Let k(t) = t**3 + 14*t**2 - 15*t - 3. Let w be k(-15). Let z(m) = -m - 5. Let r(c) = 4*c**3 + c + 1. Let o be r(-1). Let b be z(o). Is b equal to w?
False
Let k(f) = -3*f + 1. Let t be k(-7). Which is bigger: t or -2/3?
t
Let i = -4.78 + 4.18. Which is bigger: 48 or i?
48
Suppose 118 = 4*o - 42. Let h = o - 41. Which is smaller: 1/15 or h?
h
Let f be 18/12*(8/12)/(-1). Is f less than 1/983?
True
Let r(z) = 2*z**2 - 10*z + 7. Let t = 3 - -4. Let m be r(t). Let p = m - 104/3. Which is smaller: 0 or p?
0
Let a be (-6 - -5 - -9)*13/(-4). Are a and -2/29 equal?
False
Let v(h) = -14*h - 95. Let q be v(-6). Do -71/7 and q have the same value?
False
Suppose -d + 16 = -5*g - 19, g = 2*d - 52. Suppose 3 = d*l - 28*l. Let z be 1/(-21) + 4/(-14). Is l bigger than z?
False
Let l = -34.378 - 0.622. Let f = 6 + -5.9. Is l not equal to f?
True
Let l(f) = -f**3 + 6*f**2 + 3*f + 5. Let a be l(6). Which is greater: 24 or a?
24
Let h be -1 - (-4)/(-22)*-8. Which is smaller: -1 or h?
-1
Let o = 4/55 - -82/385. Which is smaller: 68 or o?
o
Let y be (2 + 25/(-11))*(-2)/(-3). Let n(r) = -r + 5. Let b be n(6). Let x(u) = u. Let a be x(b). Is y smaller than a?
False
Let m be ((-276)/9)/(4*(-8)/(-48)). Which is greater: m or -44?
-44
Let q = 1/5599 + -1242983/27995. Let k = 3609 + -17816/5. Let j = q + k. Is 2 less than or equal to j?
False
Let h(p) = p**3 - 6*p**2 + 5*p - 6. Let a be h(5). Let c(r) = -r**3 - 6*r**2 + 1. Let g be c(a). Let j = 221251/11 + -20114. Which is greater: j or g?
g
Let k = -28 - -68. Let p = 39.9 - k. Is p at least as big as -34?
True
Let m = -112.3 + 98.3. Let a = 13.8187 + 0.1213. Let z = a + m. Which is smaller: z or 0.3?
z
Let q(g) = 468*g**2 + 4 - 3 - 471*g**2. Let m be q(1). Are m and 1 nonequal?
True
Let i be 120/(-100)*(-380)/(-6). Is -76 at least as big as i?
True
Suppose 18 + 17 = 5*p. Let g(c) be the third derivative of -c**4/24 + 8*c**3/3 - 2*c**2. Let a be g(p). Which is greater: a or 8?
a
Let l = -0.05 - 1.95. Let z be (24/32)/(2 + 14/(-8)). Suppose 0 = -s - 3*k - 6 - z, -k = s + 5. Which is greater: l or s?
l
Let f(s) = -s**2 - 8*s - 9. Let v be f(-6). Let l be (60/16)/v*20. Let j be l/68 - (-2)/(-8). Which is bigger: j or -1/4?
j
Let x be (-4)/6 + 3/(9/20). Suppose 0 = -x*t - 7*t + 377. Which is smaller: t or 30?
t
Let f(c) = -3*c - 17. Let r be f(-8). Suppose r*b + 174 = -225. Let y = b + 31. Is y != -27?
True
Let t be (12/10)/(-10 + 990/100). Let z be (t - -3)/(15/(-10)*-1). Suppose 0 = u - 1 + 6. Which is bigger: z or u?
u
Suppose -38 = 11*f - 13*f. Which is bigger: -0.4 or f?
f
Let y = 291/2 - 1439/10. Let h(k) = -9*k**2 + 10*k**2 + 3 - k + 0*k**2 - 7*k. Let a be h(8). Which is greater: a or y?
a
Let n = -33 - -32. Let b be 1/(-12)*(-8)/(-6). Which is bigger: n or b?
b
Let a be 1098/38 + 8/(-684)*-9. Which is smaller: a or 2?
2
Let o = -33 - -36. Suppose 3*r + 15 = -3*t, 4*r - 25 = 3*t + 2*t. Suppose -h + o = -r*h. Is -0.1 greater than h?
False
Let w = 128 - 131. Which is greater: -8 or w?
w
Let z = 2 - 1. Let m be 214/(-107)*2/13. Which is bigger: m or z?
z
Let b(u) = 2*u + 1. Let n be b(2). Suppose 4*h + 28 = -f - 4*f, n = -f - h. Let d be ((-14)/(-8))/(2/f). Which is bigger: 1/3 or d?
1/3
Let o be (-12)/5*490/21. Let x be (-16)/o + (-398)/(-28). Let m = 13 - x. Do -2 and m have different values?
True
Let h be -2 + -1*21/(-9). Let z = 279.98 - 280. Which is smaller: z or h?
z
Let i be 163/(-13) + 6 - -5. Suppose 48*d - 52*d = 12. Is i > d?
True
Suppose -4*r - 1 = 3. Suppose -c + 11 = 2*n, 4*c + c = 4*n + 13. Let p be (1/c)/(63/30). Which is smaller: p or r?
r
Let n(k) = -30*k - 192. Let z be n(-3). Is z at most as big as -102?
True
Let i be (1/4)/((-4)/(-80)). Let w(y) = y - 4. Let c be w(i). Let o be 1 + -3 - c*-2. Which is smaller: -1 or o?
-1
Let o(i) = i**2 - 14*i + 14. Let b be o(13). Is b at most as big as 2/185?
False
Let s be 6 - ((-5013)/(-9) - -8). Is -558 greater than or equal to s?
True
Let p be (2/(-24))/((-4)/12). Let d = -53.9 - -54. Which is smaller: d or p?
d
Let u be ((-63)/14)/(-4 - 140/(-32)). Are -201/19 and u equal?
False
Let t(x) = -2*x - 1. Let j be t(-7). Suppose k - j + 11 = 0. Let o = -7.08 - -7. Which is greater: k or o?
k
Let c be 32/96 - ((-1150)/(-3396))/1. Which is greater: -1 or c?
c
Let c(o) = -15*o - 34. Let g be c(-15). Do g and 190 have the same value?
False
Let m be 166/(-15) + 4/6. Let u = m + 129/10. Suppose 2*o + 2*j = 10, o + 2*j = 2*o + 1. Is u smaller than o?
True
Let w be 5/(-10) + (-9852)/(-19608). Which is smaller: w or 1?
w
Let l = 177.002 - 177. Let g = 20 + -21. Is l < g?
False
Suppose -3*y = 5*l - 0 + 2, y - 6 = 5*l. Let h = -0.05 + -154.95. Let z = h + 157. Which is bigger: z or y?
z
Let c be (59*1)/(28 - 33). Which is smaller: c or -13?
-13
Let w be 9/(-7) + (-6)/(-21). Let u = 9 - 8. Let j be u/(-24)*6/(-4). Which is bigger: w or j?
j
Suppose -5*v + 5*f + 20 = 0, -2*v - 5*f + 8 = -2*f. Suppose -10*l + 6 + v = 0. Is l greater than -1/16?
True
Let x(y) = 4*y + 39. Let q(s) = -s - 2*s + 2*s - 2 - 11. Let w(p) = -7*q(p) - 2*x(p). Let t be w(12). Is t less than 1/10?
False
Let k = -625 - -435628/697. Is k not equal to 1?
True
Let j be 2/(-1 + -4*(-2)/24). Is j != -46/19?
True
Let q = 133 - 33. Suppose -101*k + 2 = -q*k. Is k less than or equal to 2?
True
Let j be -20*30/(-672) + (-4)/(-14). Let f = j - 1429/1260. Do f and -1 have the same value?
False
Let i = 218 - 211. Is 2 less than i?
True
Suppose -j - 180 = 5*j. Let m = j + 212/7. Which is smaller: m or -1/6?
-1/6
Let j(o) = o + 13. Let f be j(-7). Suppose 0 = i - 4*i + f. Is i less than or equal to 4/3?
False
Let f(h) = -h**3 - 3*h. Let t be f(-4). Suppose -16 + t = -5*u. Let j = -18 - u. Which is greater: -7 or j?
j
Suppose -7*x + g = -6*x + 118, -x - 118 = g. Let s = x - -57. Is s equal to -61?
True
Suppose 4*p + p = 20. Suppose p*l - 14 = -2. Let j be 2 - (l - 1 - 2). Which is bigger: 7 or j?
7
Suppose -2*s - 4*m = -32, 4*s + s - 60 = -5*m. Suppose 2*n + s = -2*b + n, -5*b - 25 = 5*n. Is b at most as big as 5?
True
Let h = 1 - 1.5. Let w = h - -0.58. Let i = 14.7 + -14.6. Is w at least as big as i?
False
Let c