less than or equal to k?
False
Let x = 22544/7 + -3200. Which is bigger: 22 or x?
22
Let t = -0.27 - -0.07. Let v(i) = 10*i + 2. Suppose -2*d = 4*u - 2*u, 0 = 3*d - 6. Let p be v(u). Which is smaller: p or t?
p
Let f be (-917)/(-84) - 13/(-156). Is 4 > f?
False
Let q(f) = -34*f - 89. Let i be q(-9). Let b = 177 - i. Are b and -38 non-equal?
True
Suppose 6*l + 4*l = -2460. Let b = -246 - l. Which is smaller: b or 4/15?
b
Let i = 108 + -112. Let n be (-10)/8*11*i/(-66660). Which is smaller: n or 1?
n
Suppose -68*f + 22*f = -34 - 58. Is 122/105 < f?
True
Suppose 0 = 4*x + 2*t - 18, 5*t = -3*x + 4*t + 16. Suppose -143 - 704 = -x*a. Let d = 121 - a. Which is greater: 1 or d?
1
Suppose 2*o - 4*u + 200 = 0, 109 = -2*o + 2*u - 107. Which is smaller: -703/6 or o?
-703/6
Let z = 48 + -24. Let r be 100/((16/(-12))/2). Let w be r/(-5) + (-7 - -2). Does z = w?
False
Suppose -h + 5*s = 37, 3*h - s = h - 29. Which is bigger: h or -159/13?
h
Suppose 0 + 5 = -5*z. Let d = 1001/83 - -1478849/747. Let b = d + -1994. Is z less than b?
False
Let a = -144 - -654. Let i = 513.992 - a. Let p = i - -0.008. Are p and -0.4 non-equal?
True
Let b(j) = 2*j**3 + 48*j**2 - 55*j - 122. Let t be b(-25). Let l = -4.9 - -1.7. Which is smaller: t or l?
l
Let a(c) be the second derivative of -c**5/20 - c**4/2 + c**3/3 + 5*c**2/2 - 13*c - 2. Let j be a(-5). Is j > -86/3?
False
Suppose 18*t - 4520 = 394. Suppose 71*x - 822 = -3*j + 69*x, x = -3*j + 819. Which is greater: j or t?
t
Let z = -8227673/2 - -29232923505/7106. Let x = -2/323 + z. Which is bigger: 2/9 or x?
2/9
Let k = 10087 + -11941. Is -1853 at least as big as k?
True
Let x = 12 - 157. Let y = -142 - x. Let o be (-6)/(-20) - (-4)/8. Which is smaller: o or y?
o
Let r = -11.775 + -0.025. Let w = -11.9 - r. Let j = 1.9 - -10.1. Are j and w non-equal?
True
Suppose -3*d + 66 + 123 = 0. Suppose 68*n + 15 = d*n. Let s be 3 + 2 + -14 + 4. Which is greater: n or s?
n
Let d be ((-100)/(-6) - 0) + (-25)/(-75). Let y be 4/(-22) - (-20)/1265*d. Suppose -2*s + 2 + 0 = 0. Is s <= y?
False
Suppose -3*t = -j + 18, 13*t = 4*j + 11*t - 22. Suppose 5*m = 5*v - 40 - 265, 4*v = -j*m + 223. Is v < 55?
False
Let i be (1 + 2)/1 + -3. Suppose i = -4*w + 46 - 50. Let m be 6/8*(-4)/5. Which is greater: m or w?
m
Let t(u) = 11*u + 104. Let z be t(-9). Let f be z*(-10)/425 - 367/(-85). Is 4 < f?
True
Suppose -1209*a + 13 = -1222*a. Is a not equal to 1/3275?
True
Let s = 4.52 + -16.52. Which is bigger: 120 or s?
120
Let c = 0 + -1. Let k(o) = 5*o - 7. Let x be k(-1). Let b be x/176 - (-24)/(-132). Which is smaller: c or b?
c
Let n be -18*(12/6 - -8). Let i be ((-548)/n - 3)*5. Let y be (1 - 4)*(-4)/(-3). Which is bigger: i or y?
i
Let i(x) = -51*x - 50. Let k be i(-5). Which is greater: k or 206?
206
Let l be 50/15*((-297)/4 + -2 - -8). Which is greater: -227 or l?
-227
Let x be (-6)/22 + 73511/271073. Which is greater: x or 0?
0
Let c = -0.44815 - -62.44815. Which is greater: c or -56?
c
Suppose -g - f + 5 = 0, -3*f + 4*f - 5 = 4*g. Let s be 93/(-42) + (2 - g). Let h(c) = -2*c - 48. Let d be h(-24). Is s equal to d?
False
Let n = -13839 - -9285. Let j be 20/110 - (-938)/n. Do 1 and j have the same value?
False
Suppose 102*q + 6018 = -47*q - 28*q. Suppose -77 + 7 = -2*a. Suppose 0 = 2*m + 33 + a. Is q less than m?
False
Let g be ((-280)/(-15) - -5)/((-1)/(-21)). Let f = g + -347. Is -2 at least f?
False
Let d = -2543 - -2542.9. Which is greater: 514/7 or d?
514/7
Let j = -4579 - -4583. Do 2334 and j have the same value?
False
Let b(t) = -t**3 - 5*t**2 - 3*t + 3. Let f be b(-4). Suppose -857 = -3*m + 4*v, 2*v = 6*m - 5*m - 285. Let y be ((-41)/m)/(1*11). Which is greater: f or y?
y
Let h = 0.02 - 1.12. Let y = h + 0.4. Suppose 4 = 3*u + 6*f - 4*f, 4*f - 8 = 6*u. Which is smaller: u or y?
y
Let n = 11428 + -11420. Is -2.44 at least n?
False
Suppose 167 = -5*m + 57. Let k = -8 - m. Suppose -15*h + 9 = -k*h. Is 11 at least h?
True
Let k = 2937.237 + -2939. Let a = k - 0.237. Is a at most as big as -30?
False
Let z = 4 + 17. Suppose -24*d = -25*d + z. Let o be ((-3)/d)/(-20 - (-5 - -6)). Which is bigger: -1 or o?
o
Let l = 1 - -1. Suppose 0 = -3*z + 2*t + 61 + 69, -4*t - 180 = -4*z. Suppose 4*d + z = -4*g, 3*g + 12 = 2*d + 2. Which is bigger: g or l?
l
Let h(o) = -26*o**3 + 26*o - 6*o + 0*o**2 + 27*o**3 + 22*o**2 - 21. Let v be h(-21). Suppose 2*g + 3 = -3*f, 3*g = -3*f - v*g - 3. Is -3/7 != f?
True
Suppose 5*y + 0*y = 2*d + 15, -5*d = 5*y - 15. Suppose 4*h - 2 = -3*r, d = 4*h + h - 2*r - 14. Suppose -8 = -2*l - h*l. Which is smaller: l or -2?
-2
Suppose 0 = -5*x, -2*x + 5*x - 72 = -3*h. Let t = -2346/145 + 1200/29. Which is bigger: t or h?
t
Let z = -1086 + 9773/9. Let k be 0 + -3 + (1 - -2). Is k less than z?
False
Let z(d) = d**3 + 24*d**2 + 124*d + 28. Let r be z(-13). Suppose r*j - 286*j = 1661. Which is greater: j or -148?
-148
Let a be (((-32)/12)/(-4))/(-13 + (-10 - -21)). Which is bigger: a or 18/113?
18/113
Let d = 211 + -302. Let i = 91.1 + d. Which is greater: i or 0.141?
0.141
Let f(g) be the second derivative of 16*g**3/3 + 283*g**2/2 + 254*g. Let v be f(4). Is 410 at most as big as v?
True
Let z be 3/(-8) - (25/40 - 1). Suppose 4*p + 41 = -5*w, -2*p - w - 25 + 12 = z. Is p < -28/11?
True
Let g be (-3)/5 + (-3)/(-30)*6. Suppose -4*t - 4 - 16 = g. Let u(d) = -d**2 - 5*d + 4. Let x be u(t). Which is greater: 5 or x?
5
Let z(l) = 93*l**3 - l**2 + l + 2. Let k be z(-1). Let n = -54 - k. Let u = n + -39. Is u bigger than -6/17?
True
Let c = 205 - 200. Let w(h) = -2*h**2 + h + 9. Let a be w(c). Is -69/2 != a?
True
Suppose 15*o - 4 = 13*o. Let h be (-2)/((o/16)/(-1)). Let u be 4 - ((-8)/h - 95/(-22)). Is u <= 0.13?
False
Let c = -282 + 273. Let o be c/6 - ((-78)/12 + -3). Is o less than 5?
False
Let o be (-1 - (-6825)/6823)/(-1). Are o and 1 nonequal?
True
Let y be 116/(-28) + 1/7. Let l be (-2)/(-13) + (y - (-100)/26). Is l <= -15?
False
Let y = 303287 - 21533036/71. Is y equal to 5?
False
Let c = -19.638 - -19.5. Let s = c - -0.128. Which is bigger: s or -5/2?
s
Let v = -0.12 + 12.12. Let t = -0.098 + -11.902. Let z = v + t. Which is smaller: -1 or z?
-1
Let b be ((-30768)/(-128))/(3/22). Let q = -1777 + b. Is -2/3 smaller than q?
False
Let x be (-2)/(-5)*10/(12*(0 - -1)). Is 1/1789 at least x?
False
Let v be ((-56)/(-21))/(-3*3/(-108)). Suppose 0 = 8*n + v + 120. Are -20 and n unequal?
True
Let l be 7/(3 + -4 + 0). Let j be (-2)/l - 208/(-56). Suppose 0 = 4*f + 3*c - 24, -2*c = f - 0*c - 6. Is j <= f?
True
Let l be (42/72)/(-14*(-3)/18). Which is smaller: l or 4004?
l
Let m(z) = 701*z + 7790. Let s be m(-12). Which is smaller: s or -639?
-639
Let u be 0 + ((-9)/(-246))/(-3). Let g(p) = p**3 + 13*p**2 + 13*p + 16. Let d be g(-12). Let m be 4/(-1) + 48/d + -9. Which is smaller: m or u?
m
Suppose -2*u + l - 73 = 0, 5*u - 3*l + 187 = l. Let h(k) = 9*k + 145. Let f be h(u). Which is greater: -171 or f?
f
Let k be ((-128)/8 - 469/(-28))*8/(-30). Let u = 1215/16 - 76. Is u greater than k?
True
Let j(q) = -6*q**3 - 7*q**2 + q - 4. Let a(s) = -5*s**3 - 6*s**2 + s - 3. Let g(r) = 5*a(r) - 4*j(r). Let h be g(-1). Are -1/84 and h unequal?
True
Let c be 3/(10 - 1)*(21 + -105). Which is bigger: 30 or c?
30
Let v = -323 + 573. Let h = 282 - v. Is h > 31?
True
Suppose -19*f + 489 - 128 = 0. Suppose -139 = f*q - 120. Is q < 1/53?
True
Suppose -11*c - 2*q - 7146 = 46084, -c - 4850 = -2*q. Is c smaller than -4841?
False
Let x = -58706/144675 - -92/225. Suppose -h - p - 2 = 0, 0 = -21*p + 26*p + 10. Are x and h nonequal?
True
Let d = -62 - 158. Let c be (-46)/276 - (-2638)/(-12). Does d = c?
True
Let v = 37481310/1909 + -19634. Which is greater: v or -1?
v
Let d = -323.6859 + 0.6859. Are 2/9 and d equal?
False
Let z be (3304/49)/((-25)/(-175)). Which is greater: z or 470?
z
Let n = 5927.5 - 5931.5. Let f = 303/5 + -61. Is n greater than f?
False
Let x = -202 + 30. Let u = x - -172. Does -27.6 = u?
False
Let q(g) = g**3 + 3*g**2 - 15*g - 41. Let h be q(-4). Let w be 6 + 1464/(-128) + h. Does w = -3?
False
Let m = 257499291/10 - 25696254. Let a = 53614 - m. Let w = -61 - a. Does w = 0?
False
Let n = 6/127 + -136/8255. Suppose -3*z + 15 = 0, 4*s + z + 0 = 37. Suppose -17 = -s*r - 9*r. Is r equal to n?
False
Suppose -r - 1 = l - 3*l, 2*l = 6. Suppose -4*k = 4*i - 44